[effective modern C++] 항목 1 : 템플릿 형식 연역 규칙 숙지
auto 키워드는 템플릿에 대한 형식 연역을 기반으로 작동한다. 템플릿은 대게 1 2 3 4 template void f(ParamType param); ... f(expr); cs 이런 형태로 사용되고 호출된다. ParamType은 총 세 가지 경우로 나뉜다. - 포인터 또는 참조 형식이지만 보편 참조(universal reference)는 아님. - 보편 참조.(일단 좌측값 참조나 우측값 참조와는 다르다는 것만 알아둔다.) - 포인터도 아니고 참조도 아님. 경우1. 포인터 또는 참조 형식이지만 보편 참조 아닐 때 연역 과정 - expr이 참조 형식이면 참조 부분을 무시한다. - expr의 형식을 ParamType에 패턴 매칭 시켜 T의 형식을 결정한다. 이건 평소에 자주 사용하는 template 이용..
2016.03.01