Contract.ValueAtReturn<T>(T) Metode

Definisi

Ruang nama:

System.Diagnostics.Contracts

Rakitan:

netstandard.dll, System.Diagnostics.Contracts.dll

Sumber:

Contracts.cs

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 OldValue metode , Anda dapat menghilangkan parameter jenis generik setiap kali pengkompilasi dapat menyimpulkan jenisnya. Penulis ulang kontrak menggantikan panggilan metode dengan nilai parameter out. Metode ValueAtReturn ini mungkin hanya muncul dalam pascakondisi. Argumen ke metode harus berupa out parameter atau bidang parameter struktur out . Yang terakhir juga berguna ketika mengacu pada elemen dalam kondisi akhir dari konstruktor struktur.