기능 개체가 과부하 해결에 어떻게 영향을 줍니까?

Question

과부하 해결 중에 함수 개체가 일반 함수와 다르게 처리됩니까? 그렇다면 어떻게? 여기

#include <iostream> 

namespace N 
{ 
    enum E { A, B }; 

    void bar(E mode) { std::cout << "N::bar\n"; } 
} 

template <typename... Args> 
void bar(Args&&... args) { std::cout << "global bar\n"; } 

int main() 
{ 
    bar(N::A); 
} 

출력은 "N : 바"이다

동등하게 호출 가능한 함수 객체 함수를 대체 여기서 I는 다음의 경우에 실행 된 코드의 의미를 변경. 지금까지는 매우 좋았습니다 : N :: bar는 ADL에 의해 발견되었습니다. N :: bar와 전역 막대가 정확히 일치합니다. N :: bar는 템플릿이 아니기 때문에 선호됩니다.

그러나 나는과 같이, 함수 객체로 글로벌 줄을 변경할 경우 :

#include <iostream> 

namespace N 
{ 
    enum E { A, B }; 

    void bar(E mode) { std::cout << "N::bar\n"; } 
} 

struct S 
{ 
    template <typename... Args> 
    void operator()(Args&&... args) { std::cout << "global bar\n"; } 
}; 
S bar; 

int main() 
{ 
    bar(N::A); 
} 

출력은 이제 "글로벌 바"입니다. 차이점은 무엇입니까?

Answer 1

여기 중요한 비트는 조회가 이름 호출 이 함수 호출의 함수 인이라는 것을 결정하는 경우에만 실행된다는 것입니다. 두 번째 경우에 bar은 개체 인이고 함수가 아니므로 식 bar(N::A)은 함수 호출이 아니며 개체 bar에 operator()을 적용한 것입니다. 함수 호출이 아니기 때문에 ADL은 시작되지 않으며 N::bar은 고려되지 않습니다.

3.4.1/3

3.4.2에서 설명 된 함수 호출의 후위 표현으로 사용 적정 이름에 대한 조회. [주의 : (구문 분석하는 동안) 표현식이 함수 호출에 대한 후치식인지 결정하기 위해 일반적인 이름 조회 규칙이 적용됩니다. 3.4.2 [ADL]의 규칙은 표현식의 구문 해석에 영향을 미치지 않습니다.

그것을 보는 또 다른 방법은 ADL이 오버로드 기능의 세트에 새로운 기능을 추가 할 것을 통지하는 것입니다,하지만 두 번째 예에서 그러한 설정이 없습니다 : 조회 오브젝트와의 멤버를 찾습니다 개체가 호출됩니다.

Answer 2

은 (다음과 같이 정의)

하자 X이 규정 조회 (3.4.1)에 의해 생성 된 조회 설정하고 Y가 인수 종속 조회에 의해 생성 된 조회 세트하자라고하는 3.4.2p3를 참조하십시오. X는

• ...
• 함수 나 함수 템플릿도이 선언이 포함되어있는 경우

는 Y가 비어 있습니다.

그러한 규칙이 없으면 ADL이 다른 기능을 오버로드 집합에 추가합니다. 사실, 13.3.1.1p1은 이것에 의존합니다. 하나는 피연산자가 클래스 객체를 나타내는 함수 호출 표현식이고 다른 하나는 피연산자가 하나 이상의 함수 또는 함수 템플리트를 나타내는 것입니다.