我有一个快速问题，假设我有以下代码，并且类似的方式重复了10次。
if blah then
number = number + 2^n
end if
评估以下哪个更快：
number = number + blah*2^n?
没有一般性的答案，这取决于您的编译器和CPU。现代CPU具有条件移动指令，因此任何操作都是可能的。
唯一的方法是检查产生的汇编代码（通常使用-S编译器选项）和进行测量。
if(blah) number += (1<<n);在C语言中并没有布尔类型，也不需要，false是0，true不是0，所以不能假设非零就是1，这正是你需要的解决方案，也不能假设blah的任何特定位被设置了，例如：
number += (blah&1)<<n;这也不一定起作用，因为任何非零值中清除了第零位的都被视为真。通常情况下，你会发现使用0xFFF...FFFF（减1或全1）表示真，但是你不能依赖于典型情况。 现在，如果你完全控制blah的值，并且将其严格保持为0表示false，1表示true，那么你可以做你想要的事情：
number += blah<<n;并避免分支、额外的高速缓存行填充等潜在问题。 回到通用情况，采用以下通用解决方案：
unsigned int fun ( int blah, unsigned int n, unsigned int number )
{
if(blah) number += (1<<n);
return(number);
}
并编译为两个最流行/使用的平台：
testl %edi, %edi
movl %edx, %eax
je .L2
movl $1, %edx
movl %esi, %ecx
sall %cl, %edx
addl %edx, %eax
.L2:
以上使用了条件分支。
下面的代码使用条件执行，没有分支，没有流水线刷新，是确定性的：
cmp r0,#0 movne r3,#1 addne r2,r2,r3,asl r1 mov r0,r2 bx lr通过重新排列函数调用中的参数，可以节省mov r0,r2指令，但这是学术问题，在正常情况下不会在此上浪费函数调用。 编辑： 如建议所述：
unsigned int fun ( int blah, unsigned int n, unsigned int number )
{
number += ((blah!=0)&1)<<n;
return(number);
}
subs r0, r0, #0 movne r0, #1 add r0, r2, r0, asl r1 bx lr当然更便宜，代码看起来也不错，但我不会假设blah！= 0的结果总是具有lsbit设置为零或编译器定义为真。编译器不必为生成工作代码而设置该位。也许标准规定了true的具体值。通过重新排列函数参数，if（blah）number + = ...也将导致三个单时钟指令，而不做出任何假设。
number += ((blah!=0)&1)<<n; 这个怎么样？ - Simon Wright原始表述：
if Blah then
Number := Number + (2 ** N);
end if;
另一种常见的表达方式，假设Blah是布尔类型和数字类型，N是适当类型：
Number := Number + (Boolean'pos(Blah) * (2 ** N));
N和Number，可能需要适当的定义和类型转换，关键点在于 Boolean'pos()构造，Ada保证为预定义的布尔类型提供0或1。）
至于这是否更快，我同意@Cthutu的看法：
我会使用条件语句。 您不应该担心低级优化细节。 编写最能描述您算法的代码并信任您的编译器。
我建议仍然使用条件语句。你现在不需要担心低级别的优化细节，写出最能描述算法的代码，并相信编译器的能力。在某些CPU上，乘法的速度会很慢（例如ARM处理器，在每个指令上都有一个条件）。你也可以使用?:表达式，这在一些编译器下进行优化效果更好。例如：
number += (blah ? 2^n : 0);
如果由于某些原因，在分析之后发现这个小计算是应用程序的瓶颈，请考虑进行低级别优化。
关于在C语言中的blah*2^n：你有没有理由相信blah只有取0和1两个值？该语言只承诺0和TRUE等价，而其他所有值则等价于TRUE。C允许你将“布尔”临时变量乘以另一个数字，但结果未定义，除非result=0等价于bool为false或数字为零。
在Ada语言中，关于blah*2^n: 该语言没有在布尔类型上定义乘法运算符。因此，blah不能是布尔类型并进行乘法操作。
对于所述问题，C语言中确实有简单的表达式可以产生高效的代码。
第n个2的幂可以使用<<运算符计算，如1 << n，只要n小于一个int中的值位数。
如果blah是一个布尔值，即一个值为0或1的int，你的代码片段可以这样写：
number += blah << n;
blah是可以测试其真值的任何标量类型，如if (blah)，则表达式稍微复杂一些：number += !!blah << n;
number += (blah != 0) << n;。测试仍然存在，但对于现代架构，生成的代码将不会有任何跳转，可以使用 Godbolt的编译器浏览器在线验证。这段代码显示它们的表现相似，但乘法通常略快。
@Test
public void manual_time_trial()
{
Date beforeIfElse = new Date();
if_else_test();
Date afterIfElse = new Date();
long ifElseDifference = afterIfElse.getTime() - beforeIfElse.getTime();
System.out.println("If-Else Diff: " + ifElseDifference);
Date beforeMultiplication = new Date();
multiplication_test();
Date afterMultiplication = new Date();
long multiplicationDifference = afterMultiplication.getTime() - beforeMultiplication.getTime();
System.out.println("Mult Diff : " + multiplicationDifference);
}
private static long loopFor = 100000000000L;
private static short x = 200;
private static short y = 195;
private static int z;
private static void if_else_test()
{
short diff = (short) (y - x);
for(long i = 0; i < loopFor; i++)
{
if (diff < 0)
{
z = -diff;
}
else
{
z = diff;
}
}
}
private static void multiplication_test()
{
for(long i = 0; i < loopFor; i++)
{
short diff = (short) (y - x);
z = diff * diff;
}
}
number = number + blah*2^n
完整的表达式始终需要进行评估，除非编译器足够聪明以在blah为0时停止。如果是这样，您将会得到一个分支，如果blah为0。如果不是，则总是会得到一个昂贵的乘法。如果blah为false，则还会得到不必要的加法和赋值。
在“if then”语句中，当blah为true时，该语句只会执行加法和赋值。
简而言之，在这种情况下，您的问题的答案是“是”。