Contract.ValueAtReturn<T>(T) Metódus
Definíció
Fontos
Egyes információk olyan, kiadás előtti termékekre vonatkoznak, amelyek a kiadásig még jelentősen módosulhatnak. A Microsoft nem vállal kifejezett vagy törvényi garanciát az itt megjelenő információért.
Egy paraméter végső (kimeneti) értékét out jelöli egy metódusból való visszatéréskor.
public:
generic <typename T>
static T ValueAtReturn([Runtime::InteropServices::Out] T % value);public static T ValueAtReturn<T>(out T value);static member ValueAtReturn : 'T -> 'TPublic Shared Function ValueAtReturn(Of T) (ByRef value As T) As TTípusparaméterek
- T
A paraméter típusa out .
Paraméterek
- value
- T
A out paraméter.
Válaszok
A paraméter kimeneti értéke out .
Megjegyzések
Ez a módszer csak a szerződés feltételes kifejezésében Ensures használható. A metódushoz OldValue hasonlóan kihagyhatja az általános típusparamétert, amikor a fordító képes a típusára következtetni. A szerződés újraírója a metódushívást a paraméter értékére cseréli out . A ValueAtReturn metódus csak utókondíciókban jelenhet meg. A metódus argumentumának egy out paraméternek vagy egy struktúraparaméter out mezőjének kell lennie. Ez utóbbi akkor is hasznos, ha egy struktúra-konstruktor utófeltételében levő mezőkre hivatkozik.
