此代码的最后一行无法使用castAndTernary.cpp进行编译：15：错误：不同指针类型“D1 *”和“D2 *”之间的条件表达式缺少演员
一个非常聪明的编译器可能没有任何困难,因为两者都可以安全地转换为B *(基类).我不愿意使用static_cast和dynamic_cast等等 – 我担心我有时会混淆这些类,并获得未定义的行为.这就是为什么我创建了up_cast模板.此模板在允许的转换中达到最低限度.有更简单的方法吗？还有其他的解决方法,但我不得不认为有一些甚至可以使用更简单和更安全的东西？
struct B{ };
struct D1 : public B{ };
struct D2 : public B{ };
template<typename T,typename V>
T up_cast(V x) {
return x;
}
int main() {
bool boolean_expression = true;
B * b;
b = new D1;
b = new D2;
b = boolean_expression ? up_cast<B*>(new D1) : up_cast<B*>(new D2);
b = boolean_expression ? new D1 : new D2;
}
g(Ubuntu 4.3.3-5ubuntu4)4.3.3
根据@ Konrad的回答,将更改的名称从implicit_cast更改为up_cast
解决方法
A really smart compiler could have no difficulty because both can be safely casted to
B*
无关紧要.该标准规定了这种行为.一个真正的智能编译器的行为与观察.
使用您的自定义演员实际上是正确的(您不愿意使用显式转换是很好的).然而,我会使用一个不同的名字：upcast – 因为这是发生在这里：在继承层次结构中向上投射.
