Question

所以我有一个抽象类，它是使用对象集合的任何访问者的基础：

class visitor
{
  virtual void visit(foo) = 0;
  virtual void visit(bar) = 0;
  virtual void visit(baz) = 0;
  virtual void visit(quux) = 0;
};

但我也将所有这些类型保存在boost::mpl::list：

中

using type_list = boost::mpl::list<
  foo,
  bar,
  baz,
  quux
>;

每当我添加新类型时，必须更新访问者类似乎是一种耻辱......有什么办法可以通过传递type_list来自动生成访问者类吗？

std::enable_if和boost::mpl::find似乎是要走的路，但我不能模拟虚拟方法吗？

Answer 1

您不能使用变量模板虚拟方法，但可以模板化基类：

template<class T> class singleVisitorBase { virtual void visit(T) = 0; };

template<class list> class visitor;
template<class... Ts> class visitor<boost::mpl::list<Ts...>>
    : singleVisitorBase<Ts>... {};

另一种方法是使用递归继承：

template<class list> class visitor;
template<> class visitor<boost::mpl::list<>> {};
template<class T, class... Ts> class visitor<boost::mpl::list<T, Ts...>>
    : singleVisitorBase<T>, visitor<boost::mpl::list<Ts...>> {};

但是，我更喜欢单级多重继承，因为它会生成更清晰的类型层次结构，在调试器中更容易检查。

在其中任何一种情况下都会有一些空间开销，因为visitor将在其vtable中包含n个vtable指针，以允许转换为基类型。空间开销较小但编译时间开销较大的替代方法是使用Boost.Preprocessor通过n生成BOOST_PP_REPEAT - 长度的类体：

template<class list, std::size_t N> class visitorImpl;
#define VISITOR_MAX 32
#define VISITOR_VISIT(z,I,_) \
    virtual void visit(typename boost::mpl::at<list, I>::type) = 0;
#define VISITOR_CLASS(z,N,_) \
template<class list>         \
class visitorImpl<list, N>   \
{                            \
    BOOST_PP_REPEAT(N, VISITOR_VISIT, ) \
};
BOOST_PP_REPEAT(VISITOR_MAX, VISITOR_CLASS, )
template<class list> using visitor
    = visitorImpl<list, typename boost::mpl::size<list>::type::value>;

我可以使用类型列表构建抽象访问者吗？

1 个答案: