¿Por qué GetType devuelve System.Int32 en lugar de Nullable <Int32>?

Question

¿Por qué la salida de este fragmento System.Int32 en lugar de Nullable<Int32>?

int? x = 5; 
Console.WriteLine(x.GetType()); 

Answer 1

GetType() es un método de object.
Para invocarlo, la estructura Nullable<T> debe estar enmarcada.

Esto se puede ver en el código IL:

//int? x = 5; 
IL_0000: ldloca.s 00 
IL_0002: ldc.i4.5  
IL_0003: call  System.Nullable<System.Int32>..ctor 

//Console.WriteLine(x.GetType()); 
IL_0008: ldloc.0  
IL_0009: box   System.Nullable<System.Int32> 
IL_000E: callvirt System.Object.GetType 
IL_0013: call  System.Console.WriteLine 

tipos anulables se tratan de forma especial por CLR; es imposible tener una instancia en caja de un tipo que admite nulos.
En su lugar, el boxeo de tipo anulable dará como resultado una referencia nula (si HasValue es falso), o el valor encuadrado (si hay un valor).

Por lo tanto, la instrucción box System.Nullable<System.Int32> da como resultado Int32 en caja, no en caja Nullable<Int32>.

Por lo tanto, es imposible para GetType() a alguna vez return Nullable<T>.

Para ver esto más claramente, mira el siguiente código:

static void Main() 
{ 
    int? x = 5; 
    PrintType(x); 
} 
static void PrintType<T>(T val) { 
    Console.WriteLine("Compile-time type: " + typeof(T)); 
    Console.WriteLine("Run-time type: " + val.GetType()); 
} 

Esto imprime

tipo en tiempo de compilación: System.Nullable`1 [System.Int32]
Run- tipo de hora: System.Int32

Answer 2

No se puede box un anulable.

se podría hacer algo como esto:

public static Type GetCompilerType<T>(this T @object) 
{ 
    return typeof (T); 
} 

int? x = 5; 
Console.WriteLine(x.GetCompilerType()); 
// prints: 
// System.Nullable`1[System.Int32] 

Answer 3

GetType() no es virtual, y por lo tanto se define sólo en object. Como tal, para realizar la llamada, primero se debe incluir el Nullable<Int32>. Nullables tiene reglas especiales de boxeo, por lo que solo el valor Int32 está encuadrado, y ese es el tipo informado.

Answer 4

Porque el tipo de "5" es int.

Si desea detectar si un tipo es anulable, y el tipo subyacente, usar algo como esto:

public static Type GetActualType(Type type, out bool isNullable) 
{ 
    Type ult = Nullable.GetUnderlyingType(type); 
    if (ult != null) 
    { 
     isNullable = true; 
     return ult; 
    } 
    isNullable = false; 
    return type; 
}