c# - lambda 表达式中的事件 - C# 编译器错误？

Question

我正在考虑使用 lamba 表达式来允许以强类型方式连接事件，但中间有一个监听器，例如给定以下类(class)

class Producer
{
    public event EventHandler MyEvent;
}

class Consumer
{
    public void MyHandler(object sender, EventArgs e) { /* ... */ }
}

class Listener
{
    public static void WireUp<TProducer, TConsumer>(
        Expression<Action<TProducer, TConsumer>> expr) { /* ... */ }
}

事件将被连接为:

Listener.WireUp<Producer, Consumer>((p, c) => p.MyEvent += c.MyHandler);

但是这会导致编译器错误:

CS0832: An expression tree may not contain an assignment operator

现在乍一看这似乎是合理的，尤其是在 reading the explanation about why expression trees cannot contain assignments 之后.然而，尽管是 C# 语法，+= 并不是一个赋值，它是对 Producer::add_MyEvent 方法的调用，我们可以从 CIL 中看到如果我们正常连接事件就会产生:

L_0001: newobj instance void LambdaEvents.Producer::.ctor()
L_0007: newobj instance void LambdaEvents.Consumer::.ctor()
L_000f: ldftn instance void LambdaEvents.Consumer::MyHandler(object, class [mscorlib]System.EventArgs)
L_0015: newobj instance void [mscorlib]System.EventHandler::.ctor(object, native int)
L_001a: callvirt instance void LambdaEvents.Producer::add_MyEvent(class [mscorlib]System.EventHandler)

所以在我看来这是一个编译器错误，因为它提示不允许分配，但没有发生分配，只是一个方法调用。还是我遗漏了什么...？

编辑:

请注意问题是“此行为是编译器错误吗？”。对不起，如果我不清楚我在问什么。

编辑2

在阅读 Inferis 的回答后，他说“此时 += 被认为是赋值”这确实有一定道理，因为此时编译器可能不知道它将被转换为 CIL .

但是我不允许写显式的方法调用形式:

Listener.WireUp<Producer, Consumer>(
    (p, c) => p.add_MyEvent(new EventHandler(c.MyHandler)));

给予:

CS0571: 'Producer.MyEvent.add': cannot explicitly call operator or accessor

所以，我想问题归结为 += 在 C# 事件上下文中的实际含义。它的意思是“调用此事件的添加方法”还是“以尚未定义的方式添加到此事件”。如果是前者，那么在我看来这是一个编译器错误，而如果是后者，那么它有点不直观，但可以说不是错误。想法？

Answer 1

在规范的第 7.16.3 节中，+= 和 -= 运算符称为“事件赋值”，这听起来确实像赋值运算符。它在第 7.16 节(“赋值运算符”)中的事实是一个非常重要的提示 :) 从这个角度来看，编译器错误是有道理的。

但是，我同意它过于严格，因为表达式树完全有可能表示 lambda 表达式提供的功能。

我怀疑语言设计者采用了“稍微更严格但在运算符描述中更一致”的方法，恐怕会以这种情况为代价。