std::common_type<튜플 유사>

template< tuple-like TTuple, tuple-like UTuple >
    requires /* see below */
struct common_type<TTuple, UTuple>;

두 tuple-like 타입의 공통 타입은, 두 타입의 모든 대응 요소 타입 쌍의 공통 타입으로 구성된 std::tuple입니다.

주어졌을 때,

• TTypes를 std::tuple_element_t<i, TTuple>의 i 범위의 모든 정수 [​0, std::tuple_size_v<TTuple>)에 대한 시퀀스로 구성된 팩이라 하고,
• UTypes를 std::tuple_element_t<i, UTuple>의 i 범위의 모든 정수 [​0, std::tuple_size_v<UTuple>)에 대한 시퀀스로 구성된 팩이라 할 때,

다음 제약 조건을 만족해야 합니다:

• TTuple 또는 UTuple는 std::tuple 특수화입니다.
• std::is_same_v<TTuple, std::decay_t<TTuple>>는 true입니다.
• std::is_same_v<UTuple, std::decay_t<UTuple>>는 true입니다.
• std::tuple_size_v<TTuple>은 std::tuple_size_v<UTuple>와 같습니다 (TTuple과 UTuple은 요소 개수가 같습니다).
• std::tuple<std::common_type_t<TTypes, UTypes>...>는 타입을 나타냅니다.

멤버 타입

예제

참고 항목