가변 템플릿과 매개변수 팩

가변 개수의 템플릿 인수

매개변수 팩 구문

template <typename... Args>
void print_all(Args... args) {
    // ...
}

팩 확장

template <typename... Args>
void pass_through(Args... args) {
    other_func(args...);    // pass each arg
}

재귀적 가변 템플릿 (이전 방식)

// base case
void log() {}

// recursive case
template <typename T, typename... Rest>
void log(T first, Rest... rest) {
    std::cout << first;
    log(rest...);
}

폴드 표현식 (C++17)

template <typename... Args>
auto sum(Args... args) {
    return (args + ...);    // fold +
}

std::cout << sum(1, 2, 3, 4);   // 10

폴드 연산자

모든 인수 출력

template <typename... Args>
void print_all(Args... args) {
    ((std::cout << args << " "), ...);   // comma fold
}

print_all(1, "hi", 3.14);   // 1 hi 3.14

인수 개수 세기

template <typename... Args>
void info(Args... args) {
    std::cout << "count = " << sizeof...(args);
}

가변 클래스 템플릿

template <typename... Ts>
class Tuple {
    // implementation uses recursion or storage tricks
};

팩을 사용한 완벽 전달

template <typename T, typename... Args>
std::unique_ptr<T> my_make_unique(Args&&... args) {
    return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
}

형식 팩 조작

주의 사항

빠른 확인

요약