Bagikan melalui


Contract.ValueAtReturn<T>(T) Metode

Definisi

Mewakili nilai out akhir (output) parameter saat kembali dari metode .

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

Jenis parameter

T

Jenis out parameter .

Parameter

value
T

Parameter .out

Mengembalikan

T

Nilai out output parameter.

Keterangan

Metode ini hanya dapat digunakan dalam ekspresi kondisional untuk Ensures kontrak. Seperti halnya metode OldValue, Anda dapat menghilangkan parameter jenis generik setiap kali pengompilasi dapat menyimpulkan jenisnya. Penulis ulang kontrak menggantikan panggilan metode dengan nilai parameter out. Metode ValueAtReturn ini mungkin hanya muncul dalam pasca-kondisi. Argumen untuk metode harus berupa parameter out atau bidang parameter out struktur. Yang terakhir juga berguna saat merujuk ke bidang dalam pasca-kondisi konstruktor struktur.

Berlaku untuk