En las plantillas que se muestran a continuación, me gustaría la llamadaRun(&Base::foo) tener éxito sin la necesidad de nombrar el tipo Base dos veces (como se hace en la compilaciónRun<Base>(&Base::foo) llamada). ¿Puedo tener eso? Posiblemente sin agregar una tonelada deAumentar encabezados?

Con el código proporcionado, recibo un error de:

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

(puedes jugar con el fragmento enhttp://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?
}