Contract.ValueAtReturn<T>(T) 方法

定義

命名空間:

System.Diagnostics.Contracts

組件:

System.Diagnostics.Contracts.dll

來源:

Contracts.cs

表示從方法傳回時的最後 (輸出) out 參數值。

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

類型參數

T

out 參數的類型。

參數

value

T

out 參數。

傳回

T

out 參數的輸出值。

備註

這個方法只能在合約的條件運算式 Ensures 中使用。 如同 OldValue 方法，只要編譯器能夠推斷其類型，您就可以省略泛型型別引數。 合約重寫器會將方法呼叫取代為 out 參數的值。 ValueAtReturn 方法只會出現在後置條件中。 方法的引數必須是 out 參數，或是結構 out 參數的欄位。 參考結構建構函式後置條件中的欄位時，後者也很有用。