带有 void 类型分支的三元运算符

Question

在返回 void 的函数中使用三元运算符是否安全？像这样的：

void foo1(){}
void foo2(){}

//////////////

bool to_use_1 = ....;
to_use_1 ? foo1() : foo2();

编译器可以删除这段代码吗？假设它将这些函数视为纯函数，并执行删除这些调用的积极优化

Answer 1

首先，编译器将/不应该在逻辑上“删除”任何具有可观察效果的调用（copy elision 除外）。无论优化模式多么激进，这根本就不是它被允许做的事情。

事实上，C++ 标准明确允许条件运算符的操作数的结果为void，因此这是预期且安全的。但是，它必须是两者。

[C++14: 5.16/1]: 条件表达式从右到左分组。第一个表达式根据上下文转换为 bool（第 4 条）。 求值，如果为真，则条件表达式的结果为第二个表达式的值，否则为第三个表达式的值。仅计算第二个和第三个表达式中的一个。 与第一个表达式关联的每个值计算和副作用都在与第二个或第三个表达式关联的每个值计算和副作用之前排序。

[C++14: 5.16/2]: 如果第二个或第三个操作数的类型为void，则应满足以下条件之一：

• 第二个或第三个操作数（但不是两者）是一个（可能带括号的）throw-expression (15.1)；结果是对方的类型和值类别。

• 第二个和第三个操作数的类型都是void；结果是void 类型并且是prvalue。 [ 注意： 这包括两个操作数都是throw-expressions 的情况。 ——尾注]

从技术上讲，这个措辞（在其谈论“值”时）并没有完全说明 恰好第二个和第三个表达式之一被评估，即使这些评估没有“价值” .但从分析的角度来看，这基本上是无可争辩的。 可能这里有一个编辑改进的案例。

请注意，这些都不能保证您的计算机在执行期间实际上会跳转到foo1 或foo2；在您给出的具体示例中，编译器可以立即看到这两个函数都是空的，并优化掉了整行代码。但这不会影响程序的语义，也不是特定于条件运算符的使用。