Para un tipo de referencia, el diseño de memoria del objeto es

| Type Object pointer|
|    Sync Block      |
|  Instance fields...|

Para un tipo de valor, el diseño del objeto parece ser

|  Instance fields...|

Para un tipo de referencia, GetType significa encontrar el objeto desde el 'Puntero de objeto de tipo'. Todos los objetos de un objeto de tipo de referencia dado apuntan al mismo objeto de tipo (que también tiene la tabla de métodos)

Para un tipo de valor, este puntero no está disponible. Entonces, ¿cómo funciona GetType ()

Revisé con Google y encontré este fragmento ... que es un poco confuso. ¿Alguien puede elaborar?

La solución es que la ubicación en la que se almacena un valor solo puede almacenar valores de cierto tipo. Esto está garantizado por el verificador. @Fuent