Contract.ValueAtReturn<T>(T) 方法

定义

命名空间:

System.Diagnostics.Contracts

程序集:

System.Diagnostics.Contracts.dll

Source:

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 参数的字段。 在引用结构构造函数后置条件中的字段时，后者也非常有用。