Compartilhar via


Contract.ValueAtReturn<T>(T) Método

Definição

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 -> 'T
Public Shared Function ValueAtReturn(Of T) (ByRef value As T) As T

Parâmetros de tipo

T

O tipo do parâmetro out.

Parâmetros

value
T

O parâmetro out.

Retornos

T

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.

Aplica-se a