共用方式為


Contract.ValueAtReturn<T>(T) 方法

定義

表示從方法傳回時的最後 (輸出) 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 參數的欄位。 參考結構建構函式後置條件中的欄位時,後者也很有用。

適用於