Как std :: tr1 :: function получает параметры сигнатурных функций и специализирует класс *

Question

Я хочу знать, как std::function определяет аргумент и параметры от типа функции, который вы передаете.

Answer 1

Это частичная специализация шаблонов.

template<typename T> class function;
template<typename Ret> class function<Ret()> { ... };
template<typename Ret, typename Arg1> class function<Ret(Arg1)> { ... };

Как вы можете видеть, это быстро устареет, но переменные шаблоны будут обрабатывать его в C ++ 0x.