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.
Kommer snart: I hele 2024 udfaser vi GitHub-problemer som feedbackmekanisme for indhold og erstatter det med et nyt feedbacksystem. Du kan få flere oplysninger under:Indsend og få vist feedback om