수수께끼 풀기: 명시적 템플릿 매개변수를 사용한 std::make_pair 수수께끼
C 영역에서 std::make_pair 함수는 편리한 기능으로 두각을 나타냈습니다. 쌍을 만드는 도구입니다. 그러나 C 11에서 명시적으로 지정된 템플릿 매개변수와 함께 이 기능을 사용하려고 하면 특이한 문제가 발생합니다. 이 기사에서는 이 상황 뒤에 있는 수수께끼의 동작을 자세히 설명합니다.
현재 오류
다음을 고려하세요. 명시적인 템플릿 인수를 사용하여 문자열과 정수 쌍을 생성하려고 시도하는 코드 조각:
std::pair<:string int>& b = std::make_pair<:string int>(s, 7);</:string></:string>
예상된 컴파일 대신 성공하면 다음과 같은 비밀스러운 오류 메시지가 나타납니다.
error: no matching function for call to 'make_pair(std::string&, int)'
Unveiling the Mystery
이 오류의 원인은 std::make_pair의 잘못된 사용에 있습니다. 이 함수는 제공된 인수를 기반으로 템플릿 매개변수를 추론하도록 설계되었습니다. 이러한 매개변수를 명시적으로 지정하면 추론 프로세스가 방해됩니다.
Under the Hood
std::make_pair의 C 11 구현은 T&& 및 U&& 유형의 두 매개변수를 사용합니다. 여기서 T와 U는 템플릿 유형 매개변수입니다. . 문제가 있는 코드에서 볼 수 있듯이 템플릿 인수를 명시적으로 지정하면 인수 추론이 발생하지 않습니다. 대신 지정된 유형이 템플릿 선언으로 직접 대체되어 다음과 같은 결과가 발생합니다.
make_pair(std::string&& argT, int&& argU);
Rvalue 참조의 중요한 역할
명시적으로 지정된 템플릿의 두 매개 변수는 모두 rvalue입니다. rvalue 표현식에만 바인딩할 수 있는 참조(&&)입니다. 제공된 코드에서 s는 lvalue입니다(임시 값이 아니며 이동되지 않음). 결과적으로 함수 템플릿이 인수와 일치하지 않아 컴파일 오류가 발생합니다.
명시적 인수 없이 작동하는 이유
명시적 템플릿 인수를 생략하면 인수 추론이 발생합니다. 템플릿에 있는 rvalue 참조 매개 변수의 특수한 특성(참조 축소)으로 인해 A&& 유형의 rvalue 참조 매개 변수(A는 템플릿 유형 매개 변수)는 A의 모든 유형에 바인딩될 수 있습니다. A가 lvalue, rvalue, 자격을 갖춘 또는인지 여부 그렇지 않고 A&&가 바인딩될 수 있습니다.
예제 코드에서 s는 std::string 유형의 lvalue이고 7은 int 유형의 rvalue입니다. 컴파일러는 T가 std::string&이고 U가 int라고 추론하여 s와 7이 추론된 매개변수 유형에 성공적으로 바인딩되도록 합니다.
결론
이러한 오류를 방지하려면 다음을 따르세요. 다음 원칙: 함수 인수에서 템플릿 인수를 추론할 수 있는 경우 컴파일러가 추론을 수행하도록 허용합니다. 인수를 명시적으로 제공하는 것은 불필요한 경우가 많으며 예상치 못한 결과가 발생할 수 있습니다. 프로그래머는 인수 추론의 힘을 활용하여 코드를 단순화하고 정확성을 유지하면서 가독성을 높일 수 있습니다.
위 내용은 C 11에서 `std::make_pair`가 명시적 템플릿 인수와 함께 실패하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!

이 기사는 기본 (int, float, char 등), 파생 (배열, 포인터, 스트러크) 및 공극 유형을 포함하는 C 함수 리턴 유형에 대해 자세히 설명합니다. 컴파일러는 함수 선언과 반환 명령문을 통해 반환 유형을 결정합니다.

GULC는 최소 오버 헤드, 공격적인 인라인 및 컴파일러 최적화 우선 순위를 정하는 고성능 C 라이브러리입니다. 고주파 거래 및 임베디드 시스템과 같은 성능 크리티컬 애플리케이션에 이상적 인 디자인은 단순성, 모듈을 강조합니다.

