Foro de elhacker.net

Hola buenas, pues puede parecer una pregunta un poco lógica, pero realmente un if (de cualquier lenguaje de programación) es leído por el compilador de dicho lenguaje (aunque no se ejecute lo que contenga dentro) cuando su condición es falsa?

Un saludo.

---

Según he estado leyendo, el compilador, lee todo, y luego, va clasificando, y si un if es falso, se lo salta...

Ahora la pregunta, como la gente puede saber eso? Como es de fácil o difícil? :huh:

No he entendido bien la pregunta.

A ver, no es dentro del código, dentro del compilador, como dije:


Me pregunto, como la gente llega a esas conclusiones, bueno, a no ser que sean los mismos programadores del compilador, entonces... Como pueden llegar a extraer dicha información y conclusiones? :huh:

Depende del lenguaje, en C# y por ende VB no se evalua si el compilador puede deducir que es falsa, no solo con los if, las variables no inicializadas nunca llegan a reservarse memoria por poner otro ejemplo. En ese sentido es algo inteligente y predice lo que ocurrirá

Otros lenguajes no tienen esa capacidad

Si hablamos en tiempo de compilación, incluso compiladores antiguos como el de Turbo C++ (para DOS) tenían la capacidad de detectar cosas como si había variables que nunca se usaban o código que nunca se iba a ejecutar (si estaba despúes de un return y no había ningún goto hacia este).

La dificultad de hacer eso depende de la complejidad del problema y es una tarea mejor realizada por un proceso automático porque requiere llevar el control de las variables que nunca se modificaron y también de las porciones de código que quedaron fuera del flujo normal de ejecución en todos los casos.

---

---

---

---

Si hablamos en tiempo de ejecución, tenemos que recordar que los compiladores modernos aplican optimizaciones, y el código generado casi nunca refleja el código fuente original.

Pero en términos generales, tenemos que tener una idea de cómo corre el código de máquina o bytecode en cuanto a las decisiones condicionales.

Para un IF, se aplican un grupo de reglas de precedencia de paréntesis, y cómo actuar ante combinaciones de AND y OR lógicos.

Por ejemplo, si tenemos 5 variables con AND:


El programa tiene que asegurarse de que ambas variables/condiciones/expresiones se cumplan. Si la primera, o segunda o tercera variable/condición/expresión no se cumple, entonces efectivamente llega hasta ahí y se salta comprobar el resto de expresiones. Un AND debe comprobar hasta el final, o saltarse el resto de la comprobación del IF sin ejecutar lo que contiene tan pronto como una condición no se cumpla.


Por ejemplo, si tenemos 5 variables con OR:


En este caso, si la primera, o segunda variables se cumplen, entonces se salta el resto de la comprobación y ejecuta lo que contiene el IF. Con OR, lo que contiene el IF se ejecuta tan pronto como se cumple una condición, ejecuta lo que contiene, y se salta el resto de las expresiones del IF.

Con paréntesis y combinaciones de AND y OR esto se vuelve más complejo, pero es una cuestión de resolver paso a paso cada nivel de paréntesis en la secuencia correcta, y podemos ver para muchos casos qué partes de la expresión del IF se van a ejecutar y cuáles se van a saltar. Los casos en los que todas las expresiones de un IF se cumplen son una minoría.

También debemos recordar el comportamiento de las instrucciones, por ejemplo para procesadores x86, que sirven para saltos condicionales. Tenemos, entre otras, ja (mayor sin signo), jae (mayor o igual sin signo), jb (menor sin signo), jbe (menor o igual sin signo), je (igual), jne (no igual), además de usar jmp (salto incondicional) como útlimo recurso cuando todo el IF no se cumplió. Para OR, es más eficiente usar el caso de la instrucción directamente reflejada por la expresión lógica, y para AND, es más eficiente usar la operación de salto condicional opuesta al de la expresión en el código fuente.

Y tu donde has aprendido todo eso? :o

Tu lo que quieres saber es aprender ingenieria inversa junto con lenguaje ensamblador para aprender como funciona un procesador, la memoria, ahi sabras como se ejecuta cada cosa.

Hay varios tipos de compiladores. Los hay que leen el código entero, lo compilan, y luego ejecutan y los que van compilando y ejecutando linea a linea.

Algunos de linea a linea, nunca llegan a compilar ciertas cosas

Y como se como funciona el mío? :P

hay que ver los códigos generados por el compilador, normalmente necesitaras dominar ensamblador para leerlo. compilar linea a linea esta mal expresado, porque compilar, la misma palabra hace referencia a juntar todos los codigos maquina necesarios para crear el programa. Eso se llama interpretar, y en ese caso deberias debuguear el codigo mientras se ejecuta, y todo sera mas ilegible.

ABDERRAMAH el sabio jajajajajajajaj

jajajajajajajajajajajajajaja Es que no debemos perder el tiempo, Frodo. XD

Bueno, aprovecho para comentar un mito que según sé es falso, pero quisiera saber si alguno de ustedes ha escuchado de él. Se dice que en las aplicaciones de VB.net cuando uno coloca un if de la forma:

If A = True And B = True Then
 
End If

Aunque la primera evaluación sea falsa se hace la segunda evaluación y por ello es mejor realizar un if anidado.

Yo sigo creyendo que es un mito, pero qué dicen ustedes?

