¿Cómo funciona realmente un tipo de valor en .net?

Question

Pregunta algo académica, pero: ¿cómo funcionan los tipos de valor como Int en realidad trabajo?

He usado Reflector en mscorlib para descubrir cómo se implementa System.Int32, y es solo un Struct que hereda de System.ValueType. Estaba buscando algo entre las líneas de una matriz de bits que contenga el valor, pero solo encontré un campo que se declaró int, lo que significa que es una referencia circular.

Quiero decir, puedo escribir "int i = 14;", pero el número 14 necesita almacenarse en alguna parte de alguna manera, pero no pude encontrar la "Matriz de 32 bits" o un puntero o algo así.

¿Es esto algo mágico que hace el compilador, y estos tipos de magia son parte de la especificación? (Similar a cómo System.Attribute o System.Exception son tipos "especiales")

Edit: Si declaro mi propia estructura, le agrego campos. Esos campos son de tipo incorporado, por ejemplo int. Entonces el CLR sabe que tengo un int. ¿Pero cómo sabe que un int es 32 bits, firmado? ¿Es simplemente que la Especificación especifica ciertos tipos de base y, por lo tanto, los convierte en "magia", o hay un mecanismo técnico? Ejemplo hipotético: si quisiera declarar un Int36, que es un entero con 36 bits, ¿podría crear un tipo que funcione exactamente como un Int32 (aparte de los 4 bits extra de cc) al especificar "Bueno, dejar de lado 36 bits ", o son las primitivas incorporadas en piedra y tendría que trabajar de alguna manera alrededor de esto (es decir, mediante el uso de un Int64 y el código que solo establece los últimos 36 Bits)?

Como dije, todo muy académico e hipotético, pero siempre me pregunté sobre eso.

Answer 1

Ciertos tipos primitivos, como los enteros, son parte de la especificación CLI. Por ejemplo, hay instrucciones de IL específicas como ldc.i4 para cargar valores de estos tipos, e instrucciones de IL como add tienen conocimiento específico de estos tipos. (Su ejemplo de int i = 14 conseguiría compilado a ldc.i4 14, con el 14 representan internamente como parte del código de operación dentro del MSIL compilado.)

Para obtener más información, consulte IIa partición del CLI spec, Sección 7.2, "Built-in Tipos " (No se puede encontrar un enlace a la sección en particular, lo siento). Los tipos incorporados son: bool, char, object, string, float32, float64, int [8 | 16 | 32 | 64], unsigned int [8 | 1632 | 64], native int (IntPtr), native unsigned int y typedref. La especificación señala que "tienen tipos de valores correspondientes definidos en la Biblioteca de clases base", lo que me hace pensar que Int32 es en realidad una especie de contenedor de metadatos alrededor del int32 "real", que vive en el nivel VES.

Otros tipos de valores, como System.Decimal, System.Drawing.Point o cualquiera de las estructuras que defina en su propio código, no son mágicos.

Answer 2

Int32 es un compilador de tipo intrínseco, lo que significa que el compilador tiene una lógica especial para manejarlo. La implementación real de Int32 en el marco no tiene sentido.

Vale la pena señalar que Int16, Int32, UInt16, UInt32, Individual, Doble, etc. corresponden aproximadamente a los tipos que son nativos del conjunto de instrucciones x86 (y otros). Crear un tipo Int36 también requeriría usar un tipo nativo como base en el código de ensamblaje puro.