包裹式铸造

Question

谁能帮我理解为什么这段代码会编译：

class A {};

class B : public A {};

void foo( A ) {}


int main() {
  B b;

  foo( b );
}

但这不是：

class A {};

class B : public A {};

template< typename T >
class wrapper {};

void foo( wrapper<A> ) {}

int main() {
  wrapper<B> b;

  foo( b );
}

第二个代码（即不编译的代码）的唯一区别是A 和B 类被包装为wrapper 类中的模板参数；令人惊讶的是，包装似乎阻碍了从B 到A 的转换。

如果有人可以帮助我修复第二个代码，那也很棒。

Answer 1

class B 派生自class A，因此每个B 是一个A 并且可以在其位置使用。但是，wrapper<A> 与 wrapper<B> 没有关系 - 为什么会这样？

考虑这个例子：如果 B 是 A 的儿子，那么 B 的妻子会是 A 的妻子的儿子吗（显然不是 - 他们没有关系）。

要完成这样的关系，您需要从wrapper<A> 派生wrapper<B>，而wrapper<> 是模板类，这是不可能的。考虑其他方法，将B 发送到wrapper<A> 类或类似类的方法中（有效，因为它是 A）。