Contract.ValueAtReturn<T>(T) 메서드
정의
중요
일부 정보는 릴리스되기 전에 상당 부분 수정될 수 있는 시험판 제품과 관련이 있습니다. Microsoft는 여기에 제공된 정보에 대해 어떠한 명시적이거나 묵시적인 보증도 하지 않습니다.
메서드에서 반환할 때 매개 변수의 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 -> 'TPublic Shared Function ValueAtReturn(Of T) (ByRef value As T) As T형식 매개 변수
- T
매개 변수의 형식입니다 out .
매개 변수
- value
- T
매개 변수입니다 out .
반품
T
매개 변수의 출력 값입니다 out .
설명
이 메서드는 계약의 조건식 Ensures 에서만 사용할 수 있습니다. 메서드와 OldValue 마찬가지로 컴파일러가 해당 형식을 유추할 수 있을 때마다 제네릭 형식 매개 변수를 생략할 수 있습니다. 계약 재작성기는 메서드 호출을 매개 변수 값 out 으로 바꿉니다. 메서드 ValueAtReturn는 사후 조건에만 나타날 수 있습니다. 메서드에 대한 인수는 out 매개 변수 또는 구조 out 매개 변수의 필드여야 합니다. 후자는 구조체 생성자의 사후 조건의 필드를 참조할 때도 유용합니다.
