Freigeben über


Contract.ValueAtReturn<T>(T) Methode

Definition

Stellt den von einer Methode zurückgegebenen endgültigen Wert (Ausgabewert) eines out-Parameters dar.

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

Typparameter

T

Der Typ des out-Parameters.

Parameter

value
T

Der out-Parameter.

Gibt zurück

T

Der Ausgabewert des out-Parameters.

Hinweise

Diese Methode kann nur im bedingten Ausdruck für den Ensures Vertrag verwendet werden. Wie bei der OldValue-Methode können Sie den generischen Typparameter weglassen, wenn der Compiler den Typ ableiten kann. Der Vertrags-Rewriter ersetzt den Methodenaufruf durch den Wert des out-Parameters. Die ValueAtReturn-Methode kann nur in Nachbedingungen angezeigt werden. Das Argument für die Methode muss ein out-Parameter oder ein Feld eines strukturbezogenen out-Parameters sein. Letzteres ist auch hilfreich, wenn auf Felder in der Nachbedingung eines Strukturkonstruktors verwiesen wird.

Gilt für: