为什么不能将匿名方法赋值给 var？

Question

我有以下代码：

Func<string, bool> comparer = delegate(string value) {
    return value != "0";
};

但是，以下代码无法编译：

var comparer = delegate(string value) {
    return value != "0";
};

为什么编译器无法确定它是 Func？它采用一个字符串参数，并返回一个布尔值。相反，它给了我错误：

无法将匿名方法分配给 隐式类型局部变量。

我有一个猜测，那就是如果编译了 var 版本，如果我有以下内容，它将缺乏一致性：

var comparer = delegate(string arg1, string arg2, string arg3, string arg4, string arg5) {
    return false;
};

由于 Func<> ，上面的内容没有意义。最多只允许 4 个参数（在 .NET 3.5 中，这就是我正在使用的）。也许有人可以澄清这个问题。谢谢。

Answer 1

更新：这个答案是十多年前写的，应该被认为具有历史意义；在 C# 10 中，编译器将推断一些委托类型。

---

其他人已经指出，您可能指的是无限多种可能的委托类型； Func 有什么特别之处以至于它应该成为默认值，而不是 Predicate 或 Action 或任何其他可能性？而且，对于 lambda 表达式，为什么很明显其意图是选择委托形式，而不是表达式树形式？

但我们可以说 Func 是特殊的，并且 lambda 或匿名方法的推断类型是某物的 Func。我们仍然会遇到各种各样的问题。对于以下情况，您希望推断出什么类型？

var x1 = (ref int y)=>123;

没有任何 Func 类型可以接受任何内容。

var x2 = y=>123;

尽管我们知道返回值，但我们不知道形式参数的类型。 （或者我们是吗？返回的是int？long？short？byte？）

var x3 = (int y)=>null;

我们不知道返回类型，但它不能为void。返回类型可以是任何引用类型或任何可为空的值类型。

var x4 = (int y)=>{ throw new Exception(); }

同样，我们不知道返回类型，这次它可能为void。

var x5 = (int y)=> q += y;

这是一个返回 void 的语句 lambda 还是返回分配给 q 的值的东西？两者都是合法的；我们应该选择哪个？

现在，您可能会说，好吧，只是不支持任何这些功能。仅支持可以计算出类型的“正常”情况。那没有帮助。这如何让我的生活变得更轻松？如果该功能有时有效，有时失败，那么我仍然需要编写代码来检测所有这些失败情况，并为每种情况提供有意义的错误消息。我们仍然必须指定所有这些行为、记录它、为其编写测试等等。这是一个非常昂贵的功能，可以帮助用户节省六次击键次数。我们有更好的方法来为语言增加价值，而不是花费大量时间为一个功能编写测试用例，该功能一半时间不起作用，并且在它起作用的情况下几乎没有提供任何好处。

它真正有用的情况是：

var xAnon = (int y)=>new { Y = y };

因为那个东西没有“可说的”类型。但我们一直遇到这个问题，我们只是使用方法类型推断来推断类型：

Func<A, R> WorkItOut<A, R>(Func<A, R> f) { return f; }
...
var xAnon = WorkItOut((int y)=>new { Y = y });

现在方法类型推断可以得出 func 类型是什么。

Answer 2

只有 Eric Lippert 确切知道，但我认为这是因为委托类型的签名不能唯一确定类型。

考虑您的示例：

var comparer = delegate(string value) { return value != "0"; };

以下是关于 var 应该是什么的两种可能的推断：

Predicate<string> comparer  = delegate(string value) { return value != "0"; };  // okay
Func<string, bool> comparer = delegate(string value) { return value != "0"; };  // also okay

编译器应该推断哪一个？没有充分的理由选择其中之一。尽管 Predicate 在功能上等同于 Func，但它们在 .NET 类型系统级别仍然是不同的类型。因此，编译器无法明确解析委托类型，并且类型推断必须失败。

Answer 3

Eric Lippert 有一个旧的 发布关于它，他说

实际上是 C# 2.0 规范
呼唤这一点。方法组
表达式和匿名方法
表达式是无类型表达式
在 C# 2.0 中，lambda 表达式连接
它们在 C# 3.0 中。因此它是
他们在网上“裸体”出现是违法的
隐式的右侧
声明。

Answer 4

不同的代表被视为不同的类型。例如，Action 与 MethodInvoker 不同，Action 的实例不能分配给 MethodInvoker 类型的变量代码>.

因此，给定一个像 () => 这样的匿名委托（或 lambda）； {}，它是 Action 还是 MethodInvoker？编译器无法判断。

同样，如果我声明一个带有 string 参数并返回 bool 的委托类型，编译器如何知道您确实想要一个 Func< /code> 而不是我的委托类型？它无法推断委托类型。

Answer 5

以下几点来自 MSDN 关于隐式类型局部变量的内容：

1. var 仅当在同一语句中声明和初始化局部变量时才能使用；该变量不能初始化为 null、方法组或匿名函数。
2. var 关键字指示编译器从初始化语句右侧的表达式推断变量的类型。
3. 重要的是要理解 var 关键字并不意味着“变体”，也不表示该变量是松散类型的或后期绑定的。它只是意味着编译器确定并分配最合适的类型。

MSDN 参考：隐式类型化局部变量

考虑以下有关匿名方法的内容：

1. 匿名方法使您能够省略参数列表。

MSDN 参考：匿名方法

我怀疑，因为匿名方法可能实际上有不同的方法签名，编译器无法正确推断要分配的最合适的类型是什么。

Answer 6

我的帖子没有回答实际的问题，但它确实回答了以下根本问题：

“如何避免必须键入一些模糊的类型，例如 Func< /代码>？” [1]

作为一个懒惰/黑客的程序员，我尝试使用 Func - 它接受单个输入参数并返回一个对象。

对于多个参数，您可以像这样使用它：

dynamic myParams = new ExpandoObject();
myParams.arg0 = "whatever";
myParams.arg1 = 3;
Func<dynamic, object> y = (dynObj) =>
{
    return dynObj.arg0.ToUpper() + (dynObj.arg1 * 45); //screw type casting, amirite?
};
Console.WriteLine(y(myParams));

提示：如果不需要返回对象，可以使用 Action。

是的，我知道这可能违背你的编程原则，但这对我和一些 Python 程序员来说是有意义的。

我在代表方面还很新手……只是想分享我学到的东西。

---

^[1] 这假设您没有调用需要预定义 Func 作为参数的方法，在这种情况下，您必须键入该模糊的字符串： /

Answer 7

其他答案在编写时是正确的，但从 C# 10.0（从 2021 年起）开始，编译器可以推断出合适的委托类型（例如某些 Func<...>< /code>、Action<...> 或生成的委托类型）在这种情况下。

请参阅 C# 10 功能 - Lambda改进。

var comparer = delegate(string value) {
    return value != "0";
};   // OK in C# 10.0, picks 'Func<string, bool>' in this case

当然，对我们来说更常用的语法是=>，所以：

var comparer = (string value) => {
    return value != "0";
};   // OK in C# 10.0, picks 'Func<string, bool>' in this case

Answer 8

那个怎么样？

var item = new
    {
        toolisn = 100,
        LangId = "ENG",
        toolPath = (Func<int, string, string>) delegate(int toolisn, string LangId)
        {
              var path = "/Content/Tool_" + toolisn + "_" + LangId + "/story.html";
              return File.Exists(Server.MapPath(path)) ? "<a style=\"vertical-align:super\" href=\"" + path + "\" target=\"_blank\">execute example</a> " : "";
        }
};

string result = item.toolPath(item.toolisn, item.LangId);

Answer 9

我想在这里分享一下我的经验。

我有一个基于任务的 void 方法，并且我从其他地方调用该方法并将返回值存储在变量中。

我正在做这个测试目的，但后来我意识到这是一个无效的任务方法，并且它没有返回任何响应。

我删除了该变量存储代码并且它起作用了。

之前：

var test = wait function(argument1);

之后

等待函数（参数1）；