Contract.OldValue<T>(T) 方法

定义

命名空间:

System.Diagnostics.Contracts

程序集:

System.Diagnostics.Contracts.dll

Source:

Contracts.cs

表示方法或属性开始时的值。

public:
generic <typename T>
 static T OldValue(T value);

public static T OldValue<T> (T value);

static member OldValue : 'T -> 'T

Public Shared Function OldValue(Of T) (value As T) As T

类型参数

T

值的类型。

参数

value

T

要表示的值（字段或参数）。

返回

T

一个方法或属性开始处的参数或字段的值。

示例

以下示例演示如何使用 OldValue 方法确保计数已更新。 此代码示例是为 ContractClassAttribute 类提供的一个更大示例的一部分。

void IArray.Insert(int index, Object value)
{
    Contract.Requires(index >= 0);
    Contract.Requires(index <= ((IArray)this).Count);  // For inserting immediately after the end.
    Contract.Ensures(((IArray)this).Count == Contract.OldValue(((IArray)this).Count) + 1);
}

Sub Insert(ByVal index As Integer, ByVal value As [Object]) Implements IArray.Insert
    Contract.Requires(index >= 0)
    Contract.Requires(index <= CType(Me, IArray).Count) ' For inserting immediately after the end.
    Contract.Ensures(CType(Me, IArray).Count = Contract.OldValue(CType(Me, IArray).Count) + 1)

End Sub

注解

此方法只能在协定的条件表达式 Ensures 中使用。