Namespaces
Variants

std:: variant_alternative, std:: variant_alternative_t

From cppreference.net
C++
Utilities library
std::variant
定义于头文件 <variant>
template < std:: size_t I, class T >
struct variant_alternative ; /* 未定义 */
(1) (C++17 起)
template < std:: size_t I, class ... Types >
struct variant_alternative < I, variant < Types... >> ;
(2) (C++17 起)
template < std:: size_t I, class T > class variant_alternative < I, const T > ;
(3) (C++17 起)
template < std:: size_t I, class T >

class variant_alternative < I, volatile T > ;
template < std:: size_t I, class T >

class variant_alternative < I, const volatile T > ;
(3) (C++17 起)
(C++20 中弃用)

提供对可能带有 cv 限定符的 variant 的备选类型进行编译时索引访问，将 variant 的 cv 限定符（如有）与备选类型的 cv 限定符进行组合。

正式地，

2) 满足 TransformationTrait 要求，其成员类型定义 type 等于索引为 I 的可选项类型
3) 满足 TransformationTrait 要求，其成员类型别名 type 分别命名为 std:: add_const_t < std :: variant_alternative_t < I,T >> 、 std:: add_volatile_t < std :: variant_alternative_t < I,T >> 和 std:: add_cv_t < std :: variant_alternative_t < I,T >>

目录

成员类型

成员类型 定义
type 变体的第 I 个备选类型，其中 I 必须位于 [0, sizeof...(Types)) 范围内，否则程序非良构。

辅助模板别名

template < size_t I, class T >
using variant_alternative_t = typename variant_alternative < I, T > :: type ;
(C++17 起)

示例

运行此代码 
#include <variant>
#include <iostream>
using my_variant = std::variant<int, float>;
static_assert(std::is_same_v
    <int,   std::variant_alternative_t<0, my_variant>>);
static_assert(std::is_same_v
    <float, std::variant_alternative_t<1, my_variant>>);
// 变体类型上的 cv 限定符会传播到提取的替代类型。
static_assert(std::is_same_v
    <const int, std::variant_alternative_t<0, const my_variant>>);
int main()
{
    std::cout << "All static assertions passed.\n";
}

输出： 

All static assertions passed.

缺陷报告

下列行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

缺陷报告 适用范围 发布时行为 修正后行为
LWG 2974 C++17 越界索引会导致未定义行为 改为非良构

参见

(C++17)
在编译时获取 variant 可选类型列表的大小
(类模板) (变量模板)
(C++11)
获取指定元素的类型
(类模板特化)