Serie de artículos que desglosa las distintas novedades que ofrece C++0x, el nuevo estándar de C++, cuyo borrador final está ya terminado, a la espera de la aprobación final de ISO. Bucles foreach, deducción de tipos, enumerados fuertes o cadenas UNICODE son sólo algunas de las nuevas características que este estándar aporta al lenguaje.
Equivocarse es sano, no pasa nada. Ya que efectivamente, en lenguajes no tipados, el tipo de una expresión no siempre es deducible en una sentencia.
Por cierto, me dedico a esto.
#3 El tipo de una expresión siempre se sabe en tiempo de compilación (es algo de lo que el analizador sintáctico/semántico se encarga), por lo que no se me ocurre ninguna situación en la que no se pueda deducir el tipo de una sentencia. Que me corrijan si me equivoco
#5 La palabra auto no se puede usar en parámetros, el compilador lo bloquea, por lo que tu ejemplo no compila.
Así que insisto en mi creencia anterior, en cualquier tipo de variable inicializada, siempre se sabe el tipo, ya que la expresión ha tenido que ser evaluada anteriormente; y si es correcta, tiene un tipo asociada.
#1 Totalmente de acuerdo. Se suponía que este estándar tenía que simplificar el uso del lenguaje, y la verdad es que la mayor parte de las cosas que han metido no solo no lo simplifican, si no que en muchos casos hasta lo complican.
Aun así creo que es un lenguaje muy interesante y potente... pero hay que ir con cuidado al usarlo, que se puede ir de las manos muy facilmente.
Comentarios
#6 Luego falla a nivel de parser.
Equivocarse es sano, no pasa nada. Ya que efectivamente, en lenguajes no tipados, el tipo de una expresión no siempre es deducible en una sentencia.
Por cierto, me dedico a esto.
Espero que hayan limitado mucho el uso de auto. Espero que si el tipo no es deducible en la misma sentencia en que se aplica, falle a nivel de parser.
#3 El tipo de una expresión siempre se sabe en tiempo de compilación (es algo de lo que el analizador sintáctico/semántico se encarga), por lo que no se me ocurre ninguna situación en la que no se pueda deducir el tipo de una sentencia. Que me corrijan si me equivoco
#4 Te quivocas
void foo (auto var) {
cout
#5 La palabra auto no se puede usar en parámetros, el compilador lo bloquea, por lo que tu ejemplo no compila.
Así que insisto en mi creencia anterior, en cualquier tipo de variable inicializada, siempre se sabe el tipo, ya que la expresión ha tenido que ser evaluada anteriormente; y si es correcta, tiene un tipo asociada.
Muy interesante artículo. C++ sigue incrementando su comlpejidad hasta el infinito...
#1 Totalmente de acuerdo. Se suponía que este estándar tenía que simplificar el uso del lenguaje, y la verdad es que la mayor parte de las cosas que han metido no solo no lo simplifican, si no que en muchos casos hasta lo complican.
Aun así creo que es un lenguaje muy interesante y potente... pero hay que ir con cuidado al usarlo, que se puede ir de las manos muy facilmente.