Contract.ValueAtReturn<T>(T) Method
Definition
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
Represents the final (output) value of an out
parameter when returning from a method.
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
Type Parameters
- T
The type of the out
parameter.
Parameters
- value
- T
The out
parameter.
Returns
The output value of the out
parameter.
Remarks
This method can be used only in the conditional expression for the Ensures contract. As with the OldValue method, you can omit the generic type parameter whenever the compiler is able to infer its type. The contract rewriter replaces the method call with the value of the out
parameter. The ValueAtReturn method may appear only in postconditions. The argument to the method must be an out
parameter or a field of a structure out
parameter. The latter is also useful when referring to fields in the postcondition of a structure constructor.
Applies to
Feedback
https://aka.ms/ContentUserFeedback.
Binnenkort: Gedurende 2024 worden GitHub Issues uitgefaseerd als het feedbackmechanisme voor inhoud. Dit wordt vervangen door een nieuw feedbacksysteem. Ga voor meer informatie naar:Feedback verzenden en bekijken voor