템플릿 형식 연역 template void f(ParamType param); f(expr); 컴파일러는 expr을 이용해서 두 가지 형식을 연역한다. T ParamType 두 형식이 다른 경우가 많다. template void f(const T& param); int x = 0; f(x); T는 int로 연역되나 ParamType은 const int&로 연역된다. T에 대해 연역된 형식이 함수에 전달된 인수의 형식과 항상 같지는 않다. T에 대해 연역된 형식은 expr의 형식, ParamType의 형태에 의존한다. 형태에 따라 세가지 경우로 나뉜다. 경우 1: ParamType이 포인터 또는 참조 형식이지만 보편 참조는 아닐 경우 형식 연역 과정 expr이 참조 형식이면 참조 부분을 무시한다. expr..
