포인터의 타입 추론

template<typename T>
void f(T* param)
{
    cout << typeid(T).name() << endl;
}

int main()
{
    int x = 30;
    const int* pcx = &x;
    f(pcx);
}

f() 함수는 T*으로 인수를 받고 있다. const int*로 선언된 pcx 변수를 전달하면 어떤 타입으로 추론이 되는지 살펴본다. 답을 보기 전에 가능한 시나리오를 검토해보자.

pcx는 const int*이니까 T는 const int가 될 수도 있고 모종의 이유로 const가 탈락한 int가 될 수도 있다. 혹은 T* 이므로 해당 타입이 가리키는 타입으로 추론될 수도 있을 것이다. 정답은 아래를 드래그 하면 된다.

 

int

 

예상 가능한 시나리오의 세 번째에 해당한다고 볼 수 있다.

T*은 해당 포인터 변수가 가리키는 타입을 추론한다. int형 가리키기 때문에 int로 추론된다.

그렇다면 f() 함수의 파라미터가 T이면 어떨까?

#include <iostream>
#include <typeinfo>
using namespace std;

template<typename T>
void f(T param)
{
    cout << typeid(T).name() << endl;
}

int main()
{
    int x = 30;
    const int* pcx = &x;
    f(pcx);
}

이 경우에 T는 const int*로 추론된다. 해당 포인터 변수의 타입이 그대로 추론되는 것.

하나 고민해 볼 재미있는 부분은 만약 pcx를 const int* const pcx = &x;로 선언 및 정의를 하는 점이다. 포인터 변수 자체에 const를 적용하는 경우를 생각해보면, 사실 포인터 변수를 전달하는 건 값 복사와 똑같다. 원본에 상수성이 있는 것이지 복사본은 별개의 문제이기 때문에 pcx 앞에 붙는 const는 사라진다.