c++17 中的 variant

c++17标准中引入了variant来作为union的类型安全替代品。它可以在任意时间保存模板参数列表中某一类型的值或者空值。
与union一样，如果某一variant保存类型T的一个值，那么T的对象被直接分配在variant的内部。variant不能在动态内存分配方式中使用。
variant不可存放引用，数组或是void值。空varaint是错误的用法（应该用std::variant<std::monostate>取代）。
与union一样，vairant默认初始化为它模板类型列表中第一个值，除非该项无法默认构造（若默认构造函数无法编译，辅助类std::momostate可用来使variant成为默认可构造的）

variant 的用法如下：

//define
std::variant<int, double, std::wstring> var1{ 1.0 };
std::variant<int, double, std::wstring> var2{ L"2" };
std::variant<int, std::wstring> var3{ 3 };

//assign
var2 = L"abc";
var1 = L"str1";
var2.emplace<int>(1);
std::wcout << L"the var1 = " << std::get<std::wstring>(var1) << std::endl;
std::wcout << L"the var2 = " << std::get<0>(var2) << std::endl;

//swap
std::swap(var1, var2);

//determine the type of variant
if (var2.index() == 2) {
//it's wstring type
std::wcout << L"var2 is wstring type" << std::endl;
}
var1 = 100;
if (std::holds_alternative<int>(var1)) {
std::wcout << L"var1 is " << typeid(int).name() << std::endl;
}

//get type by index of variant 
std::variant_alternative<2, decltype(var1)>::type val{ L"123" };

// get value
var1 = 1;
std::wcout << L"var1 = " << std::get<int>(var1) << std::endl;

var2 = L"2";
std::wcout << L"var2 = " << std::get<2>(var2) << std::endl;

if (auto pV = std::get_if<int>(&var3)){
std::wcout << L"var3 = " << *pV << std::endl;
}