Contract.ValueAtReturn<T>(T) Metoda

Definicja

Reprezentuje ostateczną (wyjściową) wartość parametru out podczas powrotu 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 .

Zwraca

T

Wartość wyjściowa parametru out .

Uwagi

Ta metoda może być używana tylko w wyrażeniu warunkowym dla kontraktu Ensures . Podobnie jak w przypadku OldValue metody, można pominąć parametr typu ogólnego, gdy kompilator może wywnioskować jego typ. Maszyna maszynowa kontraktu zastępuje wywołanie metody wartością parametru out . Metoda może być wyświetlana ValueAtReturn tylko w przypadku pokondycji. Argument metody musi być parametrem out lub polem parametru struktury out . Ten ostatni jest również przydatny podczas odwoływania się do pól po zakończeniu konstruktora struktury.

Dotyczy