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