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

명시적 템플릿 매개변수를 사용하는 C 11 make_pair 컴파일 실패

C 11에서 make_pair 함수는 다음과 같은 쌍 생성을 용이하게 하도록 설계되었습니다. 지정된 데이터 유형. 그러나 함수 호출에서 템플릿 매개변수를 명시적으로 지정하면 컴파일 오류가 발생할 수 있습니다.

make_pair 함수는 다음 템플릿 구문을 따릅니다.

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

이 구문은 make_pair가 두 개의 rvalue 참조를 허용한다는 것을 나타냅니다. argT 및 argU를 사용하고 지정된 인수에서 템플릿 유형 매개변수 T 및 U를 추론합니다.

다음과 같이 템플릿 인수를 명시적으로 제공하는 경우 in:

std::make_pair<std::string, int>(s, 7);

rvalue 참조 매개변수가 필요합니다. 그러나 전달된 lvalue 인수는 이 요구 사항을 충족하지 않습니다. 따라서 컴파일러는 인수 유형과 rvalue 참조 매개변수 유형 간의 일치를 설정하지 못합니다.

반대로 템플릿 인수가 생략되면 컴파일러는 템플릿 인수 추론을 수행하여 s를 T에 성공적으로 바인딩합니다( std::string&) 및 7을 U(int&&)로 변환합니다. 이 프로세스는 lvalue 또는 rvalue 상태에 관계없이 동일한 템플릿 매개변수의 모든 유형에 바인딩할 수 있는 템플릿 매개변수 내의 rvalue 참조의 고유한 동작에 의해 촉진됩니다.

오류를 해결하려면 명시적 참조를 생략하면 됩니다. 템플릿 매개변수 사양

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