Contract.ValueAtReturn<T>(T) Méthode
Définition
Important
Certaines informations portent sur la préversion du produit qui est susceptible d’être en grande partie modifiée avant sa publication. Microsoft exclut toute garantie, expresse ou implicite, concernant les informations fournies ici.
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 -> 'TPublic Shared Function ValueAtReturn(Of T) (ByRef value As T) As TParamètres de type
- T
Type du paramètre out.
Paramètres
- value
- T
Paramètre out.
Retours
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.
