Reflexión, tipo de tiempo de compilación, tipo de tiempo de ejecución, ensamblados y cómo encajan juntos.
He estado intentando unir las piezas de cómo la reflexión, el tipo de tiempo de compilación, el tipo de tiempo de ejecución, los ensamblados y los metadatos encajan juntos en C#. Mi comprensión hasta ahora es que la reflexión permite que el tiempo de ejecución se introspeccione en los metadatos del ensamblado del código compilado. Estos metadatos contienen información sobre los métodos y tipos en nuestro programa. Por ejemplo, obtenemos el tipo de un objeto.
Mis preguntas son:
- ¿Cuando obtenemos el tipo de un objeto a través de la reflexión, estamos obteniendo el tipo de tiempo de ejecución o el tipo estático?
- Si podemos obtener el tipo de tiempo de ejecución a través de los metadatos, ¿cómo está sucediendo esto?
- ¿No podría usar simplemente “GetType()”?
- Y un ensamblado es código compilado, los tipos de tiempo de ejecución aún no se conocen, ¿cómo se puede extraer el tipo de tiempo de ejecución de los metadatos de un ensamblado?
Como ejemplo:
Base b = new Derived();
Console.WriteLine(b.GetType());
Entiendo que se registra Derived. ¿Pero cómo? Si GetType recupera el tipo a través de la reflexión, que consulta los metadatos del ensamblado, ¿cómo se está registrando el tipo de tiempo de ejecución? ¿No contiene el metadato solo información de tipos basada en el tiempo de compilación?
Solo estoy buscando un poco de clarificación, grande o pequeña, lo que sea necesario. Y por favor, corrige cualquier cosa que haya dicho incorrectamente.
davy.ai
Respuestas:
El tipo en tiempo de ejecución de un objeto se puede obtener a partir de metadatos porque los metadatos contienen información sobre los tipos y sus relaciones en el programa, incluyendo la herencia y la implementación de interfaces. Cuando se crea un objeto, su información de tipo se almacena en el entorno de tiempo de ejecución, y esta información se puede acceder mediante reflexión en tiempo de ejecución.
Sí, podemos usar “GetType()” para obtener directamente el tipo en tiempo de ejecución de un objeto sin usar reflexión. “GetType()” es un método de la clase “System.Object” y devuelve el tipo de tiempo de ejecución real del objeto.
Un ensamblado contiene código compilado, pero también contiene metadatos que describen los tipos y sus relaciones en el programa. Los metadatos incluyen información como los nombres y firmas de los tipos y sus miembros, sus relaciones de herencia y las interfaces que implementan. Cuando se carga un ensamblado en el entorno de tiempo de ejecución, sus metadatos están disponibles para su inspección a través de la reflexión.
En cuanto al ejemplo proporcionado, cuando llamamos a “b.GetType()”, estamos utilizando el método “GetType()” del objeto al que se refiere la variable “b”, que es del tipo “Derived”. El tipo real del objeto se determina en tiempo de ejecución porque se crea con el operador “new” y esta información se almacena en el entorno de tiempo de ejecución. Los metadatos para el ensamblado que contiene la clase “Derived” también se cargan en el entorno de tiempo de ejecución, por lo que se puede utilizar la reflexión para acceder a la información de tipo en tiempo de ejecución.