std::get_if (std::variant)

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

工具庫

語言支援 型別支援（基本型別、RTTI） 庫特性測試宏 (C++20) 程式工具 變參函式 initializer_list（初始化列表） (C++11) is_constant_evaluated（是否是常量表達式求值） (C++20) is_within_lifetime（是否在生命週期內） (C++26) source_location（原始碼位置） (C++20) 協程支援 (C++20) 契約支援 (C++26) 三路比較 three_way_comparable（三路可比較）three_way_comparable_with（三路可比較） (C++20)(C++20) strong_ordering（強序） (C++20) weak_ordering（弱序） (C++20) partial_ordering（偏序） (C++20) common_comparison_category（通用比較類別） (C++20) compare_three_way_result（三路比較結果） (C++20) compare_three_way（三路比較） (C++20) strong_order（強序） (C++20) weak_order（弱序） (C++20) partial_order（偏序） (C++20) compare_strong_order_fallback（強序比較回退） (C++20) compare_weak_order_fallback（弱序比較回退） (C++20) compare_partial_order_fallback（偏序比較回退） (C++20)   is_eq（是否相等）is_lt（是否小於）is_lteq（是否小於等於） (C++20)(C++20)(C++20)   is_neq（是否不等於）is_gt（是否大於）is_gteq（是否大於等於） (C++20)(C++20)(C++20)

通用工具 函式物件 位操作 (C++20) bitset（位集） hash（雜湊） (C++11) 關係運算符 (C++20 中棄用) rel_ops::operator!=（關係運算符::不等於）rel_ops::operator>（關係運算符::大於）    rel_ops::operator<=（關係運算符::小於等於）rel_ops::operator>=（關係運算符::大於等於） 整數比較函式 cmp_equal（比較相等）cmp_less（比較小於）cmp_less_than（比較小於） (C++20)(C++20)(C++20)   cmp_not_equal（比較不相等）cmp_greater（比較大於）cmp_greater_than（比較大於） (C++20)(C++20)(C++20) in_range（在範圍內） (C++20) 交換與型別操作 swap（交換） ranges::swap（範圍::交換） (C++20) exchange（交換） (C++14) declval (C++11) to_underlying（轉換為底層型別） (C++23) forward（轉發） (C++11) forward_like（類似轉發） (C++23) move（移動） (C++11) move_if_noexcept（如果無異常則移動） (C++11) as_const（作為常量） (C++17) 常用詞彙型別 pair（對） tuple（元組） (C++11) optional（可選） (C++17) any（任意） (C++17) variant（變體） (C++17) tuple_size（元組大小） (C++11) tuple_element（元組元素） (C++11) apply（應用） (C++17) make_from_tuple（從元組建立） (C++17) expected（預期） (C++23)

 

std::variant

成員函式

variant::variant（變體建構函式）

variant::~variant（變體解構函式）

variant::operator=（變體賦值運算子）

觀察器

variant::index（變體索引）

variant::valueless_by_exception（因異常而無值）

修改器

variant::emplace（變體就地構造）

variant::swap（變體交換）

訪問（Visitation）

variant::visit（變體訪問） (C++26)

非成員函式

visit(std::variant)

holds_alternative（持有替代型別）

get(std::variant)

get_if

operator==（運算子==）operator!=（運算子!=）operator<（運算子<）operator<=（運算子<=）operator>（運算子>）operator>=（運算子>=）operator<=>（運算子<=>） (C++20)

swap(std::variant)

輔助類

monostate（單態）

bad_variant_access（錯誤的變體訪問）

variant_size（變體大小）

variant_alternative（變體備選）

hash<std::variant>

輔助物件

variant_npos

 

定義於標頭檔案 <variant>
	(1)	(C++17 起)
模板< std::size_t I, 類... Types > constexpr std::add_pointer_t<std::variant_alternative_t<I, std::variant<Types...>>>     get_if( std::variant<Types...>* pv ) noexcept;
模板< std::size_t I, 類... Types > constexpr std::add_pointer_t<const std::variant_alternative_t<I, std::variant<Types...>>>     get_if( const std::variant<Types...>* pv ) noexcept;
			(2)	(C++17 起)
模板< 類 T, 類... Types > constexpr std::add_pointer_t<T>     get_if( std::variant<Types...>* pv ) noexcept;
模板< 類 T, 類... Types > constexpr std::add_pointer_t<const T>     get_if( const std::variant<Types...>* pv ) noexcept;

1) 基於索引的非丟擲訪問器：如果 pv 不是空指標，且 pv->index() == I，則返回指向 pv 所指向的變體中儲存的值的指標。否則，返回空指標值。如果 I 不是變體中的有效索引，則呼叫是 ill-formed（格式錯誤）。

2) 基於型別的非丟擲訪問器：等同於 (1)，其中 I 是 T 在 Types... 中的零基索引。如果 T 不是 Types... 的唯一元素，則呼叫是 ill-formed（格式錯誤）。

模板引數

I	-	要查詢的索引
型別	-	要查詢的唯一型別

引數

pv

-

指向變體的指標

返回值

指向所指向變體中儲存的值的指標，或出錯時為 null 指標。

示例

執行此程式碼

#include <iostream>
#include <variant>
 
int main()
{
    auto check_value = [](const std::variant<int, float>& v)
    {
        if (const int* pval = std::get_if<int>(&v))
            std::cout << "variant value: " << *pval << '\n';
        else
            std::cout << "failed to get value!" << '\n';
    };
 
    std::variant<int, float> v{12}, w{3.f};
    check_value(v);
    check_value(w);
}

輸出

variant value: 12
failed to get value!

參閱

get(std::variant) (C++17)

根據索引或型別（如果型別唯一）讀取變體的值，出錯時丟擲異常 (函式模板)