三元运算符可以抛出异常吗？

Question

有时有一个函数很方便，甚至需要一个语句（返回constexpr时是必要的）。如果需要检查一个条件并且只允许一个语句，则条件运算符是唯一的选择。如果发生错误，最好从条件运算符抛出异常，例如：

template <typename It>
typename std::iterator_traits<It>::reference
access(It it, It end) {
    return it == end? throw std::runtime_error("no element"): *it;
}

但是，当用作 (live example) 时，上述函数无法编译：

std::vector<int> v;
access(v.begin(), v.end());

编译器抱怨试图将非const 引用绑定到临时对象。不过，编译器并没有抱怨 throw-expression 本身。那么问题来了：是否可以从条件运算符中抛出异常，如果可以，上面的代码出了什么问题？

Answer 1

条件运算符在 5.16 [expr.cond] 中描述。它的第 2 段包括以下案文：

第二个或第三个操作数（但不是两者）是 throw-expression (15.1)；结果是对方的类型，是prvalue。

这表示允许从条件运算符抛出异常。但是，即使另一个分支是左值，它也会变成右值！因此，不可能将左值绑定到条件表达式的结果。除了使用逗号运算符重写条件之外，还可以重写代码以仅从条件运算符的结果中获取左值：

template <typename It>
typename std::iterator_traits<It>::reference
access(It it, It end) {
    return *(it == end? throw std::runtime_error("no element"): it);
}

有点棘手的是，从函数返回 const 引用会编译，但实际上会返回对临时的引用！

Answer 2

标准中的措辞大约是 5.16/2：

如果第二个或第三个操作数的类型为 void，则左值到右值 (4.1)、数组到指针 (4.2) 和函数到指针 (4.3) 标准转换将在第二和第三个操作数，并且应满足以下条件之一：

——第二个或第三个操作数（但不是两者）是一个抛出表达式（15.1）；结果是对方的类型，是prvalue。

这解释了你得到的行为。 throw 是合法的，但表达式的类型是 pure-rvalue（即使表达式是 lvalue），因此不能绑定非 const 左值引用

Answer 3

可以这样做：

return it == end? (throw std::runtime_error("no element"),*it): *it;