c++ - 常量操作数与任何算术运算符的顺序是否会影响优化？

Question

假设我们定义了 const 或 constexpr 并且我们做简单的算术运算符，多次，变量和函数调用不会表达或返回常量.

    #define NU = 3; //Macro or
    const int NU = 3 // general declaration or constexpr
    auto NU = []()constexpr -> int { return 3;}
    int result = 0;

   #Approach one -> const NU on left side of the operator right side could be function call or a function parameter
    for(int i = 0; i< SOME_MAX; ++i) result = NU * foo(); // function call or
    for(int i = 0; i< SOME_MAX; ++i) result = NU * var; // variable

   #Approach two -> const NU on Right side of the operator Left side could be function call or a function parameter
    for(int i = 0; i< SOME_MAX; ++i) result = foo() * NU ;// function call or
    for(int i = 0; i< SOME_MAX; ++i) result = var * NU; // variable

哪种方法会生成优化的汇编 -> 机器代码？

相对于算术运算符，常量操作数位于 LHS 还是 RHS 会影响优化或性能？

注意 - 我在这里用它来描绘我的想法，性能影响或效率低下可以忽略不计，但是，假设使用一组常量进行复杂的数学运算。

谢谢。

Answer 1

应该是一样的。 大多数现代编译器将在编译时评估和传播常量。该理论称为Constant folding或持续传播。

编辑:就哪一方而言，应该没有什么不同。虽然，我认为在定理证明器中，比如 coq，证明 RHS 优化比证明 LHS 优化更困难(或者相反……我忘了。)。