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
.
Возвращаемое значение
Выходное значение параметра out
.
Комментарии
Этот метод можно использовать только в условном выражении для Ensures контракта. Как и в методе OldValue, вы можете опустить параметр универсального типа там, где компилятор способен вывести его тип. Модуль переопределения контракта заменяет вызов метода значением параметра out
. Метод ValueAtReturn может появляться только в постусловиях. Аргумент метода должен быть параметром out
или полем параметра out
структуры. Последний вариант также полезен при ссылке на поля в постусловии конструктора структуры.
Применяется к
Обратная связь
https://aka.ms/ContentUserFeedback.
Ожидается в ближайшее время: в течение 2024 года мы постепенно откажемся от GitHub Issues как механизма обратной связи для контента и заменим его новой системой обратной связи. Дополнительные сведения см. в разделеОтправить и просмотреть отзыв по