펑터를 만들 때 친구 함수의 가시성

Question

아래 코드를 참조하십시오. drive()은이고, drive은 porsche입니다. 그러나, drive()의 선언을 주석 처리하지 않으면, g ++는 매우 이상한 '드라이브'를 제공합니다.이 범위 오류에서 펑터를 만들려고 할 때 선언되지 않았습니다. 왜?

#include <functional> 

class car { 
    friend void drive(const car c); 
}; 

//void drive(const car c); 

int main() { 

    car porsche; 
    drive(porsche); 
    std::pointer_to_unary_function<car, void> functor(drive); 

    return 0; 
} 

UPDATE 1 : 내가 그러나 나는 그것이 첫 번째 템플릿 매개 변수 드라이브의 인수의 유형을 말 했는가, ADL에 관한 대답은 거의 satified입니다, 그것은이다 차 :

std::pointer_to_unary_function<car, void> functor(drive); 

업데이트 2 :

class car { 
    friend void drive(const car c); 
}; 

//void drive(const car c) { } 

int main() { 
    car porsche; 
    drive(porsche); 
    void (*f)(const car); 
    f = drive; 
    return 0; 
} 

: OK, 여기에 우리가 펑과 기능 헤더가 필요하지 않습니다, 더 간단한 코드입니다

자, 왜 컴파일러가 drive ADL을 찾을 수 없는지 이해합니다. 이유는 위와 같지만이 코드는 템플릿에 의해 가려지지 않습니다.

Answer 1

클래스의 규정되지 않은 ID를 사용하여 friend 함수를 선언하고 해당 함수가 다른 클래스의 멤버가 아닌 경우 가장 가까운 클래스가 아닌 함수가 아닌 프로토 타입 범위에서 함수의 이름을 지정합니다.

해당 기능이 이전에 선언되지 않은 경우 friend 선언은 해당 기능을 해당 범위에 표시하지 않습니다.

그러나이 함수는 인수 종속 검색에서 볼 수 있습니다.

표현식 drive(porsche);에서 porsche은 유형이 car이므로 ADL이 사용되고 친구 기능이 있습니다.

식 drive에는 인수가 없으므로 ADL이 수행되지 않습니다. 조회가 실패하므로 drive이라는 선언이 표시되지 않습니다.

Answer 2

친구가 함수를 선언하지 않아 존재하지 않는 전역 함수를 호출하려고하기 때문에.