C++ CRTP clonable类的协变类型无效
我正试图用CRTP实现一个可关闭的类。但是，我需要有一个抽象类，它有一个由子类重写的纯虚拟克隆方法。为了实现这一点，我需要克隆函数返回协变返回类型。我在下面编写了这段代码，编译器向我大喊这个错误：C++ CRTP clonable类的协变类型无效,c++,multiple-inheritance,crtp,cloneable,covariant,C++,Multiple Inheritance,Crtp,Cloneable,Covariant,我正试图用CRTP实现一个可关闭的类。但是，我需要有一个抽象类，它有一个由子类重写的纯虚拟克隆方法。为了实现这一点，我需要克隆函数返回协变返回类型。我在下面编写了这段代码，编译器向我大喊这个错误： main.cpp:12:5: error: return type of virtual function 'clone' is not covariant with the return type of the function it overrides ('B *' is not derived
main.cpp:12:5: error: return type of virtual function 'clone' is not covariant with the return type of the function it overrides ('B *' is not derived from 'AbstractClonable *')
struct AbstractClonable {
virtual AbstractClonable* clone() const = 0;
};
template<typename T>
struct Clonable : virtual AbstractClonable {
T* clone() const override {
return new T{*dynamic_cast<const T*>(this)};
}
};
struct A : virtual AbstractClonable {
};
struct B : A, Clonable<B> {
};
struct AbstractClonable{
虚拟抽象克隆*clone（）常量=0；
};
模板
结构可克隆：虚拟抽象可克隆{
T*clone（）常量重写{
返回新的T{*dynamic_cast（this）}；
}
};
结构A：虚拟抽象可克隆{
};
结构B:A，可克隆{
};
T*clone（）常量覆盖{
返回新的T{*dynamic_cast（this）}；
}
返回B*而不是AbstractClonable*我认为问题在于
T*clone（）常量覆盖{
返回新的T{*dynamic_cast（this）}；
}
返回B*，而不是AbstractClonable*，即使
BClonableClonableB* clone() const override
AbstractClonable:：clone（）BAbstractClonableBClonableClonable* clone() const override
Clonabletemplate<typename T>
T* clone(const T* object)
{
return static_cast<T*>(object->clone());
}
模板
T*克隆（常数T*对象）
{
返回静态_cast（对象->克隆（））；
}
相关：即使
BClonableClonableB* clone() const override
AbstractClonable:：clone（）BAbstractClonableBClonableClonable* clone() const override
Clonabletemplate<typename T>
T* clone(const T* object)
{
return static_cast<T*>(object->clone());
}
模板
T*克隆（常数T*对象）
{
返回静态_cast（对象->克隆（））；
}
相关：是的，
BAbstractClonableClonableBD:：fB:：fD:：fD:：fD类抽象可克隆{
受保护的：
虚拟抽象克隆*do_clone（）常量=0；
公众：
AbstractClonable*克隆（）常量{
返回do_clone（）；
}
};
模板
类Clonable:公共虚拟抽象Clonable{
Clonable*do_clone（）const override{//避免在此声明中使用T。
返回新的T{*dynamic_cast（this）}；
}
公众：
T*clone（）常量{//但是在这里，它是可以的。
返回static_cast（do_clone（））；
}
};
BAbstractClonableClonableBD:：fB:：fD:：fD:：fD类抽象可克隆{
受保护的：
虚拟抽象克隆*do_clone（）常量=0；
公众：
AbstractClonable*克隆（）常量{
返回do_clone（）；
}
};
模板
类Clonable:公共虚拟抽象Clonable{
Clonable*do_clone（）const override{//避免在此声明中使用T。
返回新的T{*dynamic_cast（this）}；
}
公众：
T*clone（）常量{//但是在这里，它是可以的。
返回static_cast（do_clone（））；
}
};