Как уже ответил @AnT, в C++17 появились fold expressions
.
Если использование C++17 недоступно, то можно сделать следующим образом:
template<typename ... Args>
struct any_of;
template<typename CheckType, typename HeadType, typename ... Args>
struct any_of<CheckType, HeadType, Args...>: any_of<CheckType, Args...> {};
template<typename CheckType, typename ... Args>
struct any_of<CheckType, CheckType, Args...>: std::true_type {};
template<typename CheckType>
struct any_of<CheckType>: std::false_type {};
//использование
template<typename ... Args>
struct MyClass
{
static_assert(!any_of<float, Args...>::value, "float not supported");
};
//...
MyClass<int, double> d1;//ok
MyClass<float, int> d2;//assertion
Для понимания работы этого кода предлагаю разобраться сначала с возможной реализацией is_same
для двух типов:
//Общая версия шаблона наследуется от std::false_type,
//что дает сразу готовый член value и операцию преобразования к bool.
//false_type::value имеет значение false
template<typename T, typename U>
struct my_is_same: std::false_type
{};
//Весь "фокус" в данной специализации.
//Данная специализация будет выбрана, если типы переданные в шаблон одинаковые (T и T).
//И эта специализация наследуется от std::true_type,
///и член value равен true
template<typename T>
struct my_is_same<T, T>: std::true_type
{};
//...
static_assert(my_is_same<float, float>::value, "failure"); //ок - my_is_same здесь наследник std::true_type
static_assert(my_is_same<float, int>::value, "failure"); //ошибка - my_is_same здесь наследник std::false_type
Думаю, прием с наследованием от false_type
и true_type
понятен.
В начальном коде используется еще один прием - наследование в шаблоне класса от самого себя с другим набором аргументов шаблона. Разберем и его на примере первоначального кода.
//Общая версия шаблона не реализуется и не используется
//Вместо нее будут использоваться специализации
template<typename ... Args>
struct any_of;
//Данная специализация выбирается если параметров более одного.
//any_of в данном случае наследуется от any_of, при этом отсекается параметр HeadType,
//т.е. он не передается в качестве аргумента шаблону базового класса.
//Таким образом с каждой "ступенью" наследования отсекается один тип из списка аргументов.
//при этом отсекается второй тип (HeadType), т.к. первый (CheckType) -
//это тот тип, который необходимо проверить.
template<typename CheckType, typename HeadType, typename ... Args>
struct any_of<CheckType, HeadType, Args...>: any_of<CheckType, Args...> {};
//Наследование и "отсечение" будет происходить до тех пор,
//пока не упремся в одну из следующих специализаций:
//Эта специализация будет выбрана, если первый и второй параметры шаблона одинаковы.
//Здесь уже используется наследование от std::true_type,
//что прерывает цепочку наследования от any_of,
//таким образом any_of становится наследником std::true_type,
//если хоть один аргументов, переданных изначально в any_of, совпадает с первым аргументом.
template<typename CheckType, typename ... Args>
struct any_of<CheckType, CheckType, Args...>: std::true_type {};
//если же мы дошли до такого момента, когда остался только проверяемый тип,
//значит в списке аргументов any_of не было типов, совпадающих с первым,
//поэтому прерываем наследование от any_of наследованием от std::false_type.
template<typename CheckType>
struct any_of<CheckType>: std::false_type {};
//Таким образом, если в пакете Args... в any_of<Type, Args...> есть тип Type,
//то any_of<Type, Args...> станет наследником std::true_type,
//в ином случае any_of<Type, Args...> станет наследником false_type
static_assert(any_of<float, int, float>::value, "float not supported");//ok - any_of наследник std::true_type
static_assert(any_of<float, int, double>::value, "float not supported");//ошибка - any_of наследник std::false_type
template <typename ...P>
, и вы какие-то типы передали вP
. Что значит "определить тип"? – HolyBlackCat 18 дек '18 в 17:23