`std::variant<Types...>` (C++17) là gì? Khác `union` thế nào?

std::variant<int, double, std::string> v;
v = 42;          // giữ int
v = 3.14;        // giữ double
v = "hello";     // giữ string

// Truy cập:
std::cout << std::get<double>(v);       // OK
// std::get<int>(v);                    // throw std::bad_variant_access

// Pattern matching:
std::visit([](auto&& val) {
  std::cout << val;
}, v);