Mengapa Inferens Jenis Generik C# Gagal dengan Maklumat yang Mencukupi?

Inferens Jenis Generik C#

Soalan:

Dalam senario yang melibatkan kaedah generik, inferens jenis C# tidak dapat menentukan parameter generik yang betul walaupun terdapat maklumat yang mencukupi.

Soalan:

Mengapakah pengkompil mengalami kesukaran membuat kesimpulan parameter generik dalam kes khusus ini?

Jawapan:

Inferens jenis dalam C# adalah berdasarkan semata-mata pada parameter yang dihantar kepada kaedah generik dan jenis parameter formal yang sepadan. Kekangan yang ditakrifkan untuk jenis generik tidak dipertimbangkan semasa inferens.

Dalam kes ini, pengkompil tidak boleh membuat kesimpulan parameter jenis kerana kod menghantar contoh IQuery (iaitu SomeQuery) sebagai parameter kepada Proses, tetapi Proses itu sendiri ditakrifkan sebagai Process, tanpa menyatakan kekangan.

Untuk menyelesaikan masalah ini, parameter generik mesti dinyatakan secara eksplisit semasa memanggil Proses, seperti ditunjukkan di bawah:

<code class="language-csharp">p.Process<SomeQuery, string>(query);</code>

Atas ialah kandungan terperinci Mengapa Inferens Jenis Generik C# Gagal dengan Maklumat yang Mencukupi?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!