{"id":1184,"date":"2010-06-21T17:26:07","date_gmt":"2010-06-21T15:26:07","guid":{"rendered":"http:\/\/www.tiendadeultramarinos.es\/?p=1184"},"modified":"2010-06-21T18:24:36","modified_gmt":"2010-06-21T16:24:36","slug":"incremento-y-decremento","status":"publish","type":"post","link":"https:\/\/www.tiendadeultramarinos.es\/?p=1184","title":{"rendered":"Incremento y decremento"},"content":{"rendered":"

Hoy toca post para inform\u00e1ticos. Como bien sabr\u00e9is, muchos lenguajes disponen de una forma abreviada de indicar incrementos y decrementos, que son ‘++<\/code>‘ y ‘--<\/code>‘. Esto, adem\u00e1s de facilitar la vida a los programadores evit\u00e1ndoles escribir a=a+1<\/code>, es tambi\u00e9n de utilidad para las optimizaciones que hace el compilador, puesto que en la mayor\u00eda de arquitecturas existen instrucciones de incremento y decremento que se ejecutan utilizando menos recursos que una suma convencional.<\/p>\n

En algunos lenguajes, como en C y Java, se puede utilizar este operador delante y detr\u00e1s de las variables, pero tiene un comportamiento distinto<\/strong>. Si el operador est\u00e1 delante, se hace primero la resta y se eval\u00faa el resultado; mientras que si est\u00e1 detr\u00e1s, primero se devuelve el valor, y despu\u00e9s se realiza la resta.<\/p><\/a>

\n

As\u00ed, si b=10<\/em> y hacemos a=--b<\/code>, a<\/em> y b<\/em> terminar\u00e1n con valor 9, pero a=b--<\/code> terminar\u00e1 con a=10<\/code> y b=9<\/code>.<\/p>\n

Bien, recordado esto, en mis apuntes de compiladores se menciona como un c\u00f3digo algo lioso a primera vista, la siguiente instrucci\u00f3n c=a---b--<\/code>. A ra\u00edz de ello, he decidido pensar en\u00a0 situaciones similares a \u00e9sta, que son:<\/p>\n

c = --a---b;
\nc = --a-b--;
\nc = a-----b;
\nc = a---b--;
\nc = a---b;<\/code><\/p><\/blockquote>\n

Suponiendo que es ilegal --n--<\/code>, y obviando la \u00faltima (hay que acordar c\u00f3mo se comporta) \u00bfAlguien se anima a hacer la traza? Es facilita, la hice ayer a mano en lugar de seguir estudiando :P.<\/p>\n

Aunque todas salvo la \u00faltima parezcan correctas y sin ambig\u00fcedades, curiosamente hay dos de ellas que ni C ni Java aceptan (con los compiladores GCC 2.8.1, Borlandc 3.0 y JDK 1.6). Son la primera y la tercera, y ocurre lo mismo si en lugar de ‘--<\/code>‘ utilizamos ‘++<\/code>‘. \u00bfPor qu\u00e9? Pues imagino que por el tipo de an\u00e1lisis que hace el compilador.<\/p>\n

Tal y como veo que se comporta (he hecho m\u00e1s pruebas aparte de esos 5 casos), cuando el analizador l\u00e9xico lee el c\u00f3digo car\u00e1cter a car\u00e1cter, siempre que encuentra dos ‘-‘ seguidos, los considera un \u00fanico token ‘--<\/code>‘ y as\u00ed es como los env\u00eda al siguiente nivel.<\/p>\n

Despu\u00e9s, en el analizador sint\u00e1ctico\/sem\u00e1ntico debe de existir alg\u00fan tipo de precedencia asignada al operador ‘--<\/code>‘ por encima de la resta y el opuesto, de modo que cuando se encuentra con --a<\/code>, \u00f3 a--<\/code>, hace directamente una reducci\u00f3n y pasa a considerar la expresi\u00f3n como una constante, a la que ya no tiene sentido volver a aplicar otro ‘--<\/code>‘.<\/p>\n

En el caso \u00abespecial\u00bb c=a---b<\/code>, a mi juicio el \u00fanico que es ambiguo y del que deber\u00eda quejarse el compilador, se opta por aplicar el operador ‘--<\/code>‘ a la variable a<\/em>; siendo equivalente a ejecutar c=a-b<\/code> y despu\u00e9s a--<\/code>.<\/p>\n

Tambi\u00e9n acepta correctamente c=-a--;<\/code> \/\/ c = -a (y decrementar despu\u00e9s a).<\/p>\n

Otras asignaciones que dan error de compilaci\u00f3n, y comentado a lo que deber\u00eda corresponder:<\/p>\n

c = ---a; <\/code>\/\/c = – (decremento de a)<\/p>\n

c = --a--b;<\/code> \/\/c = (decremento de a) menos (-b)<\/p>\n

c = a--b;<\/code> \/\/ c = a menos (-b)<\/p>\n

c = a----b;<\/code> \/\/ c = a menos (-b) [y despu\u00e9s decrementar a]<\/p><\/blockquote>\n

Por los errores que da el compilador, en el primer caso creo que intentar aplicar el operador ‘--<\/code>‘ sobre ‘-<\/code>‘, y en el tercer caso, evalua ‘a--<\/code>‘, y despu\u00e9s encuentra la b<\/em> sin operadores entre ellos. En el segundo fallan dos cosas: primero aplica correctamente --a<\/code>, pero al resultado no se le puede aplicar otra vez ‘--<\/code>‘; el segundo fallo es que ha consumido el token ‘--<\/code>‘ y se encuentra, de nuevo, con una b<\/em> solitaria sin operadores entre la a<\/em>. En el cuarto tenemos otros dos fallos similares al anterior.<\/p>\n

\u00bfOcurrir\u00e1 as\u00ed en todos los compiladores de C, o habr\u00e1n tenido esto en cuenta en alg\u00fan caso? \u00bfO es algo definido directamente en el est\u00e1ndar? He echado un vistazo r\u00e1pido al ANSI C buscando \u00abdecrement\u00bb, pero no he le\u00eddo nada destacable.<\/p>\n<\/div>

<\/a><\/p>