Partager via


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

Définition

Représente la valeur finale (sortie) d'un paramètre out lors du retour d'une méthode.

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

Paramètres de type

T

Type du paramètre out.

Paramètres

value
T

Paramètre out.

Retours

T

Valeur de sortie du paramètre out.

Remarques

Cette méthode ne peut être utilisée que dans l’expression conditionnelle pour le Ensures contrat. Comme avec la méthode OldValue, vous pouvez omettre le paramètre de type générique chaque fois que le compilateur est en mesure de déduire son type. Le module de réécriture de contrat remplace l'appel de méthode par la valeur du paramètre out. La méthode ValueAtReturn peut apparaître uniquement dans des post-conditions. L’argument de la méthode doit être un paramètre out ou un champ d’un paramètre out de structure. Ce dernier est également utile pour faire référence aux champs dans la post-condition d'un constructeur de structure.

S’applique à