Una explicacion en detalle de ese tema se encuentra en la pagina Evaluación de "cortocircuitos" en Microsoft Visual Basic .NET (http://support.microsoft.com/kb/817250)

Un saludo

Hola soy del subforo de Ing. Inversa paso para intentar aclarar algunas cosas, es que creo que estás algo confundido.

Creo que la pregunta que quieres plantear:
¿Cómo se elabora un if y cómo este actúa?

En cuanto a la elaboración de las instrucciones, estas se realizan en tiempo de compilación o interpretación (dependiendo del lenguaje), creo que entre tus dudas y otros comentarios (que son del todo correcto), no van al tema. Es que ~ tiene toda la razón, pero el plantea la forma de elaboración en tiempo de compilación. Si quieres más detalles, deberías estudiar Teoría atómata y de compiladores, una ciencia en donde podrías crear tu propio lenguaje de programación (si es que entiendes la teoría que hay detrás de los compiladores).

Ahora la pregunta es cómo el IF actúa, la estructura del if depende netamente del compilador, pero la comparación generalmente llega a una comparación CMP (instrucción de lenguaje ensamblador).

if (var_a == true) {
 return 0;
}
.....
....
..

Esto en lenguaje ensamblador sería más menos así (reitero esto depende del compilador):

mov eax, dword ptr:[40381200] ; mueve el contenido de una dirección de memoria a la variable eax
cmp eax,1 ; compara si eax (variable cual posee el contenido de var_a) es 1. 
jne continuar ; si no se cumple se dirigirá al label o etiqueta continuar.
retn ; retorna a la dirección apuntada al principio del stack o pila
continuar:
......
....
..

Espero que se entienda más menos

pues te respondo co toda seguuridad, se comprueban las dos condiciones, y estoy tan seguro por la existencia de los operadores andalso y orelse, que sirven para ignorar las demas condiciones si la sentencia no puede ser verdadera

En lugar de anidar podemos servirnos del resto de operadores del lenguaje (los que ya ha nombrado ABDERRAMAH),
solo es necesario leer la referencia de los operadores de VBNET para entender como funcionan y saber las expresiones que se evaluan y las que no...

-> Logical/Bitwise Operators (Visual Basic) (http://msdn.microsoft.com/en-us/library/2h9cz2eb.aspx)

Saludos!

Hablando de C++:

En un IF con varias condiciones unidas por un AND (Ejemplo: "if(1 && 0);"), se leen en orden, y en el momento en que una sea falsa, acaba con el IF. Esto lo podemos ver fácilmente (¬¬ vagos) con un código como este:

#include <iostream>
bool asd(){
std::cout << "Hola";
return false;
}
int main () {
if(2==0 && asd());
system("pause>nul");
}

Compilado con MinGW*

Haced la prueba en VB, y los lenguajes que uséis, y así tenemos este hilo para saber que lenguajes leen todas las condiciones xD

Respecto a la pregunta original, Ikillnukes, el compilador lo que hace es compilar, no averiguar si las condiciones (excepto las del tipo "#if") son o no son verdaderas.

No es cierto. Un código compilado que ejecutara todo el IF aunque este ya no cumpla una condición requerida sería extremadamente ineficiente. De hecho no es tan difícil programar a mano este tipo de optimización, y es más breve y hasta claro.

Por ejemplo para el código anterior sería más eficiente compilarlo así:


Que compilarlo así:


Son más comprobaciones ejecutadas sin razón cuando se sabe que si se usa AND y no se cumple no hay caso de seguir ejecutando, y requiere un salto incondicional como terminador del IF (en el segundo caso, que es más ineficiente). Y si el IF fuera mucho más complejo, la ejecución sería menos que óptima, y eso no sería aceptable en aplicaciones de grado industrial que tienen elementos mucho más complejos que esto.



Eso depende de la comprobación y de la forma en la que se optimiza el código. Si por ejemplo hay valores constantes que siempre van a evaluar a verdadero o a falso, el compilador haría bien en eliminarlos, entre otras optimizaciones más complejas. Tener que comprobar todas las condiciones determinables en tiempo de compilación debería ser una optimización básica. También es necesario realizar otras comprobaciones para las demás optimizaciones y para eso se necesita algún nivel de evaluación del IF (el simple hecho de tener que compilarlo requiere eso).

En VB no lo puedo confirmar, lo odio y no pienso probar nada, pero en C# si se evalua false el primero el otro no se realiza


Este código solo imprime entro en a, nada de lo demás

¿C# no dispone del equivalente a andalso y orelse?

Acabo de ver: los OR y los AND, en el momento que uno sea true o que uno sea false (respectivamente), ya no se evalúa nada más.

*Visual Basic*

Si:



Eso no es correcto, ocurre todo lo contratio a lo que has comentado,
para simular un OrElse y/o AndAlso en VB6 habría que agrupar expresiones:


Porfavor vuelvan a leer el comentario del compañero ABDERRAMAH sobre estos operadores.

Voy a poner un ejemplo para dejarlo todavía más claro si cabe sobre And y AndAlso en VB.NET:

        Private str As String = Nothing
 
        ' Esto dará una excepción de referencia a objeto no establecida,
        ' Porque la segunda expresión se evalua de todas formas,
        ' y esta intentará leer la longitud de un objeto que es NADA.
        If str IsNot Nothing And str.Length <> 0 Then
            ' Blah blah blah
        End If
 
        ' Esto no dará ningún tipo de excepción,
        ' Porque la segunda expresión no se evaluará si la primera no se cumple.
        If str IsNot Nothing AndAlso str.Length <> 0 Then
            ' Blah blah blah
        End If

Saludos

En cuanto la expresión va a dar verdadero seguro, o falso seguro, no evalua el resto. Esto viene de MSDN de Windows.

And Operator (Visual Basic) (http://msdn.microsoft.com/en-us/library/sdbcfyzh.aspx):

Un saludo