我有一个类似于下面的循环，它有一个不变量，这里是scaleEveryValueByTwo的永不改变的值。我能否依靠编译器发现这个不变性而不在每次迭代中检查条件(基本上编译为类似于底部代码的东西)？voidloadValuesFromDisk(constboolscaleEveryValueByTwo){std::vectorxs;while(fileHasNewValues()){autox=loadNextValue();if(scaleEveryValueByTwo){x*=2;}xs.push_back(x);}}我当然可以手动将它分成两个循环(见下文)或将缩放部分放在一个单独的