为什么 C# 编译器不自动推断此代码中的类型？

Question

为什么 C# 编译器不能推断出 FooExt.Multiply() 满足 Functions.Apply() 的签名这一事实？我必须指定一个单独的Func<Foo,int,int> 类型的委托变量才能使代码工作......但似乎类型推断应该处理这个问题。我错了吗？如果是，为什么？

编辑：收到的编译错误是：

方法 FirstClassFunctions.Functions.Apply<T1,T2,TR>(T1, System.Func<T1,T2,TR>, T2)' 的类型参数无法从用法中推断出来。尝试明确指定类型参数

namespace FirstClassFunctions  {
    public class Foo  {
        public int Value { get; set; }

        public int Multiply(int j) {
            return Value*j;
        }
    }

    public static class FooExt  {
        public static int Multiply(Foo foo, int j) {
            return foo.Multiply(j);
        }
    }

    public static class Functions  {
        public static Func<TR> Apply<T1,T2,TR>( this T1 obj, 
                                                Func<T1,T2,TR> f, T2 val ) {
            return () => f(obj, val);
        }
    }


    public class Main  {
        public static void Run()  {
            var x = new Foo {Value = 10};
            // the line below won't compile ...
            var result = x.Apply(FooExt.Multiply, 5);
            // but this will:
            Func<Foo, int, int> f = FooExt.Multiply;
            var result = x.Apply(f, 5);
        }
    }

Answer 1

我相信这是 VS2008 C# 编译器在将方法组转换为委托时无法正确推断所涉及的类型的结果。@Eric Lippert 在他的帖子C# 3.0 Return Type Inference Does Not Work On Method Groups 中讨论了这种行为。

如果我没记错的话，作为 VS2010 一部分的新 C# 编译器进行了一些改进，扩展了方法组推断可能的情况。

现在，类型推断的规则相当复杂，而且我还不是这方面的专家。如果我弄错了，希望有一些真正知识的人可以解决这个问题。