为什么 C# 不能推断具有接口约束的泛型类型？

C#泛型类型推断的局限性

C#为什么在这种情况下无法推断泛型类型？

在泛型方法的使用中，C#类型推断通常会识别出正确的泛型参数。但是，在某些情况下，它可能会失败，导致程序员必须显式指定类型。本文讨论了一种编译器据称在进行推断时存在不足的情况。

考虑以下代码片段：

<code class="language-c#">interface IQuery<TResult> { }

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

class SomeQuery : IQuery<string>
{
}</code>

在Test方法中，当使用SomeQuery实例作为参数调用Process时，编译器无法推断泛型参数：

<code class="language-c#">class Test
{
    void Test(IQueryProcessor p)
    {
        var query = new SomeQuery();

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

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

问题是，为什么编译器在这种情况下无法成功推断泛型参数？

约束和推断

答案在于C#对泛型参数约束的处理方式。约束（例如TQuery : IQuery<TResult>）限制了可用作参数的类型。但是，约束不被视为方法签名的一部分，因此不能用于类型推断。

在这种特定情况下，编译器可以确定query参数实现了IQuery<TResult>，但它无法使用约束来推断TResult的具体类型。因此，它需要显式的类型参数。

结论

在使用泛型时，了解C#类型推断的局限性至关重要。虽然编译器通常在推断类型方面做得非常出色，但在某些情况下，约束会阻止它进行推断。在这种情况下，需要提供具体的泛型参数来指导编译器。

以上是为什么 C# 不能推断具有接口约束的泛型类型？的详细内容。更多信息请关注PHP中文网其他相关文章！