一般来说，编译器会找出什么是最好的执行。作为一个程序员，你应该关注可读性。
例如，使用-O3优化的代码将导致condition2仅被计算一次。
如果你的目标是微优化，理论上你可以通过重写代码来避免分支：

...
    else if (condition1) {
        int c2 = condition2, n2 = 1 - c2;
        a = c2 * m;
        b = n2 * m;
        c = c2 * n;
        d = n2 * n;
    }

字符串
它在condition2上没有分支，但更难理解。参见这里：https://godbolt.org/z/ojrP9rf5s。（注意：乘法指令是昂贵的，但比分支错误预测便宜。）

更新：

令人意外的是，@Red.Wave在评论中发布的代码：

...
    else if (condition1) {
        std::tie(a, b, c, d) =
            condition2 ? std::tuple{m, 0, n, 0} : std::tuple{0, m, 0, n};
    }

型
使用-O3优化后，会产生与原始代码相同的汇编输出。参见此处：https://godbolt.org/z/YMMbYPbrj

更新：

为了完整起见，由于a <->b和c <->d是互补的，你也可以这样做：

...
    else if (condition1) {
        a = condition2 ? m : 0;
        b = m - a;
        c = condition2 ? n : 0;
        d = n - c;
    }

型
标签：https://godbolt.org/z/Khr8zfKMq