含基类与const派生类的条件运算符表达式编译失败原因探究

你的代码编译失败的核心原因是对C++条件运算符的类类型转换规则理解有误，并非编译器bug。

核心规则梳理 #

对于类类型的操作数，条件运算符的目标类型推导逻辑是：

1. 尝试将两个操作数互相转换为对方的类型；
2. 若只有一个方向的转换可行，则目标类型为该转换的结果类型；
3. 若两个方向都不可行或都可行，则编译报错。

你引用的标准条款(4.3.2)，仅适用于无需用户定义转换的直接基类/派生类转换场景（比如指针、引用类型的转换），不适用于值类型的复制构造场景。

你的案例拆解 #

报错案例：true ? X() : CY() #

两个操作数分别是X类型纯右值和const Y类型纯右值：

• 把X()转换为const Y：需要Y类提供接受X的构造函数，这里没有，转换失败；
• 把CY()转换为X：需要先将const Y隐式转换为const X&（派生类到基类的标准转换），再调用X的复制构造函数生成X对象——这是一个包含用户定义转换的序列，条件运算符的重载解析不会将这种多步转换视为可行的隐式转换，因此转换失败。

由于两个方向的转换都不可行，编译器报错类型不匹配。

可编译案例解析 #

1. true ? CX() : CY()：
   CX是const X，CY是const Y。const Y可以直接隐式转换为const X&（标准转换），再复制构造const X对象，这个转换序列是条件运算符允许的，因此目标类型为const X，编译通过。

2. true ? CX() : Y()：
   Y可以隐式转换为const X&（标准转换），再复制构造const X对象，转换可行，目标类型为const X，编译通过。

结论 #

你引用的标准条款不适用于值类型的复制构造场景，条件运算符对类类型的转换要求更严格，仅接受直接的、无用户定义转换的隐式转换序列。你的代码编译失败符合C++标准规则，并非编译器bug。

内容的提问来源于stack exchange，提问作者Sneed Deens