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 out paramètre 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 out paramètre.
Paramètres
- value
- T
Le paramètre out.
Retours
Valeur de sortie du out paramètre.
Remarques
Cette méthode ne peut être utilisée que dans l’expression conditionnelle du Ensures contrat. Comme avec la OldValue méthode, vous pouvez omettre le paramètre de type générique chaque fois que le compilateur est en mesure de déduire son type. La réécriture de contrat remplace l’appel de la 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 out paramètre ou un champ d’un paramètre de structure out . Ce dernier est également utile pour faire référence aux champs dans la post-condition d'un constructeur de structure.