Contract.ValueAtReturn<T>(T) 方法
定義
重要
部分資訊涉及發行前產品,在發行之前可能會有大幅修改。 Microsoft 對此處提供的資訊,不做任何明確或隱含的瑕疵擔保。
表示從方法傳回時的最後 (輸出) 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
參數的欄位。 參考結構建構函式後置條件中的欄位時,後者也很有用。