# std::tuple_element<std::pair>

< cpp‎ | utility‎ | pair

定义于头文件 `<utility>` |  |
template< std::size_t I, class T1, class T2 > struct tuple_element<I, std::pair<T1, T2>>; |  | (C++11 起)

std::tuple_element 对 pair 的部分特化使用类 tuple 语法，提供 pair 元素类型的编译时访问。若 `I >= 2` 则程序为病式。

### 成员类型

成员类型 | 定义
`type` | `I == 0` 则为 `T1` `I == 1` 则为 `T2`

### 可能的实现

    template<std::size_t I, typename T>
      struct tuple_element;

    template<std::size_t I, typename T1, typename T2>
      struct tuple_element<I, std::pair<T1,T2> >
      {
         static_assert(I < 2, "std::pair has only 2 elements!");
      };

    template<typename T1, typename T2>
      struct tuple_element<0, std::pair<T1,T2> >
      {
         using type = T1;
      };

    template<typename T1, typename T2>
      struct tuple_element<1, std::pair<T1,T2> >
      {
         using type = T2;
      };

### 示例

    #include <tuple>
    #include <iostream>
    #include <string>

    namespace detail {

    template <std::size_t>
    struct index_tag { explicit constexpr index_tag() = default; };

    template <class T, class U>
    constexpr T get_val_dispatch(std::pair<T, U> const& pair, index_tag<0>)
    {
        return pair.first;
    }

    template <class T, class U>
    constexpr U get_val_dispatch(std::pair<T, U> const& pair, index_tag<1>)
    {
        return pair.second;
    }

    } // namespace detail

    template <std::size_t N, class T, class U>
    auto constexpr get_val(std::pair<T, U> const& pair)
        -> typename std::tuple_element<N, std::pair<T, U>>::type
    {
        return detail::get_val_dispatch(pair, detail::index_tag<N>{});
    }

    int main()
    {
        auto var = std::make_pair(1, std::string{"one"});

        std::cout << get_val<0>(var) << " = " << get_val<1>(var);
    }

输出：

    1 = one

### 缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

DR | 应用于 | 出版时的行为 | 正确行为
--- | --- | --- | ---
LWG 2974 | C++11 | 越界下标使用不定义的初等模板 | 使之为非良构（硬错误）

### 参阅

结构化绑定 (C++17) | 绑定指定的名字到初始化器的子对象或元组元素
std::tuple_element<std::tuple> (C++11) | 获得指定元素的类型 (类模板特化)
std::tuple_element<std::array> (C++11) | 获得 `array` 元素的类型 (类模板特化)
std::tuple_size<std::pair> (C++11) | 获得 `pair` 的大小 (类模板特化)