Contract.ValueAtReturn<T>(T) Método
Definição
Importante
Algumas informações dizem respeito a um produto pré-lançado que pode ser substancialmente modificado antes de ser lançado. A Microsoft não faz garantias, de forma expressa ou implícita, em relação à informação aqui apresentada.
Representa o valor final (de saída) de um out parâmetro ao regressar de um método.
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 TParâmetros de Tipo Genérico
- T
O tipo do out parâmetro.
Parâmetros
- value
- T
O out parâmetro.
Devoluções
O valor de saída do out parâmetro.
Observações
Este método só pode ser usado na expressão condicional do Ensures contrato. Como com o OldValue método, você pode omitir o parâmetro de tipo genérico sempre que o compilador é capaz de inferir seu tipo. O regravador de contrato substitui a chamada de método pelo valor do parâmetro out. O ValueAtReturn método pode aparecer apenas em pós-condições. O argumento para o método deve ser um out parâmetro ou um campo de um parâmetro de estrutura out . Este último também é útil quando se refere a campos na pós-condição de um construtor de estrutura.