Contract.ValueAtReturn<T>(T) Metode
Definisi
Penting
Beberapa informasi terkait produk prarilis yang dapat diubah secara signifikan sebelum dirilis. Microsoft tidak memberikan jaminan, tersirat maupun tersurat, sehubungan dengan informasi yang diberikan di sini.
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
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.