Поделиться через


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 структуры. Последний вариант также полезен при ссылке на поля в постусловии конструктора структуры.

Применяется к