C++中std::variant的使用詳解和實戰(zhàn)代碼示例
更新時間：2026年05月19日 09:00:37 作者：點云SLAM
本文主要介紹了C++中std::variant的使用詳解和實戰(zhàn)代碼示例,文中通過示例代碼介紹的非常詳細,對大家的學習或者工作具有一定的參考學習價值,需要的朋友們下面隨著小編來一起學習學習吧
std::variant 是 C++17 引入的一個類型安全的聯(lián)合體（type-safe union），它可以在多個類型之間存儲一個值，并在編譯時進行類型檢查。它是現(xiàn)代 C++ 類型擦除與泛型編程的核心工具之一，適用于構建可變類型結構、消息傳遞系統(tǒng)、狀態(tài)機等。
一、基本概念
#include <variant> std::variant<T1, T2, ..., Tn> v;
- 類似于聯(lián)合體
union，但類型安全。 std::variant只能存儲其中一個類型的值。- 默認構造時，會初始化為第一個類型的默認值。
二、核心操作
1. 構造與賦值
#include <iostream>
#include <variant>
int main() {
std::variant<int, std::string> v;
v = 42; // 存儲 int
std::cout << std::get<int>(v) << std::endl;
v = "hello"; // 存儲 string
std::cout << std::get<std::string>(v) << std::endl;
return 0;
}
2. 訪問值：std::get<T>()或std::get<index>()
std::get<int>(v); // 根據(jù)類型訪問 std::get<0>(v); // 根據(jù)索引訪問（int 是第 0 個類型）
如果類型不匹配，將拋出 std::bad_variant_access 異常。
3. 判斷當前存儲的類型
if (std::holds_alternative<std::string>(v)) {
std::cout << "v contains a string\n";
}
4. 獲取當前類型索引
std::cout << "index = " << v.index() << std::endl;
三、使用std::visit實現(xiàn)模式匹配
#include <iostream>
#include <variant>
void printVariant(const std::variant<int, std::string>& v) {
std::visit([](auto&& arg) {
std::cout << "Value: " << arg << std::endl;
}, v);
}
四、完整示例：表達式計算器
#include <iostream>
#include <variant>
#include <vector>
using Expr = std::variant<int, float, std::string>;
void processExpr(const Expr& e) {
std::visit([](auto&& val) {
using T = std::decay_t<decltype(val)>;
if constexpr (std::is_same_v<T, int>)
std::cout << "int: " << val << "\n";
else if constexpr (std::is_same_v<T, float>)
std::cout << "float: " << val << "\n";
else if constexpr (std::is_same_v<T, std::string>)
std::cout << "string: " << val << "\n";
}, e);
}
int main() {
std::vector<Expr> exprs = { 1, 3.14f, "hello" };
for (const auto& e : exprs)
processExpr(e);
return 0;
}
五、進階用法：遞歸類型（std::monostate+std::unique_ptr）
std::variant 不能直接定義遞歸類型（自身包含自身）。需要使用指針 + std::monostate：
struct Node;
using Tree = std::variant<
std::monostate, // 空節(jié)點
int, // 葉子
std::unique_ptr<Node> // 子樹
>;
struct Node {
Tree left;
Tree right;
};
六、注意事項
| 項目 | 說明 |
|---|---|
| 異常 | std::get<T>(v) 如果類型不對，會拋出 std::bad_variant_access |
| 默認值 | 默認初始化為第一個類型的默認構造值 |
| 索引 | v.index() 返回當前類型在 variant 中的索引 |
| 編譯期匹配 | 使用 if constexpr + std::visit 可實現(xiàn)類型安全分派 |
七、綜合實戰(zhàn)示例
下面是一個用 std::variant 實現(xiàn)的 有限狀態(tài)機（FSM）+ 消息分發(fā)系統(tǒng) 的綜合示例，適用于狀態(tài)驅動的系統(tǒng)，如游戲角色狀態(tài)、UI 狀態(tài)、網絡連接狀態(tài)等。
示例目的結構
我們實現(xiàn)一個簡單的 FSM：角色可以在 Idle, Moving, Attacking 三個狀態(tài)間切換，接收 Message 控制狀態(tài)轉換。
1. 基礎定義
#include <iostream>
#include <variant>
#include <string>
// 狀態(tài)定義
struct Idle {};
struct Moving { std::string destination; };
struct Attacking { std::string target; };
// 消息定義
struct StartMoving { std::string destination; };
struct StopMoving {};
struct StartAttack { std::string target; };
struct StopAttack {};
// 狀態(tài)類型和消息類型
using State = std::variant<Idle, Moving, Attacking>;
using Message = std::variant<StartMoving, StopMoving, StartAttack, StopAttack>;
2. 消息處理器（核心）
void handle_message(State& state, const Message& msg) {
std::visit([&](auto&& current_state) {
using Current = std::decay_t<decltype(current_state)>;
std::visit([&](auto&& m) {
using Msg = std::decay_t<decltype(m)>;
if constexpr (std::is_same_v<Current, Idle>) {
if constexpr (std::is_same_v<Msg, StartMoving>) {
std::cout << "Idle → Moving to " << m.destination << "\n";
state = Moving{m.destination};
} else if constexpr (std::is_same_v<Msg, StartAttack>) {
std::cout << "Idle → Attacking " << m.target << "\n";
state = Attacking{m.target};
}
} else if constexpr (std::is_same_v<Current, Moving>) {
if constexpr (std::is_same_v<Msg, StopMoving>) {
std::cout << "Moving → Idle\n";
state = Idle{};
} else if constexpr (std::is_same_v<Msg, StartAttack>) {
std::cout << "Moving → Attacking " << m.target << "\n";
state = Attacking{m.target};
}
} else if constexpr (std::is_same_v<Current, Attacking>) {
if constexpr (std::is_same_v<Msg, StopAttack>) {
std::cout << "Attacking → Idle\n";
state = Idle{};
} else if constexpr (std::is_same_v<Msg, StartMoving>) {
std::cout << "Attacking → Moving to " << m.destination << "\n";
state = Moving{m.destination};
}
}
}, msg);
}, state);
}
3. 主程序（狀態(tài)切換測試）
int main() {
State state = Idle{};
handle_message(state, StartMoving{"North"});
handle_message(state, StartAttack{"Dragon"});
handle_message(state, StopAttack{});
handle_message(state, StartAttack{"Goblin"});
handle_message(state, StartMoving{"East"});
handle_message(state, StopMoving{});
return 0;
}
輸出示例：
Idle → Moving to North
Moving → Attacking Dragon
Attacking → Idle
Idle → Attacking Goblin
Attacking → Moving to East
Moving → Idle
小結：此結構的優(yōu)勢
| 特性 | 說明 |
|---|---|
| 類型安全 | std::variant 和 std::visit 編譯期確定類型，無需 RTTI 或類型轉換 |
| 易擴展 | 增加新狀態(tài)或消息只需添加結構體 + 分支處理 |
| 面向對象可替代 | 可替代經典面向對象狀態(tài)機中的虛函數(shù)分派 |
| 適合嵌入式/游戲 | 無動態(tài)分配，運行時高效 |
總結
| 用法 | 說明 |
|---|---|
| std::variant<A, B> | 表示可以存儲 A 或 B 類型的變量 |
| std::get<T>(v) | 獲取當前存儲的值（類型匹配） |
| std::visit() | 模式匹配：對當前值執(zhí)行對應操作 |
| holds_alternative<T>() | 判斷當前是否存儲的是 T 類型 |
到此這篇關于C++中std::variant的使用詳解和實戰(zhàn)代碼示例的文章就介紹到這了,更多相關C++ std::variant使用內容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關文章希望大家以后多多支持腳本之家！
您可能感興趣的文章:
相關文章
ini文件在windows系統(tǒng)中可以存儲需要持久保存的配置信息,本文主要介紹了Qt讀取和寫入配置(ini)文件,具有一定的參考價值,感興趣的可以了解一下2023-09-09
VC中LINK 2001 和 LINK 2009 的錯誤的解決方法
最近將兩個開源C++項目編譯成windows版本的時候遇到很多問題，編譯的時候總是報錯，報的最多的是無法解析的外部符號”，經過近3天的折騰總算都通過了，這里是一些總結2020-10-10
本篇文章是對卡特蘭數(shù)及其應用進行了詳細的分析介紹，需要的朋友參考下2013-05-05
本片文章帶你分析如何用兩個棧，并且只使用棧的基本功能來模擬實現(xiàn)隊列，其中同樣只實現(xiàn)隊列的基本功能，感興趣的朋友來看看吧2022-04-04
本篇文章是對遍歷二叉樹的各種操作進行了詳細的分析介紹，需要的朋友參考下2013-05-05
Const?是C++中常用的類型修飾符,常類型是指使用類型修飾符const說明的類型，常類型的變量或對象的值是不能被更新的，引用變量是一個別名，也就是說，它是某個已存在變量的另一個名字。一旦把引用初始化為某個變量，就可以使用該引用名稱或變量名稱來指向變量2022-04-04
一個ini文件由多個節(jié)section組成,每個節(jié)由多個鍵值對組成,本文給大家介紹了使用第三方庫inipp來操作ini文件,文中通過代碼示例講解的非常詳細,需要的朋友可以參考下2024-01-01
本文主要介紹DSP中定點數(shù)的加減乘除運算，很值得學習一下，需要的朋友可以參考一下。2016-06-06
這篇文章主要為大家詳細介紹了OpenCV獲取鼠標左鍵點擊位置圖像的像素值，具有一定的參考價值，感興趣的小伙伴們可以參考一下2019-01-01
這篇文章主要介紹了C++編程中基類與基類的繼承的相關知識,包括多個基類繼承與虛擬基類等重要知識,需要的朋友可以參考下2016-01-01