Contract.ValueAtReturn<T>(T) Metoda

Definice

Obor názvů:

System.Diagnostics.Contracts

Sestavení:

netstandard.dll, System.Diagnostics.Contracts.dll

Zdroj:

Contracts.cs

Představuje konečnou (výstupní) hodnotu parametru out při vrácení 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 kontraktu Ensures . Stejně jako u OldValue metody můžete vynechat parametr obecného typu vždy, když kompilátor dokáže odvodit jeho typ. Přepisovač kontraktu nahrazuje volání metody hodnotou parametru out. Metoda ValueAtReturn se může objevit pouze v postpodmínkách. Argumentem metody musí být out parametr nebo pole parametru struktury out . Druhý je také užitečný při odkazování na pole v postpodmínce konstruktoru struktury.