std::get_if (std::variant)

定义于头文件 <variant>。

声明

C++17

// 1)
template< std::size_t I, class... Types >
constexpr std::add_pointer_t<std::variant_alternative_t<I, std::variant<Types...>>>
    get_if( std::variant<Types...>* pv ) noexcept;
template< std::size_t I, class... Types >
constexpr std::add_pointer_t<const std::variant_alternative_t<I, std::variant<Types...>>>
    get_if( const std::variant<Types...>* pv ) noexcept;

// 2)
template< class T, class... Types >
constexpr std::add_pointer_t<T> get_if( std::variant<Types...>* pv ) noexcept;
template< class T, class... Types >
constexpr std::add_pointer_t<const T> get_if( const std::variant<Types...>* pv ) noexcept;

1. 
   

基于索引的非抛出访问器：如果 pv 不是空指针且 pv->index() == I，则返回指向 pv 所指向的变体中存储的值的指针。否则，返回空指针值。如果 I 不是变体中的有效索引，则调用格式错误。
2)
基于类型的非抛出访问器：等效于 (1)，其中 I 是 T 在 Types... 中的零基索引。如果 T 不是 Types... 的唯一元素，则调用格式错误。

参数

I - 要查找的索引 Type - 要查找的唯一类型 pv - 指向变体的指针

返回值

指向所指向变体中存储的值的指针，或错误时为空指针。

示例

#include <variant>
#include <iostream>
 
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!