C 11의 `std::make_pair`에서 템플릿 매개변수를 명시적으로 지정하면 컴파일에 실패하는 이유는 무엇입니까?

지정된 템플릿 매개변수가 있는 C 11 make_pair가 컴파일되지 않습니다

Q:

g 4.7과 함께 C 11을 사용하는 동안, 명시적으로 지정된 템플릿 매개변수와 함께 std::make_pair 함수를 사용하여 코드를 컴파일하려는 시도가 실패합니다. 이 오류의 원인을 이해하는 것이 목표입니다.

A:

make_pair에 대한 잘못된 사용법

std::make_pair 자동 템플릿 인수 추론을 위한 것입니다. 템플릿 매개변수를 명시적으로 지정하면 이러한 추론이 방지되어 실제 인수 유형과 예상 인수 유형이 일치하지 않게 됩니다. 함수는 T&& 및 U&& 유형의 인수를 사용합니다. 여기서 T와 U는 템플릿 유형 매개변수이며 다음과 유사합니다.

template<typename T, typename U>
make_pair(T&& argT, U&& argU);

인수 유형 불일치

템플릿 매개변수를 지정할 때 명시적으로는 인수 추론이 발생하지 않습니다. 대신 지정된 유형이 함수 템플릿에서 직접 사용되어 다음과 같은 결과가 발생합니다.

make_pair(std::string&& argT, int&& argU);

이 경우 두 매개 변수 유형 모두 rvalue 참조이며 rvalue에만 바인딩할 수 있습니다. 그러나 인수 중 하나인 s는 lvalue(기존 객체)이므로 예상되는 rvalue 참조 유형과 호환되지 않습니다. 따라서 함수 템플릿이 제공된 인수와 일치할 수 없어 컴파일 오류가 발생합니다.

make_pair의 올바른 사용법

이 문제를 해결하려면 명시적인 템플릿 매개변수 사양을 제거하세요. 자동 인수 추론을 허용합니다. 이 시나리오에서 컴파일러는 T를 std::string으로 추론할 수 있습니다. s는 std::string 유형의 lvalue이므로 최종 인수 유형으로 std::string&이 됩니다. 마찬가지로 U는 int로 추론되며 인수 7은 int 유형의 rvalue이므로 int&&가 됩니다. 이러한 인수 유형은 함수 템플릿과 정확하게 일치하므로 성공적인 컴파일이 가능합니다.

템플릿에 대한 일반 지침

템플릿의 경우 일반적으로 컴파일러가 템플릿 인수 추론을 수행하도록 하는 것이 좋습니다. 가능할 때마다. 템플릿 매개변수를 명시적으로 지정하는 것은 꼭 필요한 경우에만 수행해야 합니다.

위 내용은 C 11의 `std::make_pair`에서 템플릿 매개변수를 명시적으로 지정하면 컴파일에 실패하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!