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 -> 'TPublic Shared Function ValueAtReturn(Of T) (ByRef value As T) As TПараметры типа
- T
Тип параметра out.
Параметры
- value
- T
Параметр out.
Возвращаемое значение
Выходное значение параметра out.
Комментарии
Этот метод можно использовать только в условном выражении для Ensures контракта. Как и в методе OldValue, вы можете опустить параметр универсального типа там, где компилятор способен вывести его тип. Модуль переопределения контракта заменяет вызов метода значением параметра out. Метод ValueAtReturn может появляться только в постусловиях. Аргумент метода должен быть параметром out или полем параметра out структуры. Последний вариант также полезен при ссылке на поля в постусловии конструктора структуры.
