Mengapa C# Tidak Boleh Menyimpulkan Jenis Generik dengan Kekangan Antara Muka?

Batasan inferens jenis generik C#

Mengapa C# tidak boleh membuat kesimpulan jenis generik dalam kes ini?

Dalam penggunaan kaedah generik, inferens jenis C# biasanya akan mengenal pasti parameter generik yang betul. Walau bagaimanapun, dalam beberapa kes ia mungkin gagal, menyebabkan pengaturcara terpaksa menentukan jenis secara eksplisit. Artikel ini membincangkan situasi di mana penyusun dikatakan kekurangan dalam membuat inferens.

Pertimbangkan coretan kod berikut:

interface IQuery<TResult> { }

interface IQueryProcessor
{
    TResult Process<TQuery, TResult>(TQuery query)
        where TQuery : IQuery<TResult>;
}

class SomeQuery : IQuery<string>
{
}

Dalam kaedah Test, apabila memanggil SomeQuery dengan contoh Process sebagai hujah, pengkompil tidak boleh membuat kesimpulan hujah generik:

class Test
{
    void Test(IQueryProcessor p)
    {
        var query = new SomeQuery();

        // 无法编译 :-(
        p.Process(query);

        // 必须显式编写所有参数
        p.Process<SomeQuery, string>(query);
    }
}

Persoalannya, mengapa pengkompil tidak berjaya membuat kesimpulan parameter generik dalam kes ini?

Kekangan dan inferens

Jawapannya terletak pada cara C# mengendalikan kekangan parameter generik. Kekangan (seperti TQuery : IQuery<TResult>) mengehadkan jenis yang boleh digunakan sebagai hujah. Walau bagaimanapun, kekangan tidak dianggap sebagai sebahagian daripada tandatangan kaedah dan oleh itu tidak boleh digunakan untuk inferens jenis.

Dalam kes tertentu ini, pengkompil boleh menentukan bahawa parameter query melaksanakan IQuery<TResult>, tetapi ia tidak boleh menggunakan kekangan untuk membuat kesimpulan jenis konkrit TResult. Oleh itu, ia memerlukan parameter jenis eksplisit.

Kesimpulan

Apabila menggunakan generik, adalah penting untuk memahami batasan inferens jenis C#. Walaupun pengkompil biasanya melakukan kerja yang cukup baik untuk membuat kesimpulan jenis, dalam beberapa kes kekangan menghalangnya daripada berbuat demikian. Dalam kes ini, parameter generik khusus perlu disediakan untuk membimbing pengkompil.

Atas ialah kandungan terperinci Mengapa C# Tidak Boleh Menyimpulkan Jenis Generik dengan Kekangan Antara Muka?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!