6

我已经搜索了一些关于类型推断的信息，但我似乎无法将任何解决方案应用于我的特定问题。

我在构建和传递函数方面做了很多工作。在我看来，这似乎应该能够推断出 int 类型。我唯一能想到的是类型推断算法没有检查 lambda 返回类型。我已经剥离了不必要的逻辑以更清楚地显示问题。

Func<T> Test<T>(Func<Func<T>> func)
{
    return func();
}

这编译：

Func<int> x = Test<int>(() =>
    {
        int i = 0;
        return () => i;
    });

但这会给出错误“无法从用法中推断出方法的类型参数。尝试显式指定类型参数”：

Func<int> x = Test(() =>
    {
        int i = 0;
        return () => i;
    });

我想我只想知道为什么它会以这种方式工作以及任何解决方法。

4

1 回答 1

8

我想说这个问题的正确答案是由 E.Lippert 在SO 为什么不能将匿名方法分配给 var 中给出的？

但是让我们玩一下你的例子：

Func<Func<int>> f = () =>
{
    int i = 0;
    return () => i;
};

Func<int> x = Test(f); //it compiles OK

Func<T> Test<T>(Func<Func<T>> func)你在这里的类型推断没有问题。问题隐藏在您使用匿名 lambda 表达式，无法推断其类型。试试这个：

var f = () =>
{
    int i = 0;
    return () => i;
};

它给出了Compiler Error CS0815，说

无法将 lambda 表达式分配给隐式类型的局部变量

解释是：

用作隐式类型变量的初始值设定项的表达式必须具有类型。因为匿名函数表达式、方法组表达式和 null 文字表达式没有类型，所以它们不是合适的初始值设定项。隐式类型变量不能在其声明中使用 null 值初始化，尽管稍后可以为其分配 null 值。

现在让我们尝试另一件事： 

var x = Test(() =>
{
    Func<int> f = () => 0;
    return f;
});

它也可以编译。所以你原来的例子的问题实际上是这一行：

return () => i;

我们可以更进一步，根据 Eric Lippert 在他的回答中所说的提供另一个函数来包装它：

static Func<T> GetFunc<T>(Func<T> f) { return f; }

现在我们可以像这样重写您的代码：

var x = Test(() =>
{
    int i = 0;
    return GetFunc(() => i);
});

它也有效。

但是，据我了解，这一切都是开销，您应该只提供一个显式类型。虽然这些解决方法很合适，但当您需要 lambda 时，返回一个匿名类型的对象。

于 2013-03-29T03:06:31.340 回答