[C, C++] Header와 템플릿의 명시적 특수화
C, C++에서 Template라는 개념은 <int>, <string>, <char> 등의 다양한 자료형의 함수를 두 번 생산하지 않고, 재사용을 한다는 장점을 통해, 개발 인력의 최소화로 긍정적인 부분을 보여준다고 할 수 있습니다.
이러한 Template는
#include < iostream >
using namespace std;
template <typename T>
class dd{
}
int main(){
}
이같은 꼴로 사용할 수 있습니다.
이러한 템플릿에서 명시적 특수화에 대해 잠시 소개하려고 합니다.
Explicit Specialization은 전체 특수화를 기본 특징으로 갖는 언어를 말합니다.
어려운 개념은 아닌데, 잘못 사용하면, 어려워지는 개념이 이 부분이 아닐까 싶습니다.
template <typename T> class Invalid {
};
InVaild<double> x1;
template<>
class Invalid<double>;
위험하게 구성된 코드입니다. 흔히들 작업하다보면, 이와 같은 쓰레기 코드를 만들 수 있는데, 참조수준의 문제로 시스템에 중대한 오류를 발생시킬 수 있습니다.
기본적인 원칙을 구하고 사용하자.
template <typename T>
class Invalid {
void aa();
};
(정의)
template <typename T>
void Invalid<T>::aa()
{
}
(선언)
이의 경우, void 형의 aa() 함수를 선언하고 정의한 예시입니다.
기본적인 이의 구조는 당연한 Template를 생성하는 기본 원칙입니다.
template <typename T>
class Invalid {
void aa(T data);
};
(정의)
template <typename T>
void Invalid<T>::aa(T data)
{
}
(선언)
template <>
void Invalid<char>::aa(char data)
{
}
(명시적 특수화)
T보다 특수화가 앞서 선언될 수 없다는 점을 명확히 할 필요가 있습니다.
아래는 가능한 사례를 몇 개 소개해드리고자 합니다.
template <
typename T, typename D>
class Invalid {
void aa(T data1, D data2);
};
(정의)
template <typename T, typename D>
void Invalid<T>::aa(T data1, D data2)
{
}
(선언)
template <char, int>
void Invalid<char, int>::aa(char data1, int data2)
{
}
(명시적 특수화)
이의 경우에는 명시적 특수화에서 오류가 날 수밖에 없습니다.
template <char, int>라고 쓴 부분은 template 함수를 생성하는 자료형이 와야 맞는데 General Data Type이 오기 때문에 오류가 날 수밖에 없습니다.
#include <iostream>
template <typename T, typename D>
class test{
public:
void aa(T data1, D data2);
};
template <typename T, typename D>
void test<T, D>::aa(T data1, D data2){
std::cout << "T, D";
std::cout << std::endl;
std::cout << data1 << "," << data2;
std::cout << std::endl;
}
template <>
void test<char, int>::aa(char data1, int data2)
{
std::cout << "T, D";
std::cout << std::endl;
std::cout << data1 << "," << data2;
std::cout << std::endl;
}
int main(){
test<double, int> aaaa;
aaaa.aa(1.22, 1);
test<char, int> bbbb;
bbbb.aa('a', 1);
}
1. 추천 사이트
1. https://wikidocs.net/488
