用三元运算符抛出答案

【问题标题】：Throwing with the ternary operator用三元运算符抛出
【发布时间】：2016-03-04 08:07:41
【问题描述】：

这样编译：

struct A{};
struct B{};

int main(){
  if(true)
    throw A();
  else
    throw B();  
}

，但是

struct A{};
struct B{};

int main(){
  throw( true ?  A() : B() );
}

不会。

我可以用三元运算符抛出吗？

【问题讨论】：

标签： c++

【解决方案1】：

A 和 B 是不同的、不兼容的类型，因此表达式 true ? A() : B() 是错误类型的（它必须是 A 或 B）。

【讨论】：

【解决方案2】：

三元运算符需要在两条路径上具有相同的类型（或可转换为相同类型的东西），否则编译器无法推断类型安全。

【讨论】：

【解决方案3】：

如果条件运算符有结果，则类型需要以某种方式兼容。如果类型不兼容，您仍然可以从三元运算符中抛出：

condition? throw A(): throw B();

虽然我尝试的所有编译器都编译了上述语句，但它似乎是非法的：根据 5.16 [expr.cond] 第 2 段，第一个项目符号“第二个或第三个操作数（但不是两者）是) 抛出表达式 (15.1); ..."。为了应对这种限制，可以使用类似

的东西

condition? (throw A()), true: throw B()

【讨论】：