types_apply_result

types_apply_result (호출 결과 타입 추론)

std::apply_result는 <type_traits> 헤더에 정의된 클래스 템플릿이에요. 주어진 함수 객체(Fn)와 튜플(Tuple)을 사용해 INVOKE 표현식의 반환 타입을 추론하는 데 사용돼요. C++26부터 사용할 수 있어요.

출처: cppreference

본문

개요

/*ELEMS-OF*/(T)는 std::get<N>(std::declval<T>())의 매개변수 팩이에요. 여기서 N은 std::make_index_sequence<std::tuple_size_v<std::remove_reference_t<T>>>로 표기되는 std::index_sequence 특수화의 std::size_t 템플릿 인자 팩이에요.

tuple-like<Tuple>이 참이고, /*INVOKE*/(std::declval<Fn>(), /*ELEMS-OF*/(Tuple)...) 표현식이 비평가 피연산자(unevaluated operand)로 취급될 때 유효하다면, 멤버 typedef type은 decltype(/*INVOKE*/(declval<Fn>(), /*ELEMS-OF*/(Tuple)...)) 타입을 나타내요. 그렇지 않으면 멤버 타입이 존재하지 않아요.

접근 검사는 Fn과 Tuple과 무관한 맥락에서 수행되는 것처럼 처리돼요. 표현식의 즉시 맥락(immediate context)의 유효성만 고려돼요.

표현식의 컴파일은 클래스 템플릿 특수화와 함수 템플릿 특수화의 인스턴스화, 암시적으로 정의된 함수의 생성 등과 같은 부작용을 초래할 수 있어요. 이러한 부작용은 "즉시 맥락"에 속하지 않으며 프로그램이 ill-formed가 될 수 있어요.

Fn이나 Tuple이 완전 타입(complete type)이 아니거나, (cv 한정 가능한) void이거나, 바운드가 알려지지 않은 배열이면 동작이 정의되지 않아요.

위 템플릿의 인스턴스화가 불완전 타입에 직간접적으로 의존하고, 해당 타입이 가상으로 완성된다면 다른 결과를 산출할 수 있는 경우, 동작은 정의되지 않아요.

이 페이지에 설명된 템플릿 중 하나에 대해 프로그램이 특수화를 추가하면 동작이 정의되지 않아요.

멤버 타입

헬퍼 타입

가능한 구현

namespace detail
{
template<std::size_t I, class T>
using element_at = decltype(std::get<I>(std::declval<T>()));

template<class Fn, class T, std::size_t ... I>
constexpr auto apply_impl(Fn&& f, T&& t, std::index_sequence<I...>)
    noexcept (std::is_nothrow_invocable_v<Fn, element_at<I, T >...>)
        -> std::invoke_result_t<Fn, element_at<I, T>...>
{
    return std::invoke(std::forward<Fn>(f), std::get<I>(std::forward<T>(t))...);
}

template<class Fn, class Tuple>
using apply_result_t = decltype(apply_impl(
    std::declval<Fn>(),
    std::declval<Tuple>(),
    std::make_index_sequence<std::tuple_size_v<std::remove_reference_t<Tuple>>>())
);

template <class Fn, class Tuple>
struct apply_result_impl {}; // exposition-only

template<class Fn, class Tuple>
    requires requires { typename std::apply_result_t<Fn, Tuple>; }
struct apply_result_impl<Fn, Tuple >
{
    using type = std::apply_result_t<Fn, Tuple>;
};
} // namespace detail

template<class Fn, class Tuple>
struct apply_result : detail::apply_result_impl<Fn, Tuple>{};

참고 사항

std::apply_result(및 해당 별칭 std::apply_result_t)는 std::apply의 반환 타입에 사용돼요. (C++26부터)

예제

#include <type_traits>

struct S
{
    double operator()(char, int&);
    float operator()(int) { return 1.0f; }
};

int main()
{
    std::apply_result_t<S, char, int&> a{3.14};
    static_assert(std::is_same_v<decltype(a), double>);

    std::apply_result_t<S, int> b{2.71f};
    static_assert(std::is_same_v<decltype(b), float>);
}

같이 보기

더 알아보기 (Learn more)

cppreference