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