¿Por qué estoy obligado a hacer referencia a los tipos en los constructores no utilizados?

Question

Digamos que tengo una clase (ClassA) que contiene un método que llama al constructor de otra clase, de esta manera:

public class ClassA 
{ 
    public void CallClassBConstructor() 
    { 
     using(ClassB myB = new ClassB()) {...} 
    } 
} 

La clase ClassB se parece a esto:

public class ClassB : IDisposable 
{ 
    public ClassB(){} 
    public ClassB(string myString){} 
    public ClassB(ClassC myC){} 
    public void Dispose() {...} 
} 

... y ClassC es aún más sencilla:

public class ClassC{} 

Si pongo estas clases en su propio culo embly y compila toda la solución no obtengo ningún error. Pero si se sustituye la instrucción using con esto:

using(ClassB myB = new ClassB("mystring")){...} 

me sale un error de compilación que me pide que agregar una referencia a [mynamespace].ClassC en ClassA. Ya que no estoy llamando al ClassB(ClassC myC) en absoluto, esto no tiene sentido para mí, ¿por qué tengo que incluir los tipos de otros constructores independientemente de si los uso o no? ¿Qué pasa si ClassC se incluyó en una asamblea con licencia o difícil de adquirir? ¿Es este un ejemplo de mal diseño que los desarrolladores deberían evitar o me falta algo aquí?

Answer 1

Tiene que ver con la resolución de sobrecarga método cuando una llamada al constructor ClassB.

Cuando llama al constructor sin parámetros, no hay contienda. Solo hay un candidato, entonces es elegido. No es necesario que ClassA haga referencia a ClassC en este caso.

Sin embargo, cuando se llama al constructor con un parámetro, a continuación, desde el principio, tanto de los constructores de un solo parámetro son candidatos. Para resolver esta llamada, el compilador necesita saber acerca de ClassC. Por lo que usted sabe, ClassC podría contener un operador de conversión implícito, por ejemplo.

(Por supuesto, sabemos que en este ejemplo particular un operador de conversión implícito no se activaría porque hay una coincidencia perfecta que toma una cadena, pero las reglas de resolución de sobrecarga del método se definen de esta manera para que estén muy bien -definida y predecible. Imagínese que fueron diseñados de tal manera que la adición de una referencia podría hacer que su código para llamar a una sobrecarga de repente constructor diferente.)

Answer 2

Para resolver las sobrecargas del constructor, el compilador necesita conocer los tipos implicados. Es decir. necesita saber ClassC para elegir la sobrecarga derecha del constructor para ClassB.

Answer 3

Es porque ClassC, que ha colocado en un conjunto separado, es parte de la interfaz pública de ClassB ya que es un parámetro de uno de los constructores. Debe hacer referencia al ensamblaje contenedor de este tipo; de lo contrario, el compilador no tiene idea de cómo resolver la información del tipo. En este caso específico, el compilador debe resolver todos los tipos de parámetros de todas las sobrecargas del constructor para que pueda elegir el correcto, pero este no es un problema de sobrecarga de miembros per se. Esto sucede cada vez que el compilador debe resolver la información del tipo. También puede ocurrir en los tipos de devolución.