次の方法で共有


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 パラメーターのフィールド (構造体コンストラクターの事後条件でフィールドを参照する場合にも便利です) でなければなりません。

適用対象