c++ - 我可以依靠编译器查找和优化简单的 bool 循环不变量吗？

Question

我有一个类似于下面的循环，它有一个不变量，这里是 scaleEveryValueByTwo 的永不改变的值。 我能否依靠编译器发现这个不变性而不在每次迭代中检查条件(基本上编译为类似于底部代码的东西)？

void loadValuesFromDisk(const bool scaleEveryValueByTwo)
{
    std::vector<MyValueType> xs;
    while(fileHasNewValues())
    {
        auto x = loadNextValue();
        if (scaleEveryValueByTwo)
        {
            x *= 2;
        }
        xs.push_back(x);
    }
}

我当然可以手动将它分成两个循环(见下文)或将缩放部分放在一个单独的函数中，但在很多情况下，这会使代码变得更长，而且在我看来更难阅读(例如，如果我有3D 数据所有维度的嵌套循环我将复制所有三行循环标题和最多六行花括号)。

void loadValuesFromDisk(const bool scaleEveryValueByTwo)
{
    std::vector<MyValueType> xs;
    while(fileHasNewValues())
    {
        auto x = loadNextValue();
        xs.push_back(x);
    }

    if (scaleEveryValueByTwo)
    {
        for(auto &x : xs)
        {
            x *= 2;
        }
    }
}

我主要感兴趣的是，如果我可以依靠这种(或者更好的是，强制执行)这种针对常用编译器(如 gcc 或 MSVC)的优化，而不是一些可能缺少大多数编译器中事实上标准的优化的奇异编译器。

Answer 1

以前MSVC编译器中有/Og(全局优化)，现在默认开启。 我的猜测是其他编译器也这样做。

要了解循环优化是如何完成的，请查看下面的链接并搜索“循环优化”

https://learn.microsoft.com/en-us/cpp/build/reference/og-global-optimizations?view=vs-2019

由于这是默认设置，您可以依赖编译器。