Nos modelos mostrados abaixo, eu gostaria da chamadaRun(&Base::foo) seja bem-sucedido sem a necessidade de nomear o tipo Base duas vezes (como é feito na compilaçãoRun<Base>(&Base::foo) ligar). Eu posso ter aquilo? Possivelmente sem adicionar uma tonelada deImpulso cabeçalhos?

Com o código fornecido, recebo um erro de:

prog.cpp:26: error: no matching function for call to ‘Run(bool (Base::*)())’

(você pode mexer no snippet emhttp://ideone.com/8NZkq):

#include <iostream>

class Base {
public:
  bool foo() { return true; }
};

Base* x;

template<typename T>
struct Traits {
  typedef bool (T::*BoolMethodPtr)();
};

template<typename T>
void Run(typename Traits<T>::BoolMethodPtr check) {
  T* y = dynamic_cast<T*>(x);
  std::cout << (y->*check)();
}

int main() {
  Base y;
  x = &y;
  Run<Base>(&Base::foo);
  Run(&Base::foo); // why error?
}