C#类型推断:在不应该的地方失败？

Question

请注意以下代码.违规行已被注释掉.

interface I<R> { }

class C : I<int> { }

class Program
{
    private static void function<T, R>(T t) where T : class, I<R>
    {
    }

    static void Main(string[] args)
    {
        // function(new C()); // wont compile
        function<C, int>(new C());
    }
}

我认为类型推断应该找出类型,因为参数T提供了第一种类型,而I<R>提供了第二种类型.

有没有办法重新设计功能,以便调用者可能不必指定类型？

Answer 1

如果你想保留所有约束,那就没有了.但是,除非您有特定理由禁止值类型,否则这应该同样有效:

private static void function<R>(I<R> t)

Answer 2

有多种方法可以为类型推断添加额外的规则 - 人类可以应用的逻辑位,但编译器(遵守语言规范)不适用.

在您建议真正更新语言以使类型推断更灵活地工作之前,我强烈建议您阅读现有规范.如果你能够很容易地理解它仍然认为值得让它变得更复杂,那就在Connect上发布一个功能请求- 但我个人认为它已经非常复杂了.我会说它比C#2.0好很多.

然而,提出相反的观点 - 几种语言(特别是功能性语言)具有更强大的类型推断机制.这里总有优点和缺点 - 我相信C#中当前推理系统的一个好处就是它总是取得进展或停止,例如 - Eric Lippert的博客有关于此的更多信息以及许多其他类型的推理问题.