No se puede asignar un delegado de un tipo a otro a pesar de que la firma partidos

Question

Mi morbo me ha preguntando por qué falla la siguiente:

// 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# tiene un apoyo muy limitado para la tipificación de "estructural". En particular, no puede convertir de un delegado-tipo a otro simplemente porque sus declaraciones son similares.

De la especificación del lenguaje:

tipos de delegado en C# son equivalentes nombre, no sea estructuralmente equivalente . Específicamente, dos tipos de delegado diferentes que tienen las mismas listas de parámetros y tipo de retorno se consideran tipos diferentes de delegado .

Pruebe uno de:

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

Aquí hay una pregunta similar: ¿por qué no esta compilar?

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

En este caso, parece un poco más natural que el yeso no funcione, pero es realmente la misma razón.