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

.net reflection

Question

Esta pregunta ya tiene una respuesta aquí:

• Tipo anulable no es un tipo que admite nulo 4 respuestas

¿Por qué el resultado de este fragmento es System.Int32 lugar de Nullable<Int32> ?

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

Answer 1

No puedes box un nulo.

Podrías 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 2

Porque el tipo de "5" es int.

Si desea detectar si un tipo es anulable, y el tipo subyacente, use 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;
}

Answer 3

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

Puedes ver esto 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

Los tipos anulables son tratados especialmente por CLR; es imposible tener una instancia en caja de un tipo que admite nulos.
En cambio, el boxeo de un tipo anulable dará como resultado una referencia nula (si HasValue es falso), o el valor HasValue (si hay un valor).

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

Por lo tanto, es imposible que GetType() devuelva Nullable<T> alguna vez .

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 de tiempo de compilación: System.Nullable`1 [System.Int32]
Tipo de tiempo de ejecución: System.Int32

Answer 4

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