ポリモーフィズムで暗黙の変換を強制するには？

Question

この例題を考えてみてください。 第2引数がメンバ関数へのポインタである関数で暗黙の変換を強制するにはどうすればいいですか？ 関数の引数リストに明示的にキャストするのは、私が今ライトを獲得したかったものではありません。 代わりに、私は何とかそれを取得として

struct Base 
{ 
    virtual ~Base() = 0 {} 
}; 

struct Derived : public Base 
{ 
    void f(){} 
}; 

typedef void(Base::*polymorph)(); 

// how do I force IMPLICIT conversion here: EDIT: (polymorph type work only for polymorph pointer type no conversion) 
void func(Base* arg1, polymorph arg2) // void* arg2, (void*) arg2 etc... dosn't work 
{ 
    polymorph temp = reinterpret_cast<polymorph>(arg2); // to achive this 
} 

int main() 
{ 
    Derived* test = new Derived; 
    // first parameter work but another gives an error 
    func(test, &Derived::f); // BY NOT CHANGING THIS! 
    delete test; 
    return 0; 
} 

Answer 1

としてきれい...のように、それは最初のパラメータでないことをやるというコンパイラをしたいと思います。以下のコード。しかし、 "temp"が実際に呼び出されたときに "this"ポインタが参照されることになるかどうかはわかりません。

typedef void(Base::*polymorph)(); 

void func(Base* arg1, polymorph arg2) 
{ 
    polymorph temp = arg2; 
} 


int main() 
{ 
    Derived* test = new Derived; 
    // first parameter work but another gives an error 
    func(test, static_cast<polymorph>(&Derived::f)); 
    delete test; 
    return 0; 
}