C++17 引入了 std::variant，作为一种和类型（sum type），与 C 语言中的 union 不同，std::variant 处理对象的构造和析构，避免手动管理内存。通过 std::visit，可以简化对不同类型的操作，但 C++ 仍缺乏模式匹配功能，使用较为复杂。