JEVLOG

auto 형식 연역 템플릿 형식 연역처럼 auto 형식 연역도 세 가지로 나뉘고 잘 동작한다. 한 가지 예외를 빼면 auto 형식 연역이 곧 템플릿 형식 연역이다. 템플릿 형식 연역과 다른점 C++에서의 변수 초기화 방식 // C++98에서 초기화 int x1 = 27; int x2(27); // 균일 초기화를 지원하는 C++11에서 추가된 초기화 int x = { 27 }; int x{ 27 }; auto를 통한 초기화 auto x = 27; auto x(27); auto x = { 27 }; auto x{ 27 }; 아래 두가지 초기화 방식은 값이 27인 원소 하나를 담은 std::initializer_list형식의 변수를 선언한다. auto로 선언된 변수의 초기치가 중괄호 쌍으로 감싸인 형태면 연역..

템플릿 형식 연역 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..