Использование условных определений с вариационными шаблонами

Question

Использование условных определений с вариационными шаблонами

0

Если у меня есть функция шаблона, которая принимает известное количество аргументов шаблона, я могу использовать оператор enable_if вместе с вещами вроде is_base_of для ограничения юридических типов. Например:

template <typename T>
typename enable_if<is_base_of<BaseClass, T>::value, void>::type
function() {
    // do stuff with T, which is ensured to be a child class of BaseClass
}

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

template <typename... T>
/* What goes here? */
function() {
    // do stuff with the T types, which are ensured to be child classes of BaseClass
}

Как вы собираетесь писать это условное определение?

stett 20 март 2014, в 09:11

Источник

Теги:

c++

c++11

templates

variadic-templates

enable-if

1 ответ

Ещё вопросы

Jarod42 · Accepted Answer · 2014-03-20T07-20-00.000Z

Вы можете использовать следующие типы type_traits:

template <typename Base, typename T, typename... Ts>
struct are_base_of :
    std::conditional<std::is_base_of<Base, T>::value, are_base_of<Base, Ts...>,
                     std::false_type>::type
{};

template <typename Base, typename T>
struct are_base_of<Base, T> : std::is_base_of<Base, T> {};

И затем используйте

template <typename... Ts>
typename std::enable_if<are_base_of<BaseClass, Ts...>::value, void>::type
function() {
    // do stuff with Ts, which is ensured to be a child class of BaseClass
}

+1 на мгновение я не видел расширения базы (не спрашивай; здесь уже поздно). Красиво обработано.
Круто - поэтому структура are_base_of рекурсивно наследует от is_base_of для каждого типа в Ts . Спасибо Джарод!