외부 클래스 템플릿의 멤버 func에 대한 포인터를 중첩 클래스에 전달

Question

중첩 클래스 Outer의 생성자에 멤버 함수 Outer<T>::foo에 대한 포인터를 전달하는 데 어려움이 있습니다 (ideone 참조).

template<typename T1> 
struct Outer 
{ 
    void foo() 
    { 
    } 

    Outer() : inner(&Outer::foo) // ERROR: compiles without &Outer::foo and Inner(F f), below 
    { 
    } 

    template<typename T2, void (T2::*F)()> 
    struct Inner 
    { 
     Inner(F f) // ERROR 
     { 
     } 
    }; 

    Inner<Outer,&Outer::foo> inner; 
}; 

int main() 
{ 
    Outer<int> outer; 
} 

내가 뭘 잘못하고 있니? 이것이 가능한지 궁금해지기 시작했습니다.

Answer 1

문제는 변수와 템플릿 인수가 충돌하는 것입니다. 상수 포인터를 템플릿 인수로 사용하거나 변수 포인터를 함수의 인수로 전달할 수 있습니다.

template<typename T1> 
struct Outer 
{ 
    void foo() 
    { 
    } 

    Outer() : inner(&Outer::foo) 
    { 
    } 

    template<typename T2> 
    struct Inner 
    { 
     // Takes a pointer at runtime to any matching signature in T2 
     Inner(void (T2::*f)()) 
     { 
     } 
    }; 

    Inner<Outer> inner; 
}; 

int main() 
{ 
    Outer<int> outer; 
} 

Live

또는이 작동 :

이 작동

는

template<typename T1> 
struct Outer 
{ 
    void foo() 
    { 
    } 

    Outer() : inner() 
    { 
    } 

    // Takes a pointer at compile time to a matching function in T2 
    template<typename T2, void (T2::*f)()> 
    struct Inner 
    { 
     Inner() 
     { 
     } 
    }; 

    Inner<Outer,&Outer::foo> inner; 
}; 

int main() 
{ 
    Outer<int> outer; 
} 

Live