boost的variant库类似于联合体,但是联合体中只能接受POD类型,但variant中并无此限制,它可以接受任意的类型.
boost::variant <int, std::string , double> u;
u = 4;
int i = boost:: get<int >(u);
std::cout << "int : " << i << std ::endl;
u = "hello world!" ;
std::string s = boost::get <std:: string>(u );
std::cout << "string : " << s << std ::endl;
u = 1.2;
double d = boost:: get<double >(u);
std::cout << "double : " << d << std ::endl;
输出:
int : 4
string : hello world!
double : 1.2
string : hello world!
double : 1.2
要获取variant中的值时,一定要知道当前类型,并由get操作进行获取相应的值,如果转型失败,会抛出bad_get异常,get操作时运行时检测,我们可以通过检测get返回值来进行判断转型是否成功如下:
void printer (boost:: variant<int , std:: string, double >& u)
{
if (int *pi = boost::get <int>(& u))
{
std::cout << "int : " << * pi << std ::endl;
}
else if (std:: string *ps = boost:: get<std ::string>(& u))
{
std::cout << "string : " << * ps << std ::endl;
}
else if (double * pd = boost ::get< double>(&u ))
{
std::cout << "double : " << * pd << std ::endl;
}
}
通过printer函数中我们为get传进去的是variant的地址,返回如果是NULL的话则转型失败,进行下一个转型操作,依次来判断数据类型.可以看到通过get操作不仅需要知道需要转型的类型,而且还要在运行时判断转型是否成功,boost提供了编译时类型检测的安全访问方式,通过apply_visitor进行访问.
class printer_visitor : public boost::static_visitor <void>
{
public:
void operator ()(int i) const
{
std::cout << "int : " << i << std ::endl;
}
void operator ()(std:: string& s ) const
{
std::cout << "string : " << s << std ::endl;
}
void operator ()(double d) const
{
std::cout << "double : " << d << std ::endl;
}
};
int main ()
{
boost::variant <int, std::string , double> u;
printer_visitor visitor ;
u = 4;
boost::apply_visitor (visitor, u);
u = "hello world!" ;
boost::apply_visitor (visitor, u);
u = 1.2;
boost::apply_visitor (visitor, u);
}
我们定义一个variant时,如果我们没有给它赋任何值时,是不是他就是空呢?boost文档中"Never-Empty" Guarantee.也就是即使我们没有初始化,他也不会是空,默认的类型是我们模板参数的第一个,上例中默认的类型也就是int,值是0.
我们还可以将variant作为容器的元素例如:
std::vector <boost:: variant<int , std:: string, double > > v;
v.push_back (4);
v.push_back ("hello world!");
v.push_back (1.2);
std::for_each (v. begin(), v .end(), boost::apply_visitor (printer_visitor()));