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 -> 'TPublic Shared Function ValueAtReturn(Of T) (ByRef value As T) As T型パラメーター
- T
out パラメーターの型。
パラメーター
- value
- T
out パラメーター。
返品
T
out パラメーターの出力値。
注釈
このメソッドは、 Ensures コントラクトの条件式でのみ使用できます。
OldValueメソッドと同様に、コンパイラが型を推論できる場合は常にジェネリック型パラメーターを省略できます。 コントラクト リライターは、メソッド呼び出しを out パラメーターの値に置き換えます。
ValueAtReturn メソッドは事後条件でのみ使用できます。 メソッドの引数は、 out パラメーターまたは構造体 out パラメーターのフィールドである必要があります。 後者は、構造体コンストラクターの事後条件のフィールドを参照する場合にも便利です。