Contract.ValueAtReturn<T>(T) Metoda
Definice
Důležité
Některé informace platí pro předběžně vydaný produkt, který se může zásadně změnit, než ho výrobce nebo autor vydá. Microsoft neposkytuje žádné záruky, výslovné ani předpokládané, týkající se zde uváděných informací.
Představuje konečnou (výstupní) hodnotu parametru out
při návratu z metody.
public:
generic <typename T>
static T ValueAtReturn([Runtime::InteropServices::Out] T % value);
public static T ValueAtReturn<T> (out T value);
static member ValueAtReturn : 'T -> 'T
Public Shared Function ValueAtReturn(Of T) (ByRef value As T) As T
Parametry typu
- T
Typ parametru out
.
Parametry
- value
- T
Parametr.out
Návraty
Výstupní hodnota parametru out
.
Poznámky
Tuto metodu lze použít pouze v podmíněném výrazu Ensures pro kontrakt. Stejně jako u OldValue metody můžete parametr obecného typu vynechat vždy, když je kompilátor schopen odvodit jeho typ. Přepis kontraktu nahradí volání metody hodnotou parametru out
. Metoda ValueAtReturn se může zobrazit pouze v podmínkách. Argument metody musí být out
parametr nebo pole parametru struktury out
. Druhá možnost je také užitečná při odkazování na pole v podmínce konstruktoru struktury.