std::get (std::variant)
定义于头文件 <variant>
。
声明
C++17
// 1)
template< std::size_t I, class... Types >
constexpr std::variant_alternative_t<I, std::variant<Types...>>&
get( std::variant<Types...>& v );
template< std::size_t I, class... Types >
constexpr std::variant_alternative_t<I, std::variant<Types...>>&&
get( std::variant<Types...>&& v );
template< std::size_t I, class... Types >
constexpr const std::variant_alternative_t<I, std::variant<Types...>>&
get( const std::variant<Types...>& v );
template< std::size_t I, class... Types >
constexpr const std::variant_alternative_t<I, std::variant<Types...>>&&
get( const std::variant<Types...>&& v );
// 2)
template< class T, class... Types >
constexpr T& get( std::variant<Types...>& v );
template< class T, class... Types >
constexpr T&& get( std::variant<Types...>&& v );
template< class T, class... Types >
constexpr const T& get( const std::variant<Types...>& v );
template< class T, class... Types >
constexpr const T&& get( const std::variant<Types...>&& v );
基于索引的值访问器:如果 v.index() == I
,则返回对存储在 v
中的值的引用。否则,抛出 std::bad_variant_access。如果 I
不是变体的有效索引,则此调用格式错误。
2)
基于类型的值访问器:如果 v
包含替代类型 T
,则返回对存储在 v
中的值的引用。否则,抛出 std::bad_variant_access。如果 T
不是 Types...
的唯一元素,则此调用格式错误。
模板参数
I
- 要查找的索引 T
- 要查找的唯一类型 Types...
- 构成变体的类型
参数
v
- 一个变体
返回值
对存储在变体中的值的引用。
异常
1,2) 错误时抛出 std::bad_variant_access。
示例
#include <variant>
#include <string>
#include <iostream>
int main()
{
std::variant<int, float> v{12}, w;
std::cout << std::get<int>(v) << '\n';
w = std::get<int>(v);
w = std::get<0>(v); // same effect as the previous line
// std::get<double>(v); // error: no double in [int, float]
// std::get<3>(v); // error: valid index values are 0 and 1
try
{
w = 42.0f;
std::cout << std::get<float>(w) << '\n'; // ok, prints 42
w = 42;
std::cout << std::get<float>(w) << '\n'; // throws
}
catch (std::bad_variant_access const& ex)
{
std::cout << ex.what() << ": w contained int, not float\n";
}
}
可能结果
12
42
Unexpected index: w contained int, not float