简单的 Linq 表达式无法编译

Question

有了这些基本定义，

bool MyFunc(string input)
{
    return false;
}
var strings = new[] {"aaa", "123"};

我想知道为什么这不会编译：

var b = strings.Select(MyFunc);

但这会：

var c = strings.Select(elem => MyFunc(elem));

错误消息是“方法 'System.Linq.Enumerable.Select(System.Collections.Generic.IEnumerable, System) 的类型参数.Func)' 无法从用法中推断出来。”

Resharper 错误提示表示它混淆了

Select(this IEnumerable<string>, Func<string, TResult>)

和

Select(this IEnumerable<string>, Func<string, int, TResult>)

...但 MyFunc 的签名很清楚 - 它只需要一个（字符串）参数。

任何人都可以在这里阐明一些情况吗？

Answer 1

C# 3 和 C# 4 编译器之间的泛型类型推断在实现方面略有变化。下面是一个简短但完整的示例程序：

using System;
using System.Linq;

class Test
{
    static void Main()
    {
        string[] strings = { "a", "b" };
        var results = strings.Select(MyFunc);
    }

    static bool MyFunc(string input)
    {
        return true;
    }
}

它使用 .NET 4 中的 C# 编译器进行编译，但不能使用 .NET 3.5 中的编译器进行编译。

我认为将其称为错误修复是合理的，因为我不认为这是规范更改。

如果您必须使用 .NET 3.5 中的编译器，您可以添加强制转换来澄清：

var results = strings.Select((Func<string,bool>) MyFunc);

或者

var results = strings.Select(new Func<string,bool>(MyFunc));

您可以使类型参数显式化：

var results = strings.Select<string, bool>(MyFunc);

Answer 2

乔恩当然像往常一样是正确的。一些附加信息：

这是 2007 年的博客文章，我在其中描述了您遇到的问题：

http://blogs.msdn.com/b/ericlippert/archive/2007/11/05 /c-3-0-return-type-in​​ference-does-not-work-on-member-groups.aspx

根据该文章的反馈，我们决定修复此问题，但无法修复此问题C# 3 出于调度原因。

几个月后，我宣布修复将进入 C# 4，而不是 C# 3 服务包：

http://blogs.msdn.com/b/ericlippert/archive/2008/05/28/method-type-in​​ference-changes -part-zero.aspx