limitaciones Mutally exclusivos en dos métodos con la misma firma

Question

Así que estos dos métodos tienen la misma firma, pero diferentes limitaciones

public static void Method<T>(ref T variable) where T : struct { } 

public static void Method<T>(ref T variable) where T : class { } 

Pero no se puede definir en una sola clase, ya que tienen las mismas firmas. Pero en este caso particular son mutuamente excluyentes. (A menos que me equivoque en eso)

entiendo que puede poner restricciones adicionales, además de class y struct pero no se puede especificar tanto struct y class en el mismo método. Entonces, ¿por qué no se compila?

Answer 1

generic constraints are not considered part of the method signature (gracias @Anthony para el enlace).

En cuanto al compilador, tiene un duplicado método - mismos números y tipos de parámetros.

Answer 2

Son semánticamente mutuamente excluyentes, sí. Pero el compilador los ve como teniendo el mismo "nombre", de ahí la ambigüedad. "Nombre" aquí significa "firma de método".

Answer 3

Aunque el compilador podría ser lo suficientemente inteligente como para resolverlo (lo que parece no ser), no sabe qué hacer para object (como puede ser class o struct).