El operador ">" no se puede aplicar al tipo 'ulong' e 'int'

Question

Tengo curiosidad por saber por qué el compilador de C# solo me da un mensaje de error para la segunda instrucción if.

enum Permissions : ulong 
{ 
    ViewListItems = 1L, 
} 

public void Method() 
{ 
    int mask = 138612833; 
    int compare = 32; 

    if (mask > 0 & (ulong)Permissions.ViewListItems > 32) 
    { 
     //Works 
    } 

    if (mask > 0 & (ulong)Permissions.ViewListItems > compare) 
    { 
     //Operator '>' cannot be applied to operands of type 'ulong' and 'int' 
    } 
} 

Answer 1

He estado experimentando con esto, usando ILSpy para examinar la salida, y esto es lo que he descubierto.

Obviamente, en su segundo caso, este es un error: no puede comparar un ulong y un int porque no hay un tipo al que pueda forzar a ambos. Un ulong puede ser demasiado grande para un long, y un int puede ser negativo.

En su primer caso, sin embargo, el compilador está siendo inteligente. Se da cuenta de que const 1> const 32 nunca es verdadero, y no incluye su declaración if en el resultado compilado en absoluto. (Debe dar una advertencia para el código inalcanzable). Es lo mismo si define y usa un const int en lugar de un literal, o incluso si emite el literal explícitamente (es decir, (int)32).

Pero entonces no es el compilador de comparando con éxito un ulong con un int, que acaba dijimos era imposible?

Aparentemente no. Entonces, ¿qué está pasando?

Intente hacer algo en las siguientes líneas. (Toma de entrada y salida de la escritura por lo que el compilador no compilar nada.)

const int thirtytwo = 32; 
static void Main(string[] args) 
{ 
    ulong x = ulong.Parse(Console.ReadLine()); 
    bool gt = x > thirtytwo; 
    Console.WriteLine(gt); 
} 

Esto compilará, a pesar de que la ulong es una variable, y aunque el resultado no se conoce en tiempo de compilación. Echar un vistazo a la salida de ILSpy:

private static void Main(string[] args) 
{ 
    ulong x = ulong.Parse(Console.ReadLine()); 
    bool gt = x > 32uL;  /* Oh look, a ulong. */ 
    Console.WriteLine(gt); 
} 

Por lo tanto, el compilador es, de hecho, el tratamiento de su const int como ulong. Si realiza thirtytwo = -1, el código no se compila, aunque sepamos que gt será siempre verdadero. El compilador no puede comparar un ulong con un int.

También tenga en cuenta que si se hace una xlong en lugar de un ulong, el compilador genera 32L en lugar de 32 como un entero, a pesar de que no se tienen a. (Se puede comparar un int y una long en tiempo de ejecución.)

Esto apunta a que el compilador no tratar 32 como ulong en el primer caso porque tiene a, simplemente porque puede coincidir con el tipo de x . Está evitando que el tiempo de ejecución tenga que forzar la constante, y esto es solo una ventaja cuando la coacción no debería ser posible por derecho.

Answer 2

No es el CLR que muestra este mensaje de error sino el compilador.

En el primer ejemplo el compilador trata 32 como ulong (o un tipo que es convertir implícitamente a ulong por ejemplo uint) mientras que en el segundo ejemplo se ha declarado explícitamente el tipo como un int. No hay sobrecarga del operador > que acepta un ulong y un int y, por lo tanto, se obtiene un error de compilación.

Answer 3

Las respuestas de rich.okelly y rawling son correctas en cuanto a por qué no puedes compararlas directamente. Puede utilizar el método Convert de la clase ToUInt64 para promocionar el int.

if (mask > 0 & (ulong)Permissions.ViewListItems > Convert.ToUInt64(compare)) 
{ 
}