Contract.ValueAtReturn<T>(T) Метод

Ссылка

Определение

Пространство имен:: System.Diagnostics.Contracts

Сборка:: System.Diagnostics.Contracts.dll

Сборка:: mscorlib.dll

Сборка:: netstandard.dll

Исходный код:: Contracts.cs

Исходный код:: Contracts.cs

Исходный код:: Contracts.cs

Важно!

Некоторые сведения относятся к предварительной версии продукта, в которую до выпуска могут быть внесены существенные изменения. Майкрософт не предоставляет никаких гарантий, явных или подразумеваемых, относительно приведенных здесь сведений.

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

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

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