Могу ли я определить шаблоны для разных наборов типов?

Мне нужно написать шаблонную функцию, которая ведет себя по-разному в зависимости от класса его параметра:

template<class ContainerType>
bool myFunc(ContainerType in){
//do some stuff
}

template<class NotAContainerType>
bool myFunc(NotAContainerType in){
//do something else
}

Я ограничен С++ 11, поэтому static_if отключен от таблицы. Кроме того, классы ContainerType и NotAContainerType действительно велики и могут измениться в будущем, поэтому просто добавить несколько исключений вручную, поскольку специализация шаблонов также не является разумной.

Я знаю об std::enable_if пути std::enable_if, но как его использовать, если мне нужно применить его к двум взаимно различным наборам классов?

Ответы

Ответ 1

Создайте черты для вашей концепции Container, тогда вы можете использовать SFINAE

template <typename T>
typename std::enable_if<is_container<T>::value, bool>::type
myFunc(T in){
    //do some stuff
}

template <typename T>
typename std::enable_if<!is_container<T>::value, bool>::type
myFunc(T in){
    //do some stuff
}

или отправки тегов

namespace details
{

    template <typename T>
    bool myFunc(T in, std::true_type){
        //do some stuff
    }

    template <typename T>
    bool myFunc(T in, std::false_type){
        //do some stuff
    }

}


template <typename T>
bool myFunc(T in){
    return details::myFunc(in, is_container<T>{});
}