将成员函数添加到Boost.Variant

Question

在我的C++库中,我有一个类型boost::variant<A,B>和许多算法将此类型作为输入.而不是成员函数我在这种类型上有全局函数,比如void f( boost::variant<A,B>& var ).我知道这也可以通过模板实现,但这不适合我的设计.

这种编程风格我很好:

boost::variant<A, B> v;
f( v );

但是这个库的一些用户不习惯它,并且由于Boost.Variant概念被类型定义隐藏,他们感觉就像在调用v.f().

为了实现这一点,我可以想到两种可能性:1)重写boost::variant和2)重新实现boost::variant和添加我自己的成员函数.我不确定这些想法是否合适.你能帮我个忙吗？还有其他可能吗？

Answer 1

另一种可能性:使用聚合.然后,你不直接暴露boost.variant到图书馆的用户,让您的方式为今后的改进更多的自由,并且可以通过显著量简化一些调试任务.

一般建议:聚合比继承更紧密耦合,因此默认情况下更好,除非您知道一个用例,您明确希望将对象实例传递给仅使用变体的现有函数.甚至基本类应该考虑到继承.

问题聚合的示例:据我所知,自由函数已经存在,并采用了一种变体.只需使用变量的唯一数据成员定义一个类,并提供公共成员函数,这些函数除了使用成员变量调用已存在的自由函数之外什么都不做,比如

class variant_wrapper {
  boost::variant<A,B> m_variant;
public:
  variant_wrapper(...) : m_variant(...) {} // whatever c_tor you need.
  void f() {  f(m_variant); }
};

使用这种方法,你抽象出你正在使用boost.variant进行实现的事实(你已经通过库用户的typedef来做),让你可以自由地改变它(用于优化或功能扩展或其他),您可以决定使值不可变,有一个更简单的方法来调试对算法的访问等等.

聚合的缺点是你不能只是将包装器传递给static_visitor,但是由于你的用户不知道有一个变体,并且你知道只是传递成员变量,我在这里看不到一个大问题.

最后的咆哮:C++不是Java.你需要修复库的用户......

你想要的是C#扩展方法; C++中不存在这样的东西.但是,我不会重新实现/实现复制boost.variant(维护负担),我不会继承它.尽可能使用聚合.