C 11에서 `std::make_pair`가 명시적 템플릿 매개변수와 함께 실패하는 이유는 무엇입니까?

C 11 make_pair가 명시적 템플릿 매개변수로 인해 실패함

문제:

g 4.7을 사용하는 경우 -std=c 11을 활성화하면 다음 코드가 실패합니다. compile:

std::pair<std::string, int>& b = std::make_pair<std::string, int>(s, 7);

make_pair 함수가 있음에도 불구하고 컴파일러에서 오류가 발생합니다.

설명:

std::make_pair는 의도된 것입니다. 템플릿 매개변수를 명시적으로 지정하지 않고 사용할 수 있습니다. C 11에서는 두 개의 rvalue 참조 인수인 T&&와 U&&를 사용합니다. 여기서 T와 U는 템플릿 유형 매개변수입니다. 그러나 템플릿 인수를 명시적으로 지정하면 예상되는 rvalue 참조와 제공된 lvalue 인수(예제 코드의 s)가 일치하지 않게 됩니다.

결과적으로 컴파일러는 다음을 보고합니다.

error: no matching function for call to ‘make_pair(std::string&, int)’

템플릿 인수가 명시적으로 제공되지 않으면 템플릿 인수 추론이 발생합니다. 이를 통해 rvalue 참조 템플릿 매개변수가 함수 인수로 나타날 때 lvalue에 바인딩할 수 있습니다. 템플릿 인수가 없는 std::make_pair의 경우 컴파일러는 T를 std::string&으로 추론하고 U를 int로 추론하고 s와 7을 함수 인수에 성공적으로 바인딩합니다.

해결책:

std::make_pair의 권장 사용법은 템플릿 인수 추론에 의존하여 템플릿 인수를 생략하는 것입니다. 이 규칙을 따르면 컴파일러는 인수 일치를 올바르게 처리하고 컴파일 오류를 방지합니다.

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