模板层次结构中的可选虚拟函数，具体取决于参数

optional virtual function in template hierarchy depending on parameter

本文关键字：函数 参数 取决于 虚拟 层次结构      更新时间：2023-10-16

我有一个模板层次结构，我希望它具有clone()功能，具体取决于模板类型是否可复制构造。作为第一步，我想从其他参数bool Clonable开始：

template<class T, bool Clonable>
class Base {
T t;
void foo();
virtual void bar();
virtual unique_ptr<Base> clone() const = 0; //should be only for Clonable=true
};
template<class T, bool Clonable>
class Derived : public Base<T, Clonable> {
virtual void bar() override;
virtual unique_ptr<Base> clone() const override; ////should be only for Clonable=true
};

不幸的是，虚函数的实例化并不取决于它们是否被调用。所以我想我应该选择部分专业化。但是，直接的方法会导致大量的代码重复。谁能推荐以最少的代码重复实现这一目标的方法？

不幸的是，与这里的一些评论相反，SFINAE 在这里无法为您提供帮助。这是因为模板类的非模板成员不被视为模板，因此不能被 SFINAE 输出：http://coliru.stacked-crooked.com/a/258e20a0293d93f0。解决此问题的标准方法通常是以微不足道的方式使其成为模板：

template <class U = T, std::enable_if ... >
virtual std::unique_ptr<Base> clone() const = 0;

但是虚拟函数不能是模板，所以这不起作用。

在这种情况下，避免重复的方法是从有条件地具有成员的类继承：

template <class Base, bool Cloneable>
struct CloneInterface;
template <class Base>
struct CloneInterface<Base, false> {};
template <class Base>
struct CloneInterface<Base, true> {
virtual unique_ptr<Base> clone() const = 0;
}

现在你只是继承：

template<class T, bool Clonable>
class Base : CloneInterface<Base<T, Clonable>, Clonable> {
T t;
void foo();
virtual void bar();
};

请注意，我们继承自在派生上模板化的基类(有问题的派生类称为Base，以使事情更加混乱：-))。这种技术称为CRTP，它非常强大，因为它可以将接口和实现注入到类中，并且如您所见，也可以有条件地这样做。

为了获得实现，我们再次使用 CRTP：

template <class T, bool Clonable, class D>    
struct BaseHelper;
template <class T, class D>    
struct BaseHelper<T, false, D> : Base<T, false> {};
template <class T, class D>    
struct BaseHelper<T, true, D> : Base<T, true> {
unique_ptr<Base<T, true>> clone() override { return make_unique<D>(static_cast<D&>(*this)); }
};
template<class T, bool Clonable>
class Derived : public BaseHelper<T, Clonable, Derived<T, Clonable>> {
virtual void bar() override;
};
相关文章：