删除C中的其他语句是否更有效？

Question

该代码之间的编译器是否有任何区别：

if(something == true) {return -1}
else {return 0}

和该代码：

if(something == true) {return -1}
return 0;

编译器是否对这些代码进行不同的解释，如果是这样，则第二个示例在C中会更有效吗？

Answer 1

这两个程序片段也这样做。 C编译器可以自由生成不同的（较慢或更快）代码，只要它相同。大多数C编译器将生成相同的代码，因为它们首先构建相同的中间表示形式，然后从中生成代码。

Answer 2

通常，任何现代编译器都应为诸如此类的琐碎示例生成相同的机器代码。只需观看任何编译器（例如GCC）的拆卸，启用优化并亲自查看即可。 ：

#include <stdbool.h>

int example1 (bool something)
{
  if(something == true) 
    return -1;
  else 
    return 0;
}

int example2 (bool something)
{
  if(something == true) 
    return -1;
  return 0;
}

int example3 (bool something)
{
  return something==true ? -1 : 0;
}

int example4 (bool something)
{
  for(int i=something; i!=false; i++)
  {
    if(i)
      return -1;
  }
  return 0;
}

https://godbolt.org/z/1kxxxsbj9s

示例 同一机器代码，甚至是人为的示例4：

    movzx   eax, dil
    neg     eax
    ret

也就是说，抓住输入参数并将其替换为两者的补充（neg），意思是1 - ＆gt; -1或0 - ＆gt; 0。

优化器还没有生成任何分支（条件执行路径），这会使所有高端CPU上的代码较慢。

因此，使用哪种形式主要是一种样式问题。各种安全标准（ISO 61508，ISO 26262，MISRA C等）在一个功能中倾向于在多个返回上皱眉，因此，如果您关心的话，xpecond> example3 可能可能实际上是最好的。