Проверка соответствия между if (false) {} else {if (false) {}} и if (false) {} else if (false) {}

Question

Пожалуйста, помогите проверить эффективность между двумя блочными кодами ниже. Я не могу думать, что оба они одинаковы во время выполнения (см. Элемент фигуры и одно и то же условие).

 
// Block I 
    if(condition1) 
    { 
     // Do something 
    } 
    else 
    { if(condition2) 
     { 
      // Do something 
     } 
     else 
     { if(condition3) 
      { 
       // Do something 
      } 
      else 
      { if(condition4) 
       { 
        // Do something 
       } 
      } 
     } 
    } 

    //-------------------------------- 
    // Block II 
    if(condition1) 
    { 
     // Do something 
    } 
    else if(condition2) 
    { 
     // Do something 
    } 
    else if(condition3) 
    { 
     // Do something 
    } 
    else if(condition4) 
    { 
     // Do something 
    } 

Помогите мне!

Answer 1

Предполагая язык является C (вы не указали), то вы можете убедиться, что ваши два сниппеты генерировать точно тот же код, сравнивая выходной сборки НКУ:

#!/bin/bash 
diff <(gcc -O0 -S -o - -x c - <<EOF 
extern int condition1(); 
extern int condition2(); 
extern int condition3(); 
extern int condition4(); 
extern void do_something1(); 
extern void do_something2(); 
extern void do_something3(); 
extern void do_something4(); 

void main() { 
    if(condition1()) 
    { 
     do_something1(); 
    } 
    else 
    { if(condition2()) 
     { 
      do_something2(); 
     } 
     else 
     { if(condition3()) 
      { 
       do_something3(); 
      } 
      else 
      { if(condition4()) 
       { 
        do_something4(); 
       } 
      } 
     } 
    } 
} 
EOF 
) <(
gcc -O0 -S -o - -x c - <<EOF 
extern int condition1(); 
extern int condition2(); 
extern int condition3(); 
extern int condition4(); 
extern void do_something1(); 
extern void do_something2(); 
extern void do_something3(); 
extern void do_something4(); 

void main() { 
    if(condition1()) 
    { 
     do_something1(); 
    } 
    else if(condition2()) 
    { 
     do_something2(); 
    } 
    else if(condition3()) 
    { 
     do_something3(); 
    } 
    else if(condition4()) 
    { 
     do_something4(); 
    } 
} 
EOF 
) 

Это создает NO вывода (вы можете доказать, что тест действителен (например), удалив последнее условие из одной из функций и наблюдая, что теперь он показывает разницу).

Поскольку выход для ассемблера идентичен для двух блоков, вы можете определить, что характеристики производительности должны быть одинаковыми.