Невозможно назначить делегат одного типа другому, даже если подпись соответствует

Мое любопытное любопытство заставляет меня задаться вопросом, почему следующее не удается:

// declared somewhere
public delegate int BinaryOperation(int a, int b);

// ... in a method body
Func<int, int, int> addThem = (x, y) => x + y;

BinaryOperation b1 = addThem; // doesn't compile, and casting doesn't compile
BinaryOperation b2 = (x, y) => x + y; // compiles!

Ответ 1

С# имеет очень ограниченную поддержку "структурной" типизации. В частности, вы не можете передавать из одного типа делегата другому просто потому, что их объявления похожи.

Из спецификации языка:

Типы делегатов в С# - это имя эквивалентно, а не структурно эквивалент. В частности, два различные типы делегатов, которые имеют те же списки параметров и тип возврата считаются разными делегатами типы.

Попробуйте выполнить одно из следующих действий:

// C# 2, 3, 4 (C# 1 doesn't come into it because of generics)
BinaryOperation b1 = new BinaryOperation(addThem);

// C# 3, 4
BinaryOperation b1 = (x, y) => addThem(x, y);
var b1 = new BinaryOperation(addThem);

Ответ 2

Вот аналогичный вопрос: почему это не компилируется?

// declared somewhere
struct Foo {
    public int x;
    public int y;
}

struct Bar {
    public int x;
    public int y;
}

// ... in a method body
Foo item = new Foo { x = 1, y = 2 };

Bar b1 = item; // doesn't compile, and casting doesn't compile
Bar b2 = new Bar { x = 1, y = 2 }; // compiles!

В этом случае кажется немного более естественным, если актер не работает, но по той же причине.