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 (saída) de um out parâmetro 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 out parâmetro.
Parâmetros
- value
- T
O out parâmetro.
Retornos
O valor de saída do out parâmetro.
Comentários
Esse método só pode ser usado na expressão condicional do Ensures contrato. Assim como acontece com o OldValue método, você pode omitir o parâmetro de tipo genérico sempre que o compilador for capaz de 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 out parâmetro ou um campo de um parâmetro de estrutura out . Esse último também é útil ao se referir a campos na pós-condição de um construtor de estrutura.