템플릿(template)을 활용해 프로그램 실행 중이 아니라 컴파일 시점(compile time)에 연산을 수행하는 프로그래밍 기법을 템플릿 메타프로그래밍(Template Metaprogramming, TMP)이라고 합니다. 런타임에 처리해야 할 계산을 컴파일러가 코드를 생성하는 단계에서 미리 수행하도록 만드는 방식으로, 실행 속도 향상과 타입 안정성 확보라는 강력한 장점을 제공합니다.
예제 코드
#include <iostream>
using namespace std;
template<int n>
struct power {
enum { value = 4 * power<n - 1>::value };
};
template<>
struct power<0> {
enum { value = 1 };
};
int main() {
cout << "power is: " << power<7>::value << endl;
return 0;
}
실행 결과
power is: 16384
동작 원리: 컴파일 타임 재귀
위 예제는 4의 거듭제곱을 구하는 코드입니다. 컴파일러가 power<7>::value를 만나면 매개변수 7로 템플릿 인스턴스를 생성하려 합니다. 그런데 열거형 상수 value는 반드시 컴파일 시점에 평가되어야 하므로, power<6> 역시 함께 생성되어야만 합니다.
power<6>를 계산하려면 다시 power<5>가 필요하고, 이런 식으로 인스턴스화가 재귀적으로 진행됩니다. 마지막으로 명시적 특수화(explicit specialization)된 기저 사례(base case)인 power<0>에 도달하면 재귀가 종료되며, 최종 결과인 4⁷ = 16384가 컴파일 시점에 확정됩니다. 이처럼 템플릿 인스턴스화 과정 자체가 하나의 재귀적 계산으로 작동하는 것이 바로 템플릿 메타프로그래밍입니다.
핵심 요소 정리
- 재귀적 템플릿 인스턴스화:
power<n>이power<n-1>을 참조하여 컴파일 타임 재귀 구조를 형성합니다. - 기저 사례(Base Case):
power<0>의 특수화가 재귀의 종료 조건 역할을 합니다. - 컴파일 타임 상수:
enum을 통해 값을 상수로 저장하므로, 결과는 런타임 비용 없이 바이너리에 그대로 반영됩니다.
C++11 이후: constexpr 활용
모던 C++에서는 constexpr을 사용하면 훨씬 직관적인 문법으로 동일한 작업을 수행할 수 있습니다.
constexpr int power(int n) {
return n == 0 ? 1 : 4 * power(n - 1);
}
int main() {
static_assert(power(7) == 16384, "compile-time check");
return 0;
}
템플릿 메타프로그래밍은 강력하지만 문법이 복잡하고 에러 메시지가 어려운 편입니다. 따라서 간단한 컴파일 타임 계산에는 constexpr을 우선 고려하고, 타입 조작이나 코드 생성이 필요한 경우에 TMP를 활용하는 것이 좋은 설계 전략입니다.