utility_apply

utility_apply (튜플 요소를 인자로 함수 호출)

이 페이지는 C++ 표준 라이브러리의 std::apply 함수 템플릿에 대해 설명해요. std::apply는 주어진 튜플의 요소들을 풀어서 호출 가능한 객체의 인자로 전달해요. C++17에서 도입되었고, 이후 버전에서 제약과 예외 명세가 개선되었어요.

출처: cppreference

본문

<tuple> 헤더에 정의되어 있어요. 호출 가능한 객체 f를 튜플 t의 요소들을 인자로 하여 호출해요.

노출 전용 함수 apply-impl이 다음과 같이 정의된다고 할 때:

template < class F , class Tuple , std :: size_t ... I >
constexpr decltype ( auto ) apply-impl ( F && f , Tuple && t , std :: index_sequence < I ... > ) // exposition only
{
    return INVOKE ( std :: forward < F > ( f ), std :: get < I > ( std :: forward < Tuple > ( t ))...);
}

효과는 다음 표현식과 동등해요:

return apply-impl ( std :: forward < F > ( f ), std :: forward < Tuple > ( t ),
                    std :: make_index_sequence < std :: tuple_size_v < std :: decay_t < Tuple >>> {});

매개변수

반환값

f가 반환한 값이에요.

예외

참고 사항

예제

#include <iostream>
#include <tuple>
#include <utility>

constexpr int add(int first, int second) { return first + second; }

template<typename T>
constexpr T add_generic(T first, T second) { return first + second; }

template<typename... Ts>
std::ostream& operator<<(std::ostream& os, const std::tuple<Ts...>& theTuple)
{
    std::apply
    (
        [&os](const Ts&... tupleArgs)
        {
            os << '[';
            std::size_t n{0};
            ((os << tupleArgs << (++n != sizeof...(Ts) ? ", " : "")), ...);
            os << ']';
        }, theTuple
    );
    return os;
}

template<class Func, class Tuple>
concept applicable = requires (Func&& func, Tuple&& args) {
    std::apply(std::forward<Func>(func), std::forward<Tuple>(args));
};
auto func = [](){};
auto args = std::make_tuple(8);
#if __cpp_lib_apply >= 202506L
static_assert(!applicable<decltype(func), decltype(args)>); // OK
#else
#warning applicable<decltype(func), decltype(args)> is ill-formed
#endif

int main()
{
    static_assert(std::apply(add, std::pair(1, 2)) == 3);

    // Error: can't deduce the function type
    // std::apply(add_generic, std::make_pair(2.0f, 3.0f));

    auto add_lambda = [](auto first, auto second) { return first + second; };
    static_assert(std::apply(add_lambda, std::pair(2.0f, 3.0f)) == 5.0f);

    std::tuple myTuple{25, "Hello", 9.31f, 'c'};
    std::cout << myTuple << '\n';
}

가능한 출력:

[25, Hello, 9.31, c]

같이 보기

더 알아보기 (Learn more)

cppreference