c++ - 缠绕式类型转换

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 被作为模板参数包装在类 包装器；令人惊讶的是，包装似乎阻碍了从 B 到 A 的转换。

如果有人能帮我修复第二个代码，那就太好了。

Answer 1

class B源自 class A , 所以每个 B 是一个A并且可以代替它使用。然而，wrapper<A>与wrapper<B>没有关系- 为什么会这样？

考虑这个例子:如果 B 是 A 的儿子，那么 B 的妻子会不会是 A 妻子的儿子(显然不是 - 他们没有亲属关系)。

要完成这样的关系，您需要导出 wrapper<B>来自 wrapper<A> ，这对于 wrapper<> 是不可能的作为模板类。考虑其他方法，您发送 B进入 wrapper<A> 的方法类或类似的(有效，因为它是 A )。