상수값을 대입하여 변수를 만들 때, 다양한 타입으로 처리할 수 있도록 해주는 기능이 C++14에 도입되었다. 이것을 "variable template"이라고 부르며 상수 파라미터의 사용을 단순화하는 효과를 낼 수 있다.
아래 예제에서 템플릿으로 정의된 변수 pi가 variable template에 해당하며, 상수값의 타입이 float인지, double인지, long double인지 아직 결정되지 않은 상태이다. 상수값의 타입이 정해지면 그에 따라서 변수의 타입도 정해지도록 사용하는 기법이라고 할 수 있다.
상수값의 타입을 지정하는 방법으로 (float) 1.10000000000000000002l처럼 캐스팅하는 방법이 있고, 또는 1.10000000000000000002f로 postfix를 이용하여 float 타입의 리터럴임을 알리는 방법이 있다.
#include <iostream>
#include <iomanip>
using namespace std;
template<typename T> constexpr T pi = T(3.141592653589732385);
template<typename T> T area_of_circle_with_radius(T r) {
return pi<T> * r * r;
}
int main(void)
{
cout << setprecision(25);
cout << area_of_circle_with_radius(1) << endl;
cout << area_of_circle_with_radius((float) 1.10000000000000000002l) << endl;
cout << area_of_circle_with_radius((double) 1.10000000000000000002l) << endl;
cout << area_of_circle_with_radius((long double) 1.10000000000000000002L) << endl;
cout << area_of_circle_with_radius(1.10000000000000000002f) << endl;
cout << area_of_circle_with_radius(1.10000000000000000002) << endl;
cout << area_of_circle_with_radius(1.10000000000000000002l) << endl;
return 0;
}
실행 결과를 보면 파라미터로 사용된 상수값의 타입에 따라 함수 템플릿에서 타입이 결정되어 정밀도가 제각각 다른 결과가 반환됨을 확인할 수 있다.
3
3.8013274669647216796875
3.801327110843576662091436
3.801327110843576053854018
3.8013274669647216796875
3.801327110843576662091436
3.801327110843576053854018