Contract.ValueAtReturn<T>(T) 메서드

정의

네임스페이스:

System.Diagnostics.Contracts

어셈블리:

System.Diagnostics.Contracts.dll

Source:

Contracts.cs

메서드에서 반환되는 out 매개 변수의 최종(출력) 값을 나타냅니다.

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

형식 매개 변수

T

out 매개 변수의 형식입니다.

매개 변수

value

T

out 매개 변수입니다.

반환

T

out 매개 변수의 출력 값입니다.

설명

이 메서드는 계약의 조건식 Ensures 에서만 사용할 수 있습니다. OldValue 메서드와 마찬가지로 컴파일러가 해당 형식을 유추할 수 있을 때마다 제네릭 형식 매개 변수를 생략할 수 있습니다. 계약 재작성기는 메서드 호출을 out 매개 변수의 값으로 바꿉니다. ValueAtReturn 메서드는 사후 조건에만 나타날 수 있습니다. 메서드에 대한 인수는 out 매개 변수 또는 구조체 out 매개 변수의 필드여야 합니다. 후자는 구조체 생성자의 사후 조건에 있는 필드를 참조할 때도 유용합니다.