¿Qué sucede realmente cuando haces GetType()?

Question

Como sabemos, los objetos C# tienen un puntero a su tipo, por lo que cuando llama al GetType(), comprueba ese puntero y devuelve el tipo real de un objeto. Pero si hago esto:

A objA = new A(); 
object obj = (object)objA; 
if (obj.GetType() == typeof(object)) ; // this is true 

Pero lo que sucede aquí object obj = (object)objA;? ¿Crea algún tipo de objeto de referencia, que hace referencia a objA, pero tiene un puntero de tipo a object, o es un objeto completamente nuevo, que simplemente apunta a las mismas propiedades, campos, etc. como objA? Ciertamente, ahora puede acceder a ambos objetos y tendrán un tipo diferente, pero apuntan a los mismos datos. ¿Cómo funciona?

La otra pregunta es: ¿se garantiza GetType() para devolver el tipo real de un objeto? Por ejemplo, supongamos que hay un método con la firma void Method(object sender) y pasamos el objeto del tipo A como parámetro. ¿sender.GetType() tipo de devolución A o object? ¿Y por qué?

Otra cosa difícil es que puedes hacer (A)obj y funcionará. ¿Cómo funciona CLR ahora que obj fue una vez del tipo A?

Estaría encantado de que alguien pudiera desglosarlo un poco más claro que "C# through CLR".

Actualización. Malo, debería haber ejecutado el código antes de publicar la pregunta. Por lo tanto, si GetType() realmente siempre devuelve el tipo real, todas las demás preguntas se aclararán también.

Answer 1

Como sabemos, los objetos C# tienen un puntero a su tipo, por lo que cuando llama a GetType() comprueba ese puntero y devuelve el tipo real de un objeto.

Correcto.

si hago esto:

class A {} 
class P 
{ 
    public static void Main() 
    { 
     A objA = new A(); 
     object obj = (object)objA; 
     bool b = obj.GetType() == typeof(object) ; // this is true 
    } 
} 

No, eso es falso. ¡Intentalo!

Pero, ¿qué ocurre aquí object obj = (object) objA ;?

La referencia que está en objA se copia a la variable obj. (A menos que A es un tipo de valor, en cuyo caso se encajona y una referencia a la caja se copia en obj.)

tampoco crea una especie de objeto de referencia, que hace referencia a objA, pero tiene un tipo puntero para objetar, o es un objeto completamente nuevo, que simplemente apunta a las mismas propiedades, campos, etc. como objA?

Ninguno. Copia la referencia, punto. Está completamente sin cambios.

Ciertamente, puede acceder a ambos objetos ahora y tendrán un tipo diferente, pero apuntan a los mismos datos. ¿Cómo funciona?

No lo es. La pregunta se basa en una suposición que es falsa. No tendrán diferentes tipos. Ellos son la misma referencia. Las variables de tienen diferentes tipos, pero eso es irrelevante; usted no está pidiendo la variable de su tipo, que está pidiendo los contenidos de la variable para su tipo.

¿GetType() garantiza devolver el tipo real de un objeto?

para sus propósitos, sí. Hay situaciones poco claras que implican interoperabilidad COM donde no.

Por ejemplo, supongamos que hay un método con el método de firma nulo (remitente del objeto) y pasamos el objeto de tipo A como parámetro. Will sender.GetType() devuelve el tipo A u objeto?

Tipo A.

y por qué?

Porque ese es el tipo de objeto.

Otra cosa difícil es que puedes hacer (A) obj y funcionará. ¿Cómo funciona CLR ahora que obj fue una vez de tipo A?

El compilador C# genera una instrucción de clase secundaria. La instrucción castclass realiza una comprobación en tiempo de ejecución para verificar que la referencia del objeto implementa el tipo deseado. Si no es así, el CLR arroja una excepción.