如何实现基本型(在变访客)模板C ++?
题
我曾尝试读:
http://www.boost.org/doc/libs/1_41_0/boost/variant.hpp
http://www.codeproject.com/KB/cpp/TTLTyplist.aspx
and chapter 3 of "Modern C++ Design"
但还是不明白的变体是如何实现的。任何人都可以粘贴如何定义像短示例:
class Foo {
void process(Type1) { ... };
void process(Type2) { ... };
};
Variant<Type1, Type2> v;
v.somethingToSetupType1 ...;
somethingToTrigger process(Type1);
v.somethingToSetupType2 ...;
somethingToTrigger process(Type2);
谢谢!
解决方案
如果我不得不限定的变体的对象,我可能用下面的开始:
template<typename Type1, typename Type2>
class VariantVisitor;
template<typename Type1, typename Type2>
class Variant
{
public:
friend class VariantVisitor<Type1, Type2>;
Variant();
Variant(Type1);
Variant(Type2);
// + appropriate operators =
~Variant(); // deal with memory management
private:
int type; // 0 for invalid data, 1 for Type1, 2 for Type2
void* data;
};
template<typename Visitor, typename Type1, typename Type2>
class VariantVisitor
{
private:
Visitor _customVisitor;
public:
void doVisit(Variant<Type1, Type2>& v)
{
if( v.type == 1 )
{
_customVisitor( *(Type1*)(v.data));
}
else if( v.type == 2 )
{
_customVisitor( *(Type2*)(v.data));
}
else
{
// deal with empty variant
}
}
};
template<typename Visitor, typename Type1, typename Type2>
void visit( Visitor visitor, Variant<Type1, Type2> v )
{
VariantVisitor<Visitor, Type1, Type2>(visitor).doVisit(v);
}
然后使用 MPL矢量一>后,方法工作的不仅仅是两种不同类型的
在最后,你可以写这样的:
Variant<Type1, Type2> v;
class MyVisitor
{
public:
operator()(Type1);
operator()(Type2);
};
MyVisitor visitor;
v = Type1();
visit(visitor, v);
v = Type2();
visit(visitor, v);
注:有没有机会此代码编译,但这种描述我会用意念
其他提示
我觉得你是问如何的使用的变种,而不是如何的实施的他们。你可能想看看提升对变种;这会比看着头文件更有帮助。
然后你的例子可能是这个样子:
class v_visitor : public boost::static_visitor
{
public:
void operator()(Type1 &t) const {...}
void operator()(Type2 &t) const {...}
};
v = Type1(...);
boost::apply_visitor(v_visitor(), v);
不隶属于 StackOverflow