C++ Type deduction

C++ 에서의 형식 연역
Effective Modern C++ Chapter 1.

---

Type deduction in template

template <typename T>
void f(ParamType param);

f(expr);

위 코드는 컴파일 단계에서 expr로 부터 T와 ParamType에 대한 형식 연역이 이루어진다. 이때 T의 형식 연역은 expr과 ParamType에 영향을 받는다.

ParamType이 l-value ref 인 경우