为什么 C# 无法推断带有约束的方法中的泛型类型？

C#泛型类型推断：理解其限制

在使用C#泛型方法时，通常假设编译器可以根据约束推断泛型参数。然而，存在一种情况，这种推断似乎难以实现。

考虑以下代码：

interface IQuery<TResult> { }

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

class SomeQuery : IQuery<string>
{
}

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

        // 编译失败
        p.Process(query);

        // 需要显式指定泛型参数
        p.Process<SomeQuery, string>(query);
    }
}

这段代码无法编译，因为无法推断泛型参数。问题是：为什么编译器无法推导出正确的类型？

根据前微软C#首席工程师Eric Lippert的解释，原因在于C#执行类型推断的方式。推断仅仅通过检查参数和对应的形式参数类型来进行。在本例中，编译器缺乏足够的信息来推断泛型参数。

约束，例如where TQuery : IQuery<tresult></tresult>定义的约束，不被视为签名的一部分，因此不能直接用于推断。

为了解决这个问题，必须显式指定泛型参数，如第二个Process方法调用所示。这符合C#的设计理念，即约束提供了附加信息，但不改变方法的签名。

在最新的C#版本中，应用约束的规则略有修改。为了获得最准确的信息，建议查阅官方C#文档或检查C# 7.3及以上版本的实际实现。

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