utility_tuple_element

utility_tuple_element (튜플 유사 타입의 요소 타입 접근)

std::tuple_element은 튜플 유사(tuple-like) 타입의 특정 위치에 있는 요소의 타입을 컴파일 타임에 알아내기 위한 클래스 템플릿이에요. 이 템플릿은 std::tuple, std::pair, std::array 같은 표준 라이브러리 타입뿐 아니라, 사용자가 직접 정의한 타입에 대해서도 특수화할 수 있어서 구조적 바인딩과 같은 기능을 지원하는 데 사용돼요. 이 페이지에서는 std::tuple_element의 정의, 특수화, 사용 예시를 설명할게요.

출처: cppreference

본문

정의

다음과 같이 <tuple>, <array>, <utility>, <ranges>, <complex> 헤더에 정의되어 있어요.

기본 템플릿은 정의되지 않고, 다음과 같은 형태로 제공돼요.

이 템플릿은 튜플 유사 타입의 요소 타입에 대한 컴파일 타임 인덱스 접근을 제공해요.

std::tuple_element는 핵심 언어와 상호작용해서, 튜플 유사 경우에 구조적 바인딩(structured binding)을 지원할 수 있어요. (since C++17)

특수화

표준 라이브러리는 다음과 같은 표준 라이브러리 타입에 대한 특수화를 제공해요.

사용자는 프로그램 정의 타입을 튜플 유사하게 만들기 위해 std::tuple_element를 특수화할 수 있어요.

get 함수가 참조 멤버나 하위 객체에 대한 참조를 반환하는 일반적인 경우에는 cv 한정이 없는 타입에 대한 특수화만 사용자 정의하면 돼요.

멤버 타입

헬퍼 타입

참고 사항

예제

#include <array>
#include <cstddef>
#include <iostream>
#include <ranges>
#include <tuple>
#include <type_traits>
#include <utility>

template<typename T1, typename T2, typename T3>
struct Triple
{
    T1 t1;
    T2 t2;
    T3 t3;
};

// A specialization of std::tuple_element for program-defined type Triple:
template<std::size_t I, typename T1, typename T2, typename T3>
    struct std::tuple_element<I, Triple<T1, T2, T3>>
    { static_assert(false, "Invalid index"); }; 
template<typename T1, typename T2, typename T3>
    struct std::tuple_element<0, Triple<T1, T2, T3>> { using type = T1; };
template<typename T1, typename T2, typename T3>
    struct std::tuple_element<1, Triple<T1, T2, T3>> { using type = T2; };
template<typename T1, typename T2, typename T3>
    struct std::tuple_element<2, Triple<T1, T2, T3>> { using type = T3; };


template<typename... Args> struct TripleTypes
{
    static_assert(3 == sizeof...(Args), "Expected exactly 3 type names");
    template<std::size_t N>
    using type = typename std::tuple_element_t<N, Triple<Args...>>;
};

int main()
{
    TripleTypes<char, int, float>::type<1> i{42};
    std::cout << i << '\n';

    using Tri = Triple<int, char, short>; //< Program-defined type
    static_assert(std::is_same_v<std::tuple_element_t<0, Tri>, int> &&
                  std::is_same_v<std::tuple_element_t<1, Tri>, char> &&
                  std::is_same_v<std::tuple_element_t<2, Tri>, short>);

    using Tuple = std::tuple<int, char, short>;
    static_assert(std::is_same_v<std::tuple_element_t<0, Tuple>, int> &&
                  std::is_same_v<std::tuple_element_t<1, Tuple>, char> &&
                  std::is_same_v<std::tuple_element_t<2, Tuple>, short>);

    using Array3 = std::array<int, 3>;
    static_assert(std::is_same_v<std::tuple_element_t<0, Array3>, int> &&
                  std::is_same_v<std::tuple_element_t<1, Array3>, int> &&
                  std::is_same_v<std::tuple_element_t<2, Array3>, int>);

    using Pair = std::pair<Tuple, Tri>;
    static_assert(std::is_same_v<std::tuple_element_t<0, Pair>, Tuple> &&
                  std::is_same_v<std::tuple_element_t<1, Pair>, Tri>);

    using Sub = std::ranges::subrange<int*, int*>;
    static_assert(std::is_same_v<std::tuple_element_t<0, Sub>, int*> &&
                  std::is_same_v<std::tuple_element_t<1, Sub>, int*>);
}

출력:

42

결함 보고

다음의 동작 변경 결함 보고서는 이전에 발표된 C++ 표준에 소급 적용되었어요.

같이 보기

더 알아보기 (Learn more)

cppreference