Скажите, что Вы имеете кортеж и хотите генерировать новый кортеж путем применения метафункции на каждый тип первого. Что' самый эффективный C++ metafuntion для выполнения к этой задаче? Также возможно использовать C++ 0x variadic шаблон для обеспечения лучшей реализации?
Как насчет этого:
template<typename Metafun, typename Tuple>
struct mod;
// using a meta-function class
template<typename Metafun, template<typename...> class Tuple, typename ...Types>
struct mod<Metafun, Tuple<Types...>> {
typedef Tuple<typename Metafun::template apply<Types>::type...>
type;
};
Затем
typedef std::tuple<int, bool> tuple_foo;
struct add_pointer {
template<typename T>
struct apply { typedef T *type; };
};
typedef mod<add_pointer, tuple_foo>::type tuple_ptrfoo;
Это использование класса метафункции путем обертывания apply
в не-шаблон. Это позволяет передавать его в шаблоны C ++ 03 (которые не могут принимать шаблоны с произвольными параметрами, просто выполняя template
). Вы, конечно, можете принять и чистую метафункцию (не класс)
template<template<typename...> class Metafun, typename Tuple>
struct mod;
// using a meta-function
template<template<typename...> class Metafun, template<typename...> class Tuple,
typename ...Types>
struct mod<Metafun, Tuple<Types...>> {
typedef Tuple<typename Metafun<Types>::type...>
type;
};
И использовать шаблон std :: add_pointer
typedef mod<std::add_pointer, tuple_foo>::type tuple_ptrfoo;
Или вы можете обернуть его в класс, чтобы он был совместим с первая версия
// transforming a meta function into a meta function class
template<template<typename...> class Metafun>
struct ToClass {
template<typename ... T>
struct apply { typedef Metafun<T...> type; };
};
typedef mod<ToClass<std::add_pointer>, tuple_foo>::type tuple_ptrfoo;
Надеюсь, это поможет.