¿Qué estamos ampliando al crear un método de extensión genérico?

Question

public static class MyClass 
{ 
    public static void Print<T>(this T theObject) 
    { 
     Console.WriteLine("The print output is " + theObject.ToString()); 
    } 
} 

En la clase dada he especificado un tipo genérico para extender a través de la palabra clave this. Siendo que he retrasado la definición del tipo hasta el momento de la compilación, ¿cómo sabe intellisense (y cualquier otra cosa involucrada) qué tipo estoy extendiendo? ¿C = simplemente establece el valor predeterminado en el nivel superior System.Object?

Answer 1

Siendo que he retrasado la definición del tipo hasta el momento de la compilación, ¿cómo sabe Intellisense (y cualquier cosa involucrada) qué tipo estoy extendiendo? ¿C# simplemente se predetermina al nivel superior System.Object?

Los que dicen que esta es una extensión en System.Object son incorrectos. Por un lado, este método no ingresará las entradas de tipo de valor, pero sí un método de extensión definido en System.Object.

El método de extensión que ha definido es un método de extensión con parámetros genéricos. Se puede aplicar a cualquier tipo que sea válido como parámetro de tipo genérico.

Si no está pensando en los métodos de extensión de la siguiente manera, esto podría ayudarlo a comprenderlos un poco mejor. Los métodos de extensión son solo un truco que la especificación del lenguaje nos permite salirse con la suya. Los métodos de extensión son realmente solo métodos estáticos en clases estáticas que podemos llamar como si fueran métodos de instancia. Entonces

static class Foo { 
    public static void M(this object obj) { } 
} 

es solo un método estático en una clase estática. Se le podría llamar así:

Foo.M(obj); 

pero podemos decir que es como si fuera un método de instancia:

obj.M(); 

Por lo tanto, cuando se tiene un método de extensión genérica, parar por un minuto y pensar en ello como un método estático en una clase estática

static class Foo { 
    public static void M<T>(this T obj) { } 
} 

se le puede llamar así:

object obj; 
Foo.M(obj); 

o se le puede llamar así:

obj.M(); 

No hay diferencia con el compilador de la que se escribe.

Por lo tanto, ahora lo está pensando como un método genérico habitual. Pero seguramente cuando lo piense desde esta perspectiva, comprenderá que el compilador le permitirá invocar este método en cualquier tipo que sea válido como parámetro de tipo genérico. Y así, ahora comprende por qué puede considerarse como un método de extensión en cualquier tipo que sea válido como un parámetro de tipo genérico.

Answer 2

Sí, es System.Object a menos que agregue una restricción de tipo.