Contract.ValueAtReturn<T>(T) Metod
Definition
Viktigt
En del information gäller för förhandsversionen av en produkt och kan komma att ändras avsevärt innan produkten blir allmänt tillgänglig. Microsoft lämnar inga garantier, uttryckliga eller underförstådda, avseende informationen som visas här.
Representerar det slutliga värdet (utdata) för en out parameter när den returneras från en metod.
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 TTypparametrar
- T
Typ av out parameter.
Parametrar
- value
- T
Parametern out .
Returer
Parameterns out utdatavärde.
Kommentarer
Den här metoden kan endast användas i villkorsuttrycket för Ensures kontraktet. Precis som OldValue med metoden kan du utelämna den generiska typparametern när kompilatorn kan härleda dess typ. Kontraktrewriter ersätter metodanropet med värdet för parametern out . Metoden ValueAtReturn kan bara visas i postkonditioner. Argumentet till metoden måste vara en out parameter eller ett fält i en strukturparameter out . Det senare är också användbart när du refererar till fält i postkonditionen för en strukturkonstruktor.