`int`, `int&&` 및 `const int&` 사이에서 과부하 해결이 모호한 이유는 무엇입니까?

값, Rvalue 참조 및 Const Lvalue 참조 간의 오버로드 해결

다음 시나리오를 고려하세요.

int f( int );
int f( int && );
int f( int const & );

int q = f( 3 );

f(3) 결과 호출 모호한 과부하 해결에서. f( int )를 제거하면 Clang과 GCC가 lvalue 참조보다 rvalue 참조의 우선순위를 지정하게 됩니다. 그러나 참조 오버로드 중 하나를 제거하면 f( int )의 모호성이 발생합니다.

오버로드 해결 규칙

오버로드 해결은 일반적으로 엄격한 부분 순서를 따릅니다. 그러나 이 경우 int는 서로 동일하지 않은 두 개념과 동일해 보입니다. 이 상황에 적용되는 구체적인 규칙은 다음과 같습니다.

• 문제의 매개변수에 대한 하나 이상의 매개변수 초기화가 다른 두 매개변수보다 더 잘 일치해야 합니다.
• 두 초기화를 비교할 때, 둘 중 하나가 다른 것보다 낫거나 둘 중 어느 것도 낫지 않습니다(구별할 수 없음).
• 직접 참조 바인딩에 대한 특정 규칙이 없으면 세 가지 모두 이 시나리오에서 초기화는 구별할 수 없습니다.
• 직접 참조 바인딩 규칙을 사용하면 int &&가 const int &보다 더 잘 일치하지만 어느 쪽도 int보다 낫지도 나쁘지도 않습니다.

특수 사례: 참조 바인딩

C 표준 13.3.3.2에서는 직접 참조에 대한 특별한 규칙을 제공합니다. 바인딩:

S1 및 S2가 참조 바인딩(8.5.3)이고 둘 다 참조 없이 선언된 비정적 멤버 함수의 암시적 개체 매개 변수를 참조하지 않는 경우 ref-qualifier 및 S1은 rvalue 참조를 rvalue에 바인딩하고 S2가 lvalue 참조를 바인딩하면 S1이 S2보다 더 잘 일치합니다.

이 규칙은 초기화 중 하나가 다음과 같은 경우에는 적용되지 않습니다. 참조 바인딩이 아닙니다.

향후 고려 사항

만드는 아이디어 참조 바인딩이 비참조 바인딩보다 더 나은 일치가 제안되었습니다. 이 주제에 대한 토론을 시작하려면 해당 제안을 ISO C 향후 제안 포럼에 게시하는 것이 좋습니다.

위 내용은 `int`, `int&&` 및 `const int&` 사이에서 과부하 해결이 모호한 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!