从模板基类派生的类的隐式转换

Question

我遇到了隐式转换、模板和模板类继承的问题。以下是我从我的项目中提取的内容，我遗漏了一些类甚至是抽象的，但这与案例无关。

class A {};
class B : public A {};

template <typename T> class Base {};
class Derived : public Base<B> {};

int main() {
    Derived d;
    Base<A>* base = new Derived();
}

基本上，我有一个模板基类 Base，从中派生 Derived : public Base。然后我必须将其转换为 Base 最常见的形式，即 Base。

我本以为我可以将从 Base 派生的对象隐式转换为 Base，因为 B 派生自 A。我是否做错了什么或者我如何隐式地投射它？这很重要，因为我需要在 Base 方法中接受所有类型的派生类作为参数。

提前致谢。

Answer 1

这是不可能的。无论 A 和 B 之间的关系如何，Base 与 Base 都没有关系。

Answer 2

Base 不一定需要与 Base 有关系。这与 Derived 没有任何关系。如果你想强制建立这样的关系，你将需要一个模板化的构造函数。

template <typename T>
class Base
{
    template <typename TOther>
    Base(const TOther& that)
    {
        // ...
    }
    // ...
};

显然，实现必须取决于Base 的实际实现。请注意，此构造函数不会替代普通的复制构造函数。