이 기사는 문자열 케이스 변환에 대한 C 기능을 자세히 설명합니다. ctype.h의 toupper () 및 tolower ()를 사용하고 문자열을 통한 반복 및 널 터미네이터를 처리합니다. ctype.h를 잊어 버리고 문자 그럴을 수정하는 것과 같은 일반적인 함정은 다음과 같습니다.

이 기사는 C 함수 선언 대 정의, 인수 통과 (값 및 포인터 별), 리턴 값 및 메모리 누출 및 유형 불일치와 같은 일반적인 함정을 설명합니다. 모듈성 및 Provi에 대한 선언의 중요성을 강조합니다.

이 기사에서는 C 기능 반환 값 저장을 검사합니다. 작은 반환 값은 일반적으로 속도 레지스터에 저장됩니다. 더 큰 값은 포인터에 메모리 (스택 또는 힙)를 사용하여 수명에 영향을 미치고 수동 메모리 관리가 필요할 수 있습니다. 직접 ACC

이 기사는 형용사 "별개", 문법 기능, 공통 문구 (예 : "구별", "뚜렷하게 다른") 및 공식 대 비공식의 미묘한 응용 프로그램의 다각적 인 사용을 분석합니다.

이 기사는 효율적인 STL 알고리즘 사용을 자세히 설명합니다. 데이터 구조 선택 (벡터 대 목록), 알고리즘 복잡성 분석 (예 : std :: sort vs. std :: partial_sort), 반복자 사용 및 병렬 실행을 강조합니다. 일반적인 함정과 같은

이 기사에서는 컨테이너, 반복자, 알고리즘 및 함수 인 핵심 구성 요소에 중점을 둔 C 표준 템플릿 라이브러리 (STL)에 대해 설명합니다. 일반적인 프로그래밍을 가능하게하기 위해 이러한 상호 작용, 코드 효율성 및 가독성 개선 방법에 대해 자세히 설명합니다.


핫 AI 도구

Undresser.AI Undress
사실적인 누드 사진을 만들기 위한 AI 기반 앱

AI Clothes Remover
사진에서 옷을 제거하는 온라인 AI 도구입니다.

Undress AI Tool
무료로 이미지를 벗다

Clothoff.io
AI 옷 제거제

AI Hentai Generator
AI Hentai를 무료로 생성하십시오.

인기 기사

뜨거운 도구

DVWA
DVWA(Damn Vulnerable Web App)는 매우 취약한 PHP/MySQL 웹 애플리케이션입니다. 주요 목표는 보안 전문가가 법적 환경에서 자신의 기술과 도구를 테스트하고, 웹 개발자가 웹 응용 프로그램 보안 프로세스를 더 잘 이해할 수 있도록 돕고, 교사/학생이 교실 환경 웹 응용 프로그램에서 가르치고 배울 수 있도록 돕는 것입니다. 보안. DVWA의 목표는 다양한 난이도의 간단하고 간단한 인터페이스를 통해 가장 일반적인 웹 취약점 중 일부를 연습하는 것입니다. 이 소프트웨어는

Atom Editor Mac 버전 다운로드
가장 인기 있는 오픈 소스 편집기

Dreamweaver Mac版
시각적 웹 개발 도구

PhpStorm 맥 버전
최신(2018.2.1) 전문 PHP 통합 개발 도구

SecList
SecLists는 최고의 보안 테스터의 동반자입니다. 보안 평가 시 자주 사용되는 다양한 유형의 목록을 한 곳에 모아 놓은 것입니다. SecLists는 보안 테스터에게 필요할 수 있는 모든 목록을 편리하게 제공하여 보안 테스트를 더욱 효율적이고 생산적으로 만드는 데 도움이 됩니다. 목록 유형에는 사용자 이름, 비밀번호, URL, 퍼징 페이로드, 민감한 데이터 패턴, 웹 셸 등이 포함됩니다. 테스터는 이 저장소를 새로운 테스트 시스템으로 간단히 가져올 수 있으며 필요한 모든 유형의 목록에 액세스할 수 있습니다.
