Tipo anulable GetType() arroja la excepción

Question

Acabo de recibir esta prueba de un colega que me está volviendo loco. Para este fragmento de código:

var x = new Int32?(); 
string text = x.ToString(); // No exception 
Console.WriteLine(text); 
Type type = x.GetType(); // Bang! 

¿Por qué la primera parte .ToString() funciona sin lanzar una excepción y entonces la llamada a GetType() lanza una NullReferenceException?

Answer 1

ToString es overridden in Nullable<T>, por lo que no se requiere el uso de un boxeo para realizar la llamada.

GetType() no es un método virtual, por lo que no está (y no puede) sobrescrito, por lo que el valor se almacena antes de que se realice la llamada ... y el boxeo un valor nulo de un tipo de valor que admite valores NULL referencia nula

La razón para el boxeo está en la sección 7.5.5 de la especificación C# 4:

Si M es un miembro de la función de instancias que se declaren en una referencia de tipo :

• ..
• Si el tipo de E es value-type, se realiza una conversión de boxeo (4.3.1) para convertir E al tipo object y E se consideran del tipo object en los siguientes pasos. En este caso, M sólo podía ser un miembro de System.Object

Tenga en cuenta que si tiene que:

var x = new Int32?(10); 

acabaría con el tipo de ser el mismo que typeof(int), de nuevo debido a boxeo. No hay forma de crear un valor foo tal que foo.GetType() devuelve un tipo de valor que se puede nulos, utilizando el método normal GetType(). (Se puede crear un nuevoGetType() método por supuesto , pero eso es una cuestión secundaria :)

(El uso de "Bang!", Sugiere el autor de dicho cuestionario mí puede ser. Disculpas por volviendo loco si ese es el caso.)