c#方法类型推断麻烦[重复]

Question

我无法让 c# 方法类型推断为我工作，我本质上有以下示例，但这会产生错误。

CS0411 无法从用法中推断方法“Test.Connect(T1)”的类型参数。尝试明确指定类型参数。

public void Main()
{
    new Test<int>().Connect(new Test2()); // CS0411 The type arguments for method 'Test<int>.Connect<T1, T2>(T1)' cannot be inferred from the usage. Try specifying the type arguments explicitly.
}

public class Test2 : ITest<Test<int>, Delegate>
{

}

public class Test<T>
{
    public void Connect<T1, T2>(T1 entity)
        where T1 : ITest<Test<int>, T2>
        where T2 : Delegate
    {
    }
}

public interface ITest<T1, T2>
    where T1 : Test<int>
    where T2 : Delegate
{
}

编译器应该能够从给定的类中推断出参数 T1 和 T2 吗？我猜应该是，我错过了什么吗？

Answer 1

编译器应该能够从给定的类中推断出参数 T1 和 T2 吗？

没有。

我猜应该是的，我错过了什么吗？

您的猜测是合理的、常见的，但不正确。

类型参数永远不会从约束中推断出来，只能从参数中推断出来。您有足够的信息来推断 T1 的类型，但编译器不会从约束中推断出 T2 必须是什么。

编译器理论上可以从约束中进行推断，但我们决定仅从参数中推断。类型推断算法复杂，难以解释，难以实现；添加约束推断会使它更复杂、更难解释和更难实现。