メソッドポインタをテンプレートパラメータとして渡します：ここで継承されたメソッドを使用できないのはなぜですか？

Question

次のコード（より大きいプログラムから圧縮されている）は、clangまたはgccでコンパイルされません。

bad.cc:15:3: error: no matching function for call to 'f1' 
    f1<S2, &S2::m1>(this); 
    ^~~~~~~~~~~~~~~ 
bad.cc:21:5: note: in instantiation of member function 'S2<S1>::m3' requested 
     here 
    o.m3(); 
    ^
bad.cc:10:43: note: candidate template ignored: invalid explicitly-specified 
     argument for template parameter 'm' 
template<typename S, void (S::*m)()> void f1(S* o) { 
             ^
1 error generated. 

私はm2でm1を交換するときに、このコードはコンパイルされます。

struct S1 { 
    void m1() {} 
}; 

template<typename B> struct S2 : B { 
    void m2() {} 
    void m3(); 
}; 

template<typename S, void (S::*m)()> void f1(S* o) { 
    (o->*m)(); 
} 

template<typename B> void S2<B>::m3() { 
    f1<S2, &S2::m1>(this); 
} 

int main() { 
    void (S2<S1>::*m)() = &S2<S1>::m1; 
    S2<S1> o; 
    o.m3(); 
} 

はここで打ち鳴らすのエラーメッセージです。明らかにコンパイラはm1（m1をm4に置き換えたときに別のメッセージを知っている）ので、なぜこのコンテキストではポインタが無効であるべきですか？

Answer 1

事実、m1のタイプはvoid(S1::*)(void)であり、void(S2::*)(void)ではありません。この（まだ）しかし、それを行うことができるTMPのビットと、間接的な基底クラスで定義されたメソッドに拡張しませんもちろん

struct S1 { 
    void m1() {} 
}; 

template<typename B> struct S2 : B { 
    void m2() {} 
    void m3(); 
}; 

template<typename S, typename B, void (B::*m)(void)> void f1(S* o) { 
    (o->*m)(); 
} 

template<typename B> void S2<B>::m3() { 
    f1<S2, B, &B::m1>(this); 
} 

int main() { 
    S2<S1> o; 
    o.m3(); 
} 

（かどうかを確認します：だから知らベースクラス名を活用して、それを修正あなたが/ S2<B>&がB&に変換されることを保証するためにtypetraitsを使用する必要がある可能性があり

template<typename B, typename MF> void f1(B* o, MF mfp) { 
    (o->*mfp)(); 
} 

template<typename B> void S2<B>::m3() { 
    f1(this, &B::m1); 
} 

：私はネイティブ2012行くの休憩が続く間:)）

をより「柔軟な」アプローチが可能だろうと投稿することができますクラスレイアウトがまだない場合現在の例のように明示的に保証します。