Hoy va un post rapidito sobre un curioso detalle sintáctico de C# que me llamó la atención hace algún tiempo, mientras leía el artículo How to Stress the C# Compiler, donde Henning Dieterichs comenta varias formas de estresar (¡literalmente!) al compilador de C# utilizando construcciones admitidas por el lenguaje.
La cuestión es: ¿por qué no compila el siguiente código?
He de decir que los comentarios "
Curioso, ¿verdad?
Publicado en Variable not found.
La cuestión es: ¿por qué no compila el siguiente código?
class Program {
public static void Main() {
int f = 0; int x = 0; int y = 0;
System.Console.WriteLine(
"{0} {1}",
f y > (-1) // is y greater than -1?
);
}
}
¡No sigáis leyendo! Echad un vistazo al código e intentad averiguarlo antes de ver la solución :)
He de decir que los comentarios "
//
" en el código contribuyen significativamente al despiste, pero la respuesta es bastante sencilla. Basta con eliminar ruido y reformatear un poco el código para verlo más claro:class Program {
public static void Main() {
int f = 0; int x = 0; int y = 0;
System.Console.WriteLine(
"{0} {1}",
f(-1)
);
}
}
De esta forma, llegamos rápido a la conclusión de que el código conflictivo f(-1)
es sintácticamente correcto desde dos puntos de vista muy diferentes:- Dos parámetros suministrados a
Console.WriteLine()
, escritos como expresiones condicionales independientes:f
y > (-1)
- Una llamada a un método genérico
f
, suministrándole el valor-1
.
f()
(bueno, y de hecho ni siquiera x
e y
son tipos, sino variables).Curioso, ¿verdad?
Publicado en Variable not found.