¿Imposible utilizar ref y out para el primer parámetro ("this") en los métodos de extensión?

Question

¿Por qué está prohibido llamar al Extension Method con el modificador ref?

Éste es posible:

public static void Change(ref TestClass testClass, TestClass testClass2) 
{ 
    testClass = testClass2; 
} 

Y esto no uno:

public static void ChangeWithExtensionMethod(this ref TestClass testClass, TestClass testClass2) 
{ 
    testClass = testClass2; 
} 

Pero por qué?

Answer 1

Debe especificar ref y out explícitamente. ¿Cómo haría esto con un método de extensión ? Por otra parte, ¿realmente quiere a?

TestClass x = new TestClass(); 
(ref x).ChangeWithExtensionMethod(otherTestClass); 
// And now x has changed? 

O le gustaría no tener que especificar la parte ref, sólo para el primer parámetro en los métodos de extensión?

Suena extraño, para ser sincero, y una receta para código ilegible (o al menos difícil de predecir).

Answer 2

Esto significa que llamar al myObject.ChangeWithExtentionMethod(otherObject) realmente podría cambiar el valor de myObject. IMO, eso no daría lugar a un código muy legible cuando, en cambio, se puede lograr el efecto deseado utilizando un método regular sin extensión con una referencia.

EDITAR: Mi punto es que la llamada al método debe requerir el uso de la palabra clave ref cada vez que se pasa algo por referencia. Usar ref con el parámetro 'this' de este método de extensión violaría ese comportamiento.

Answer 3

Estoy de acuerdo con las respuestas de Jon Skeet et al. acerca de cómo permitir métodos de extensión "ref. this" podría hacer que el código sea más oscuro. Pero si observa algunos espacios de nombres en .Net Framework, es común que un método invocado en una estructura lo altere.

Tome, por ejemplo, las estructuras del Sistema.Dibujo (Punto, Rectángulo, etc.). Cada uno de estos tiene métodos (por ejemplo, desplazamiento, inflado, etc.) que mutan la estructura en sí. No estoy diciendo que esto sea una buena idea, de hecho personalmente encuentro muy molesto que Offset, Inflate, etc. muten las estructuras mismas en lugar de devolver las nuevas, y sé que algunos de ustedes se oponen a la idea de estructuras mutables en general.

Dudo que haya ningún caso donde invocar un método de un tipo de referencia cambiará la referencia (a menos que sea con la clase String, donde puedo imaginar que podría haber algún compilador mágico para cambiar las referencias para realizar el interinato, etc.). Por lo tanto, tiene sentido evitar que "esta referencia" se use con tipos de referencia, ya que cambiar una referencia sería un efecto secundario completamente no estándar de llamar a un método.

Pero en lo que respecta a las estructuras, permitir "esta referencia" no disminuiría significativamente la legibilidad del código más que Rectangle.Inflate, etc, y proporcionaría el único medio para "simular" ese tipo de comportamiento con una función de extensión.

Así como una nota lateral, aquí es un ejemplo en el "presente ref" podría ser útiles, y en mi humilde opinión sigue siendo legible:

void SwapWith<T>(this ref T x, ref T y) { 
    T tmp = x; x = y; y = tmp; 
} 

Answer 4

estoy de acuerdo que útil para la estructura

Así Quiero proponer eso para hacer un método de extensión para struct. esta palabra clave siempre debe pasar struct por referencia

class siempre pasan por referencia de todos modos. Y cada vez que creamos un método de extensión queremos que se comporte como un método real. Entonces el método real de clase y estructura puede modificar su valor. El método de extensión debería ser también