멤버 함수 템플릿의 인스턴스를 저장하는 중 오류가 발생했습니다.

Question

멤버 함수 템플릿 Derived::initialize의 인스턴스에 대한 포인터를 저장하려고합니다 (rextester.com 참조). 후손을 위해 simpler version을 생성했습니다.) :

class Base 
{ 
public: 
    typedef void (Base::*setterFunction)(unsigned); 

    template<unsigned N> 
    struct SetterInterface 
    { 
     static Base::setterFunction Function; 
    }; 

protected: 
    template<unsigned N> 
    void setterImpl(unsigned) 
    { 
    } 
}; 

template<unsigned N> 
Base::setterFunction Base::SetterInterface<N>::Function = &Base::setterImpl<N>; 

class Derived : public Base 
{ 
public: 
    typedef void (Derived::*Initializer)(); 

    template<typename T , void (T::*F)(unsigned) > 
    void initialize() 
    { 
    } 

    template<typename C> 
    Derived(C*) 
    { 
     Initializer initializer = &Derived::initialize<C, C::template SetterInterface<0>::Function>; // NOT OK 
     //Initializer initializer = &Derived::initialize<C, C::template setterImpl<0> >; // OK 
    } 
}; 

int main() 
{ 
    Derived derived((Base*)0); 
} 

하지만 GCC 5.4.0 (그리고 6.4.0)에 오류 메시지를 받고 있어요

Test.cpp: In instantiation of ‘Derived::Derived(C*) [with C = Base]’: 
Test.cpp:45:28: required from here 
Test.cpp:37:39: error: no matches converting function ‘initialize’ to type ‘Derived::Initializer {aka void (class Derived::*)()}’ 
    Initializer initializer = &Derived::initialize<C, C::template SetterInterface<0>::Function>; 
            ^
Test.cpp:30:7: note: candidate is: template<class T, void (T::* F1)(unsigned int)> void Derived::initialize() 
    void initialize() 

문제는 멤버 함수 템플릿 인수로 거짓말을 나타납니다 때문에 C::template SetterInterface<0>::Function 반면 C::template setterImpl<0> 작업 (WH 나는 이전에 대한 별명으로 생각한다). 예를 들어

Base::setterFunction f1 = &Base::setterImpl<0>; 
Base::setterFunction f2 = Base::template SetterInterface<0>::Function; 

Answer 1

문제는 initialize()비 형 템플릿 파라미터 일정한 표현되어야한다는 것이다; 귀하의 코드에서 그것은 정적 멤버 대신, 그래서 그것은 작동하지 않을 수 있습니다; 이 수, 당신은 정적 constexpr로 선언 (하지만 당신은 적어도 C++ (11) 다음 컴파일러 필요할 것) 경우 :

class Base 
{ 
protected: 
    template<unsigned N> 
    void setterImpl(unsigned); 
public: 
    typedef void (Base::*setterFunction)(unsigned); 

    template<unsigned N> 
    struct SetterInterface 
    { 
     static constexpr Base::setterFunction Function = &Base::setterImpl<N>; 
    }; 
};