Nie można przypisać delegata jednego typu na inny, mimo że podpis pasuje

Question

moją chorobliwą ciekawość ma mnie zastanawiać, dlaczego po nie:

// 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! 

Answer 1

C# ma bardzo ograniczone wsparcie dla „strukturalnego” pisania. W szczególności nie można rzutować z jednego typu delegata na inny po prostu, ponieważ ich deklaracje są podobne.

Od specyfikacji języka:

rodzaje powierzać C# to nazwa odpowiednik, nie strukturalnie równoważne. W szczególności dwa różne typy delegatów, które mają same listy parametrów i zwracają typ , są traktowane jako różne typy delegatów: .

Wypróbuj jedną z:

// 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); 

Answer 2

Oto podobne pytanie: dlaczego nie to skompilować?

// 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! 

W tym przypadku wydaje się nieco bardziej naturalne, że obsada nie działa, ale z tego samego powodu.