함수에서 정의 된 펑터를 다른 함수로 전달할 수없는 이유는 무엇입니까?

Question

는 I는 펑이

using namespace std; 
int main(int argc, char* argv[]) 
{ 
    struct MYINC { 
     int operator()(int a) { return a+1; } 
    } myinc; 
    vector<int> vec; 
    for (int i = 0; i < 10; i++) vec.push_back(myinc(i)); 
    return 0; 
} 

같은 함수 내의 함수를 정의 시뮬레이션하는 데 사용하지만 이러한 표준으로서, 외부 함수에 전달 된 경우 : 다음의 예와 같이 변환 될 수 발견 I

using namespace std; 
int main(int argc, char* argv[]) 
{ 
    struct MYINC{ 
     int operator()(int a) { return a+1; } 
    } myinc; 
    vector<int> vec; 
    for (int i = 0; i < 10; i++) vec.push_back(i); 
    transform(vec.begin(), vec.end(), vec.begin(), myinc); 
    return 0; 
} 

error: no matching function for call to ‘transform(std::vector<int>::iterator, std::vector<int>::iterator, std::vector<int>::iterator, main(int, char**)::MYINC&)’ 그래서 나는 주요 함수 외부 정의를 넣어 모두가 지금은 OK입니다 말하는 컴파일 오류가 발생했습니다 맞는지. C++ 템플릿을 인스턴스화하는 데 사용할 수있는 유형에 03에서 잘 알려진 꽤 성가신 제한 (WAS)가 나에게 완전히 명확하지 않은 이유로

using namespace std; 
struct MYINC{ 
    int operator()(int a) { return a+1; } 
} myinc; 
int main(int argc, char* argv[]) 
{ 
    vector<int> vec; 
    for (int i = 0; i < 10; i++) vec.push_back(i); 
    transform(vec.begin(), vec.end(), vec.begin(), myinc); 
    return 0; 
} 

Answer 1

두 버전 모두 g ++ 4.8.2 (C++ 11 컴파일러)로 정상적으로 컴파일됩니다.

C++ 03 컴파일러는 C++ 03에서 지원되지 않았기 때문에 로컬 형식의 템플릿을 인스턴스화하는 데 방해가됩니다.

실제로 문제의 근원이되는 한 가지 해결책은 최신 컴파일러 버전이나 다른 컴파일러를 사용하는 것입니다.

또 다른 해결책은 C++ 03에서도 로컬 클래스의 구성원 함수 인 (C++ 11의 멤버 함수)을 사용하여 "실제"함수를 로컬에서 정의 할 수 있다는 것입니다. 람다 표현식을 사용하여).

그러나, 이러한 문제를 다루는을 제외하고는 펑은 "진짜"기능을 통해 일반적인 성능 이점이있다, 즉 그 대신 함수 포인터의 클래스의 객체와 함께 관련 operator()inline로 컴파일러는 함수 구현을 알고 있기 때문에 훨씬 더 최적화 할 수 있습니다.

Answer 2

.

로컬로 정의 된 클래스는 템플릿의 매개 변수로 사용할 수 없습니다.

<algorithm> 라이브러리의 적절한 사용을 어렵게 만들었습니다. 코드의 컨텍스트를 로컬로 유지할 수 없기 때문에 대신 모든 펑터, 비교 자 등을 네임 스페이스 수준으로 배치해야합니다. 그 (것)들을위한 재미 있은 이름 및 사용의 점에서 멀리두기.