Contract.Result<T> 方法

定义

命名空间:

System.Diagnostics.Contracts

程序集:

System.Diagnostics.Contracts.dll

Source:

Contracts.cs

表示一个方法或属性的返回值。

public:
generic <typename T>
 static T Result();

public static T Result<T> ();

static member Result : unit -> 'T

Public Shared Function Result(Of T) () As T

类型参数

T

封闭方法或属性的返回值的类型。

返回

T

封闭方法或属性的返回值。

示例

以下示例演示如何使用 Result 方法指定预期的返回值。 此代码示例是为 ContractClassAttribute 类提供的一个更大示例的一部分。

int IArray.Add(Object value)
{
    // Returns the index in which an item was inserted.
    Contract.Ensures(Contract.Result<int>() >= -1);
    Contract.Ensures(Contract.Result<int>() < ((IArray)this).Count);
    return default(int);
}

Function Add(ByVal value As Object) As Integer Implements IArray.Add
    ' Returns the index in which an item was inserted.
    Contract.Ensures(Contract.Result(Of Integer)() >= -1) '
    Contract.Ensures(Contract.Result(Of Integer)() < CType(Me, IArray).Count) '
    Return 0
    
End Function 'IArray.Add

注解

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