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