Contract.ValueAtReturn<T>(T) Methode
Definitie
Belangrijk
Bepaalde informatie heeft betrekking op een voorlopige productversie die aanzienlijk kan worden gewijzigd voordat deze wordt uitgebracht. Microsoft biedt geen enkele expliciete of impliciete garanties met betrekking tot de informatie die hier wordt verstrekt.
Vertegenwoordigt de uiteindelijke waarde (uitvoer) van een out parameter wanneer deze wordt geretourneerd vanuit een methode.
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 TType parameters
- T
Het type van de out parameter.
Parameters
- value
- T
De out parameter.
Retouren
De uitvoerwaarde van de out parameter.
Opmerkingen
Deze methode kan alleen worden gebruikt in de voorwaardelijke expressie voor het Ensures contract. Net als bij de OldValue methode kunt u de algemene typeparameter weglaten wanneer de compiler het type ervan kan afleiden. De contractherschrijver vervangt de methode-aanroep door de waarde van de out parameter. De ValueAtReturn methode mag alleen in postvoorwaarden voorkomen. Het argument voor de methode moet een out parameter of een veld van een structuurparameter out zijn. De laatste is ook handig bij het verwijzen naar velden in de postcondition van een structuurconstructor.