Contract.ValueAtReturn<T>(T) Método
Definição
Importante
Algumas informações se referem a produtos de pré-lançamento que podem ser substancialmente modificados antes do lançamento. A Microsoft não oferece garantias, expressas ou implícitas, das informações aqui fornecidas.
Representa o valor final (a saída) de um parâmetro out ao retornar 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
- T
O tipo do parâmetro out.
Parâmetros
- value
- T
O parâmetro out.
Retornos
O valor de saída do parâmetro out.
Comentários
Esse método só pode ser usado na expressão condicional do Ensures contrato. Assim como ocorre com o método OldValue, é possível omitir o parâmetro de tipo genérico sempre que o compilador pode inferir seu tipo. O reescritor de contrato substitui a chamada de método pelo valor do parâmetro out. O método ValueAtReturn pode aparecer somente em pós-condições. O argumento para o método deve ser um parâmetro out ou um campo de um parâmetro out de estrutura. Esse último também é útil ao se referir a campos na pós-condição de um construtor de estrutura.
