Как вывести тип класса из типа метода в шаблонах C++?

Question

В шаблонах, как показано ниже, я хотел бы, чтобы вызов Run(&Base::foo) преуспеть, без необходимости дважды указывать тип Base (как это сделано при компиляции вызова Run<Base>(&Base::foo)). Могу ли я получить это? Возможно, без добавления тонны заголовков Boost?

С предоставленной кодой, я получаю ошибку:

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

(вы можете возиться с сниппета в http://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? 
} 

Answer 1

T в Traits<T>::BoolMethodPtr находится в не выводятся контекст, так что компилятор не будет выводить автоматически из вызова, что должно быть типа T. Это потому, что может быть такой код:

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

template<> 
struct Traits<int> { 
    typedef bool (Base::*BoolMethodPtr)(); 
}; 

Run(&Base::foo); /* What should T be deduced to? Base and int are both equally possible */ 

Если вы можете обойтись без Traits<T> класса, вы можете написать Run как:

template<class Class> 
void Run(bool (Class::*check)()) { 
    Class* y = dynamic_cast<Class*>(x); 
    std::cout << (y->*check)(); 
} 

В этом контексте Class можно вывести в виду Base

Answer 2

Я думаю, что это не выводятся контекст.

$ 14.8.2.5/5 «В не-выведены контекстах являются: -. Вложенным именем-спецификатор из типа, который был определен с помощью квалифицированного идентификатор»

Я думаю, что это цитата, которая применяется в этом случае. Но некоторые боги-шаблоны должны ратифицировать мое понимание.

Answer 3

Когда компилятор пытается сопоставить аргумент шаблона, он учитывает только тип первичного класса. Другими словами, когда он встречает выражение:

Run(&Base::foo); 

... и он пытается выяснить параметр шаблона для Run, он рассматривает только тип foo сам по себе, и не учитывает то, что класс foo является часть.

EDIT:

И тип foo является bool(Base::*)(void), но то, что вы хотите, чтобы компилятор найти только Base

Answer 4

Чтобы выбрать обособленно тип, любой тип, использовать частичную специализацию. Частичной специализации шаблона не существует, поэтому вам нужно будет непосредственно параметризовать функцию по типу аргумента и получить тип класса внутри.

template< typename T > 
struct get_host_class; // most types are not ptmfs: don't implement this 

template< typename C > 
struct get_host_class< bool (C::*)() > { // implement partial specialization 
    typedef C host; 
    typedef void sfinae; // disallow function for non ptmf arguments 
}; 

template< typename T > 
typename get_host_class<T>::sfinae Run(T check) { 
    typedef T BoolMethodPtr; // or something 
    typedef typename get_host_class<T>::host host; 
}