¿Por qué llamar a algunas funciones de la clase Object, en una instancia de tipo primitivo, necesita boxeo?

Question

He descubierto que si ejecuto las siguientes líneas de código.

int i = 7; 
i.GetHashCode(); //where GetHashCode() is the derived 
       //function from System.Object 

Sin el boxeo está hecho, pero si llamo i.GetType() (otra función derivada de System.Object) en lugar de GetHashCode(), se requerirá un boxeo para llamar GetType(), ¿Por qué no es posible llamar GetType() en la instancia de tipo primitivo directamente , sin boxeo, mientras que es posible llamar al GetHashCode() sin boxeo?

Answer 1

La clave aquí es que GetType() no es virtual y no se puede anular. Como una estructura es efectivamente sealed, los métodos no pueden anularse más que la estructura, por lo que el tiempo de ejecución y el compilador pueden tratar los métodos de estructura que se han reemplazado como llamadas estáticas.

Si se escribe una estructura (raro) que debe reemplazar todos los métodos como ToString(), Equals(), GetHashCode() exactamente por esta razón. Si no lo hace, debe boxear. Sin embargo, GetType()no se puede anularse, por lo tanto, necesita el boxeo.

En realidad, esto lleva a algunos casos de borde impares con Nullable<T> y el boxeo, ya que un vacío Nullable<T> cajas a null, por lo que:

int i = obj.GetHashCode(); // fine 
Type t = obj.GetType(); // boom 

Answer 2

Parece muy cerca de How is ValueType.GetType() able to determine the type of the struct?

También relacionado es GetType and TypeOf confusion

Answer 3

Creo que la razón es que GetHashCode se implementa en System.Int32 directamente, se llama a System.Int32 :: GetHashCode(). No es necesario marcar si llama a una función miembro conocida en un tipo de valor.