Compartir a través de


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

Definición

Representa el valor final (resultado) de un parámetro out cuando se devuelve de un 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

Tipo del parámetro out.

Parámetros

value
T

Parámetro out.

Devoluciones

T

Valor de salida del parámetro out.

Comentarios

Este método solo se puede usar en la expresión condicional para el Ensures contrato. Al igual que con el método OldValue, puede omitir el parámetro de tipo genérico siempre que el compilador pueda deducir su tipo. El sistema de reescritura del contrato reemplaza la llamada de método por el valor del parámetro out. El método ValueAtReturn solo aparece en las condiciones posteriores. El argumento para el método debe ser un parámetro out o un campo de un parámetro out de estructura. Este último también es útil cuando se hace referencia a los campos de la condición posterior de un constructor de estructura.

Se aplica a