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;
}