#include <iostream.h>
#include <conio.h>
template <class T>
T max(T a,T b)
{
return a>b ? a:b;
}
void main()
{
clrscr();
cout << max(3,4) << endl;
cout << max(123l,456l) <<endl;
cout << max(3.14, 2.17) << endl;
}
세 개의 max 함수에서 반복되는 부분은 그대로 두고 서로 다른 부분을 T로 대
체하였고 T는 템플릿의 인수로 주어지도록 되어 있다. 즉 T가 int로 주어지면
max는 int max(int,int) {...}가 되고 T가 long으로 주어지면 max는 long max(
long,long) {...}가 된다. 이렇게 템플릿에 의해 생성되는 함수를 템플릿 함수
라고 한다. 위 예제에서 max 함수가 템플릿 함수이다. 템플릿 함수는 일종의
선언이기 때문에 호출되기 전에는 실제로 생성되지 않는다.
컴파일러는 템플릿 함수의 형태를 기억하고 있다가 템플릿 함수가 호출되면
적당한 형태의 함수를 만들고 호출하게 된다. max(3,4)가 호출될 때 컴파일러
는 3,4가 int형의 상수임을 보고 템플릿 인수 T에 int를 넣어 int max(int,int
) {...}를 생성한 후 호출하게 된다. 마찬가지로 max(123l,456l)을 호출할 때
는 long형의 max가 생성되고 max(3.14, 2.17)을 호출할 때는 double형의 max가
생성된다. 위 예제에서는 max 함수가 모두 세 개가 만들어진다.
템플릿 함수의 인수 리스트 자리에는 데이터 타입뿐만 아니라 함수, 수식 등
도 올 수가 있다는 점이 MACRO 함수와는 비교가 되는 사항이다. 위의 예제에서
는 인수 리스트에 반드시 데이터 타입이 와야 하므로 인수 리스트내에 class
키워드가 쓰였다. 인수로 주어진 T는 데이터 타입중의 하나인, int, char, dou
ble, long 또는 사용자가 정의한 클래스 이름중의 하나라는 것을 명시한다.
템플릿 함수와 일반 함수가 중복될 경우는 일반 함수가 우선적으로 선택되며
호출 구문을 만족시킬 수 있는 일반 함수가 있는 한 템플릿 함수는 생성되지
않는다. 다음 예제를 보자.
#include <iostream.h>
#include <conio.h>
char *max(int a,int b)
{
return "I'm user defined function \n";
}
template <class T>
T max(T a,T b)
{
return a>b ? a:b;
}
double max(double,double);
void main()
{
clrscr();
cout << max(3.14, 2.17) << endl;
cout << max(5,3) << endl;
}
템플릿 함수와 일반 함수가 동시에 존재한다. 먼저 max(3.14, 2.17)이 호출될
때 double형을 인수로 갖는 일반 함수 max가 정의되어 있지 않으므로 템플릿에
서 double max(double, double)을 생성하여 호출한다. max(5,3)이 호출될 때
정수형을 인수로 취하는 일반 함수 char * max(int,int)가 있으므로 템플릿에
서 함수를 생성하지 않고 일반 함수를 호출한다.
결과가 어떻게 달라지는가를 보여 주기 위해 일부러 문자열을 출력하도록 했
다. 만약 일반 함수가 없고 템플릿 함수로도 생성될 수 없는 형태의 함수를 호
출하면 에러가 발생하게 된다. max(3, 3.14)같은 구문이 그 예가 되며 max(int
,double)같이 두 인수의 타입이 다른 경우는 템플릿에서 생성할 수가 없다. 이
런 경우는 다음과 같이 max(3, 3.14)앞에 max(double, double) 형의 원형을 밝
혀준다.
#include <iostream.h>
#include <conio.h>
template <class T>
T max(T a,T b)
{
return a>b ? a:b;
}
double max(double,double);
void main()
{
clrscr();
cout << max(3,4) << endl;
cout << max(123l,456l) <<endl;
cout << max(3.14, 2.17) << endl;
cout << max(3,3.14) << endl;
}
이 선언에 의해 컴파일러는 double max(double,double)를 생성하게 되고 max(
3, 3.14)는 자동 형 변환에 의해 max((double)3, 3.14)로 호출된다.
나. 클래스 템플릿
함수 템플릿을 만드는 것과 동일한 원리로 클래스 템플릿을 만들 수 있다. 함
수가 데이터형만 다르고 나머지가 비슷한 형태로 중복되듯이 클래스도 일부만
다르고 대부분이 비슷한 형태로 중복될 수 있기 때문이다. 다음 예제를 보자.
#include <iostream.h>
#include <conio.h>
class intdata {
protected:
int x,y;
int data;
public:
intdata(int ax,int ay,int adata)
{
x=ax;
y=ay;
data=adata;
}
void outdata(void)
{
gotoxy(x,y);
cout << data;
}
};
class chardata {
protected:
int x,y;
char data;
public:
chardata(int ax,int ay,char adata)
{
x=ax;
y=ay;
data=adata;
}
void outdata(void)
{
gotoxy(x,y);
cout << data;
}
};
class realdata {
protected:
int x,y;
float data;
public:
realdata(int ax,int ay,float adata)
{
x=ax;
y=ay;
data=adata;
}
void outdata(void)
{
gotoxy(x,y);
cout << data;
}
};
void main()
{
clrscr();
intdata int1(10,10,12);
chardata char1(15,15,'S');
realdata real1(30,10,3.14159265);
int1.outdata();
char1.outdata();
real1.outdata();
}
이어서 계속됩니다. ==============>>>>>>>
--------------------------------------------------------------------------------
다음