std::variant 详解

最新推荐文章于 2025-03-07 17:08:14 发布

NikitaC

最新推荐文章于 2025-03-07 17:08:14 发布

阅读量866

点赞数 25

文章标签：开发语言 c++

本文链接：https://blog.csdn.net/chenpeizhi/article/details/143035296

版权

c++17 中引入了一种替代 union 的 类型安全联合体 std:: variant, 可以存储多个可能类型中的一个。它是一种现代 C++的类型多态，允许你在一个变量中存储多种类型的值，而不会丢失类型信息

基本概念

#include <variant>
std::variant<int, std::string, uint32_t, uint64_t> var;

在这个例子中，var 是一个 std::variant，它可以是 int、float 或 std::string 类型

如何使用

var = 10;            // 现在 var 是 int 类型，值为 10
var = 3.14f;         // 现在 var 是 float 类型，值为 3.14
var = "Hello";       // 现在 var 是 string 类型，值为 "Hello"

如何访问 std::variant
为了安全地访问 std::variant 中存储的值，C++ 提供了几种方法:
方法1：std::get<T>(var)
使用 std::get 访问 std::variant 中的值，但你必须知道当前存储的是什么类型。如果类型不匹配，会抛出 std::bad_variant_access 异常。

var = 10; // 现在 var 是 int 类型
int value = std::get<int>(var);  // 使用 std::get 获取 int 值
std::cout << "Value: " << value << std::endl;

方法二：std::get_if<T>(&var)
std::get_if 是一种更安全的方式，它返回指向存储类型的指针，如果类型不匹配则返回 nullptr，而不是抛出异常

if (auto ret = std::get_if<int>(&var)) {
	std::cout << "var is an int" << std::endl;
} else {
	std::cout << "var is not an int" << std::endl;
}

应用场景
std::variant 主要用于以下场景：
场景1：多类型返回值：一个函数可能返回不同类型的值，例如成功返回数据，失败返回错误信息。
场景2：替代 union：std::variant 是 union 的现代、安全替代品，支持更多的类型和安全检查。
场景3：std::variant 可以表示有限状态机（finite state machine）的状态，每个状态用不同的类型表示
常用操作
std::holds_alternative<T>(var) 返回值 bool；作用：检查联合体是否含有特定类型

if (std::holds_alternative<int>(var)) {
	std::cout << "var contains an int type" << std::endl;
}

idex() 成员函数，获取当前类型在联合体内的下标

std::variant 的默认构造会初始化为第一个指定的类型值（如果没有特别指定的话）

表示空状态类型
如果想在variant联合体内插入空状态，使用 std::monostate （即没有存储任何值）

std::variant<std::monostate, int, double, float> var;
var = std::monostate{}; // variant 现在没有任何有效数据
var = 10;
var = 10.1;

为什么 `std::variant` 比 `union` 更安全？

类型安全性：
- union 允许不同类型的数据共享同一块内存，但是它不记录当前存储的数据类型。因此，开发者必须自己追踪 union 当前存储的是哪种类型，并且错误地访问数据会导致未定义行为。
- std::variant 则自动管理不同类型的数据，并明确跟踪当前存储的类型。你可以通过 std::get 或者 std::visit 来安全地访问其存储的数据类型。如果你试图访问一种不正确的类型，编译器或运行时会抛出异常（如 std::bad_variant_access），避免了未定义行为。
初始化安全性：
- 使用 union 时，未初始化的内存区域可能包含垃圾数据。如果访问未初始化的成员，可能会导致未定义行为。开发者需要手动确保 union 在使用前被正确初始化。
- std::variant 总是确保自己处于一个有效的状态。它在初始化时会默认初始化为第一个类型的值，或者开发者可以明确地指定初始化类型和值。std::variant 提供了构造函数、析构函数和赋值操作，这确保了对象生命周期内的安全。
析构函数的调用：
- union 无法正确管理包含非平凡析构函数（即需要特殊析构处理的类型，比如带有自定义析构函数的类）的对象。你需要手动调用这些类型的析构函数，否则会发生资源泄露或其他问题。
- std::variant 能够正确调用其当前存储类型的析构函数，这意味着即使你存储的是需要特殊析构处理的复杂类型，它也会在类型切换或对象销毁时自动调用正确的析构函数，避免内存泄漏或其他资源管理问题。
访问安全性：
- 通过 union，你可以任意访问其内部存储的值，即使该值可能不是有效的当前类型。这种错误访问会导致未定义行为。
- std::variant 通过函数如 std::get 和 std::visit 来保证类型安全访问。这些函数在运行时检查当前存储的类型，确保只访问正确的类型，并在错误访问时提供明确的错误处理机制（如异常）。
模式匹配：
- std::variant 提供了 std::visit，它允许对存储的值进行类型安全的模式匹配。std::visit 是一种很好的方式来处理 variant 中的不同类型，而不需要手动检查类型并进行转换。这个功能提高了代码的可读性和安全性。
- union 没有类似的内置机制，必须手动处理类型和数据的访问。

示例：

#include <variant>
#include <iostream>
#include <string>

int main() {
    std::variant<int, float, std::string> v = 42; // 初始化为 int 类型

    std::cout << std::get<int>(v) << std::endl; // 正确访问 int 类型

    try {
        std::cout << std::get<float>(v) << std::endl; // 尝试访问错误的类型
    } catch (const std::bad_variant_access& ex) {
        std::cerr << "Error: " << ex.what() << std::endl;
    }

    v = std::string("Hello");
    std::visit([](auto&& arg){ std::cout << arg << std::endl; }, v); // 使用 std::visit
}