Condividi tramite


Contract.ValueAtReturn<T>(T) Metodo

Definizione

Rappresenta il valore finale (output) di un parametro out in caso di restituzione da un metodo.

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

Parametri di tipo

T

Tipo del parametro out.

Parametri

value
T

Parametro out.

Restituisce

T

Valore di output del parametro out.

Commenti

Questo metodo può essere usato solo nell'espressione condizionale per il Ensures contratto. Come per il metodo OldValue, è possibile omettere il parametro di tipo generico quando il compilatore è in grado di dedurre il tipo. Il rewriter del contratto sostituisce la chiamata al metodo con il valore del parametro out. Il metodo ValueAtReturn può essere visualizzato solo nelle postcondizioni. L'argomento del metodo deve essere un parametro out o un campo del parametro out di una struttura. Quest'ultimo è utile anche in caso di riferimento a campi nella postcondizione di un costruttore della struttura.

Si applica a