if（a<901）是否比if（a<=900）快？
与这个简单示例中的情况不同，但循环复杂代码的性能略有变化。我想这需要对生成的机器代码进行一些处理，以防它是真的。
当前回答
我认为两者都不快。编译器在每个条件下生成具有不同值的相同机器代码。
if(a < 901)
cmpl $900, -4(%rbp)
jg .L2
if(a <=901)
cmpl $901, -4(%rbp)
jg .L3
我的示例if来自Linux上x86_64平台上的GCC。
编译器编写者是非常聪明的人，他们认为这些事情以及我们大多数人认为理所当然的其他事情。
我注意到，如果它不是常数，那么在这两种情况下都会生成相同的机器代码。
int b;
if(a < b)
cmpl -4(%rbp), %eax
jge .L2
if(a <=b)
cmpl -4(%rbp), %eax
jg .L3
其他回答
在C和C++中，编译器的一个重要规则是“仿佛”规则：如果执行X的行为与执行Y的行为完全相同，那么编译器可以自由选择使用哪一个。
在您的情况下，“a<901”和“a<=900”总是具有相同的结果，因此编译器可以自由编译任一版本。无论出于什么原因，如果一个版本更快，那么任何高质量的编译器都会为更快的版本生成代码。因此，除非您的编译器生成异常糟糕的代码，否则两个版本的运行速度将相等。
现在，如果你有一种情况，两位代码总是会产生相同的结果，但编译器很难证明，和/或编译器很难证实哪个版本更快，那么你可能会得到不同的代码以不同的速度运行。
PS如果处理器支持单字节常量（更快）和多字节常量（更慢），则原始示例可能以不同的速度运行，因此与255（1字节）进行比较可能比与256（2字节）进行对比更快。我希望编译器做任何更快的事情。
只有当制造计算机的人不擅长布尔逻辑的时候。他们不应该这样。
每个比较（>=<=><）都可以以相同的速度进行。
每一次比较都只是一次减法（差值），看看它是正还是负。（如果设置了msb，则数字为负数）
如何检查a>=b？Sub a-b>=0检查a-b是否为正。如何检查a<=b？Sub 0<=b-a检查b-a是否为正。如何检查a<b？Sub a-b<0检查a-b是否为负。如何检查a>b？Sub 0>b-a检查b-a是否为负。
简单地说，对于给定的操作，计算机可以在引擎盖下面执行以下操作：
a>=b==msb（a-b）==0a<=b==msb（b-a）==0a>b==msb（b-a）==1a<b==msb（a-b）==1
当然，计算机实际上也不需要执行==0或==1。对于==0，它可以将电路中的msb反相。
无论如何，他们肯定不会将a>=b计算为a>b||a==b lol
对于浮点代码，甚至在现代体系结构上，<=比较可能确实会慢一些（一条指令）。这是第一个函数：
int compare_strict(double a, double b) { return a < b; }
在PowerPC上，首先执行浮点比较（更新条件寄存器cr），然后将条件寄存器移动到GPR，将“比较小于”位移位到位，然后返回。它需要四个指令。
现在考虑一下这个函数：
int compare_loose(double a, double b) { return a <= b; }
这需要与上面的compare_strict相同的工作，但现在有两个有趣的位：“小于”和“等于”。这需要一个额外的指令（cror-condition寄存器逐位OR）将这两个位组合为一。因此，compare_sloose需要五条指令，而compare_sstrict需要四条指令。
您可能认为编译器可以这样优化第二个函数：
int compare_loose(double a, double b) { return ! (a > b); }
然而，这将错误地处理NaN。NaN1<=NaN2和NaN1>NaN2都需要评估为假。
也许那本无名书的作者读到a>0比a>=1跑得更快，并认为这是普遍正确的。
但这是因为涉及0（因为CMP可以根据体系结构，例如用OR替换），而不是因为<。
我认为两者都不快。编译器在每个条件下生成具有不同值的相同机器代码。
if(a < 901)
cmpl $900, -4(%rbp)
jg .L2
if(a <=901)
cmpl $901, -4(%rbp)
jg .L3
我的示例if来自Linux上x86_64平台上的GCC。
编译器编写者是非常聪明的人，他们认为这些事情以及我们大多数人认为理所当然的其他事情。
我注意到，如果它不是常数，那么在这两种情况下都会生成相同的机器代码。
int b;
if(a < b)
cmpl -4(%rbp), %eax
jge .L2
if(a <=b)
cmpl -4(%rbp), %eax
jg .L3
