Contract.ValueAtReturn<T>(T) Metoda

Definice

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

T

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.

Platí pro