C 템플릿 유형 추론에서 `printme({\'a\', \'b\', \'c\'});`가 불법인 이유는 무엇입니까?

초기화 목록이 있는 함수의 유형 추론

함수 템플릿을 고려하세요.

template<typename T>
void printme(T&& t) {
  for (auto i : t)
    std::cout << i;
}

이 함수에는 시작이 있는 유형의 매개변수 하나가 필요합니다. () 및 끝() function.

질문:

다음 호출은 왜 불법인가요?

printme({'a', 'b', 'c'});

답변:

printme({'a', 'b', 'c'}) 호출은 불법입니다. 템플릿 인수 T를 추론할 수 없습니다. 템플릿 인수를 명시적으로 지정하지 않으면 컴파일러는 매개 변수의 유형을 결정할 수 없습니다. 왜냐하면 매개 변수는 start() 및 end() 함수가 있는 모든 유형일 수 있기 때문입니다. 다음과 같은 경우에는 이 문제가 발생하지 않습니다.

• 명시적 템플릿 인수 사양: printme<벡터>({'a', 'b', 'c'})
• 유형 추론이 포함된 매개변수 유형: printme(std::Vector({'a', 'b', 'c'}))
• auto를 사용하여 유형 추론: const auto il = {'a', 'b', 'c'}; printme(il);
• 템플릿 인수를 명시적으로 지정: printme>({'a', 'b', 'c'})

이에 대한 예외는 auto를 std::initializer_list로 공제하는 것입니다. 템플릿 인수 추론. 이 동작은 C 11 표준(§ 14.8.2.5/5)에 명시적으로 지정되어 있으며, 초기화 목록이지만 std::initializer_list 유형이 아닌 함수 매개 변수에 대한 템플릿 인수가 추론되지 않는다고 명시되어 있습니다. 그러나 표준의 § 7.1.6.4/6에서는 std::initializer_list<>를 추론하기 위해 auto에 대한 명시적인 지원을 제공합니다.

위 내용은 C 템플릿 유형 추론에서 `printme({\'a\', \'b\', \'c\'});`가 불법인 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!