一直想知道C++标准库有没有类似Qt下QVariant功能的类。整理了下网上关于这部分的说法：

1. std::variant 的实现是 C++17的, 使用需要考虑编译器的支持

2. _variant_t 这个在 comutil.h 文件内,  应该主要是windows 下的解决方案.。.

3.boost variant 和 boost any  麻烦的是需要引用boost库.

4. 在了就是自己编写，或者把boost等其他第三方库中关于这部分的分离出来单独使用

参考：http://bbs.csdn.net/topics/392042283

http://www.jb51.net/article/42985.htm       

以下为别人写的一个实现

variant类似于union，它能代表定义的多种类型，允许将不同类型的值赋给它。它的具体类型是在初始化赋值时确定

复制代码代码如下:

typedef variant<int,char, double> vt;
vt v = 1;
v = '2';
v = 12.32;

复制代码代码如下:

template<typename T, typename... Args>
struct MaxType : std::integral_constant<int,
(sizeof(T)>MaxType<Args...>::value ? sizeof(T) : MaxType<Args...>::value) >

{};

template<typename T>
struct MaxType<T> : std::integral_constant<int, sizeof(T) >{};

复制代码代码如下:

template < typename T, typename... List >
struct Contains : std::true_type {};

template < typename T, typename Head, typename... Rest >
struct Contains<T, Head, Rest...>
    : std::conditional< std::is_same<T, Head>::value, std::true_type,

Contains<T, Rest...>>::type{};

template < typename T >
struct Contains<T> : std::false_type{};

复制代码代码如下:

template<typename... Args>
struct VariantHelper;

template<typename T, typename... Args>
struct VariantHelper<T, Args...> {
inline static void Destroy(type_index id, void * data)
{
if (id == type_index(typeid(T)))
((T*) (data))->~T();
else
VariantHelper<Args...>::Destroy(id, data);
}
};

template<> struct VariantHelper<>  {
inline static void Destroy(type_index id, void * data) { }
};

复制代码代码如下:

#include <typeindex>
#include <iostream>
#include <type_traits>
using namespace std;

template<typename T, typename... Args>
struct MaxType : std::integral_constant<int,
(sizeof(T)>MaxType<Args...>::value ? sizeof(T) : MaxType<Args...>::value) >

{};

template<typename T>
struct MaxType<T> : std::integral_constant<int, sizeof(T) >{};

template < typename T, typename... List >
struct Contains : std::true_type {};

template < typename T, typename Head, typename... Rest >
struct Contains<T, Head, Rest...>
: std::conditional< std::is_same<T, Head>::value, std::true_type, Contains<T,

Rest...>>::type{};

template < typename T >
struct Contains<T> : std::false_type{};

template<typename... Args>
struct VariantHelper;

template<typename T, typename... Args>
struct VariantHelper<T, Args...> {
inline static void Destroy(type_index id, void * data)
{
if (id == type_index(typeid(T)))
((T*) (data))->~T();
else
VariantHelper<Args...>::Destroy(id, data);
}
};

template<> struct VariantHelper<>  {
inline static void Destroy(type_index id, void * data) { }
};

template<typename... Types>
class Variant
{
typedef VariantHelper<Types...> Helper_t;
public:

Variant(void) :m_typeIndex(typeid(void))
{
}

~Variant()
{
Helper_t::Destroy(m_typeIndex, &m_data);
}

template<typename T>
bool Is()
{
return (m_typeIndex == type_index(typeid(T)));
}

template<typename T>
T& Get()
{
if (!Is<T>())
{
cout << typeid(T).name() << " is not defined. " << "current type is " <<

m_typeIndex.name() << endl;
throw std::bad_cast();
}

return *(T*) (&m_data);
}

template <class T, 
    class = typename std::enable_if<Contains<typename

std::remove_reference<T>::type, Types...>::value>::type>
    Variant(T&& value) : m_typeIndex(type_index(typeid(T)))
    {
        Helper_t::Destroy(m_typeIndex, &m_data);
        typedef typename std::remove_reference<T>::type U;
        new(m_data) U(std::forward<T>(value));
    }

private:
char m_data[MaxType<Types...>::value];
std::type_index m_typeIndex;
};

复制代码代码如下:

void TestVariant()
{
    typedef Variant<int, char, double> cv;
    int x = 10;

cv v =x;
    v = 1;
    v = 1.123;
    v = "";//compile error
    v.Get<int>(); //1
    v.Get<double>(); //1.23
    v.Get<short>(); //exception: short is not defined. current type is

int.
    v.Is<int>();//true
}