Здравствуйте, Кодт, Вы писали:

К>Вообще, шаблон может быть параметризован шаблоном.
К>[c]
К>template< class A, template<class> class B >
К>class YourTemplateClass
К>{
К> typedef B<int> bint_type;
К>};

Большое спасибо за совет, но, видимо я плохо задал вопрос . Вариант передачи шаблона класса мною рассматривался и принят как резервный. Вопрос в другом: как передать (и объявить) в качестве параметра шаблона шаблон функции?

Задача алгоритма TypeListToFunctionMap заполнить map объектами, которые являются конкретизацией какого-то шаблона. Если объкт есть функция, то и шаблон должен быть шаблоном функции. И, если язык позволякт, то зачем эту функцию зяаварачивать в класс.

Но, видно, не судьба. Сегодня друг прислал книжку C++ Templates: The Complete Guide By David Vandevoorde, Nicolai M. Josuttis. Вот, что умные дядьки пишут :

8.3.4 Template Template Arguments
A template template argument must be a class template with parameters that exactly match the parameters of the template template parameter it substitutes.

Так что, всем спасибо. Пошел писать классы-обвертки