跳到主要内容

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

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