循环比较(优化）

Comparison in loop (optimization)

本文关键字：优化 比较 循环      更新时间：2023-10-16

让我们考虑一下情况：

bool b = checking_some_condition();
for (int i = 0; i < 1000000; ++i)
{
if (b)
do_something(i);
else 
do_something_else(i);
}

编译器将上面的代码优化成这样的东西很明显吗？

if (b)
{
for (int i = 0; i < 1000000; ++i)
do_something(i);
}
else
{
for (int i = 0; i < 1000000; ++i)
do_something_else(i);
}

当然，我只是举例说明目前的情况。我知道检查 bool 值 1000000 次对于性能几乎不明显，但如果我对循环内代码的多种方式进行更复杂的比较，性能的变化可能会很大。特别是如果此代码位于多次调用的函数中。

正如上面的评论中提到的，你不能真正安全地假设编译器会优化什么或不会优化什么。做或不做这些事情是他们的"自由"。

如果你想了解正在发生的事情，最好的方法是查看生成的程序集，这将为你提供客观的方式来争论编译器可能做了什么。 https://godbolt.org/z/W-5Hve 显示了您在上面发布的简单示例。

但是，请尝试使 godbolt 中的示例尽可能逼真，然后检查程序集。即使两个片段将在 godbolt 中产生相同的程序集，以确保这也会发生在您的代码库中，您还需要检查代码库中编译的实现的程序集。

总结一下，我通常做的是：
- 在 godbolt 中尝试一个现实的例子，并使用不同的编译器/标志并更改代码，直到我认为我知道发生了什么。
- 编译我的项目并查看那里的程序集，以尝试再次找到特定函数，以确保我的代码库中的结果相同。

作为额外的一点：objdump -M intel -dC executable将向您展示可执行文件的程序集。

相关文章：