auto의 형식 연역 규칙

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<int>형식의 변수를 선언한다.
• auto로 선언된 변수의 초기치가 중괄호 쌍으로 감싸인 형태면 연역된 형식은 std::initializer_list이다.
  • 형식을 연역할 수 없으면 컴파일이 거부된다.
  • auto x = {1, 2, 3.0};(오류)

auto x = {11, 23, 9}; // x의 형식은 std::initializer_list<int>

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

f({11, 23, 9}); // 오류! T에 대한 형식을 연역할 수 없음

template<typename T>
void f(std::initializer_list<t> initList_);

// T는 int로 연역되며, initList의 형식은 std::initializer_list<int>로 연역된다.
f({11, 23, 9});

• auto 형식 연역과 템플릿 형식 연역의 실질적인 차이는 auto는 중괄호 초기치가 std::initilizer_list를 나타낸다고 가정하지만 템플릿 형식 연역은 그렇지 않다는 것이다.

C++14에서 auto 반환 함수

• 함수의 반환 형식을 auto로 지정해서 컴파일러가 연역하게 만들 수 있다.
• 람다의 매개변수 선언에 auto를 사용하는 것도 가능하다.
• auto는 auto 형식 연역이 아니라 템플릿 형식 연역의 규칙들이 적용된다.
  • 반환 형식이 중괄호 초기치일 경우 auto로 지정하면 컴파일이 실패한다.

auto createInitList()
{
  return { 1, 2, 3}; // {1, 2, 3}의 형식을 연역할 수 없기에 오류
}

• 람다의 매개변수 형식에 auto를 사용하는 경우에도 같은 이유로 컴파일을 실패한다.

std::vector<int> v;
auto resetV = [&v](const auto& newValue) { v = newValue; };
resetV({1, 2, 3}); // {1, 2, 3}의 형식을 연역할 수 없기에 오류