Применение is_same для списка типов

Croessmah · Регистрация: 27.09.2012

Author24 — интернет-сервис помощи студентам

Итак, std::is_same может сравнить только два типа.
Написал велосипед,
который сравнивает первый тип со всеми остальными.
Собственно, вот код:

C++

#include <type_traits>
 
 
// =========================================================================================================
// ================================================is_same_list=============================================
// =========================================================================================================
 
 
namespace detail
{
 
 
 
struct is_same_list_impl
{
    template<
        template<bool,bool> class LogicTemplate,
        typename SameType,
        typename FirstType,
        typename ... Args
    >
    static
    constexpr std::enable_if_t<sizeof...(Args)!=0,bool>
    constexpr_call()
    {
        return
                LogicTemplate<
                    std::is_same<
                        SameType,
                        FirstType
                    >::value,
                    constexpr_call<LogicTemplate, SameType, Args...>()
                >::value ;
    }
 
 
 
    template<
        template<bool,bool> class LogicTemplate,
        typename SameType,
        typename FirstType,
        typename ... Args
    >
    static
    constexpr std::enable_if_t<sizeof...(Args)==0,bool>
    constexpr_call()
    {
        return
                std::is_same<
                    SameType,
                    FirstType
                >::value ;
    }
};
 
 
 
 
 
}//end of detail
 
 
 
 
namespace compile_time
{
    template<bool First, bool Second>
    struct constexpr_logical_and
    {
        static constexpr bool value = First && Second ;
    };
 
 
    template<bool First, bool Second>
    struct constexpr_logical_or
    {
        static constexpr bool value = First || Second ;
    };
}//end of compile_time
 
 
 
template<typename First, typename Second>
struct is_same_decay
{
    static constexpr bool value =
            std::is_same<
                std::decay_t<First>,
                std::decay_t<Second>
            >::value ;
};
 
 
template<typename SameType, typename ... Args>
struct is_all_same
{
    static constexpr bool value =
            detail::is_same_list_impl::constexpr_call<
                compile_time::constexpr_logical_and,
                SameType, Args...
            >() ;
};
 
 
template<typename SameType, typename ... Args>
struct is_one_same
{
    static constexpr bool value =
            detail::is_same_list_impl::constexpr_call<
                compile_time::constexpr_logical_or,
                SameType, Args...
            >() ;
};
 
 
 
 
 
// =========================================================================================================
// =========================================================================================================
// =========================================================================================================

is_one_same - определяет, есть ли в списке параметров хоть один тип, одинаковый с первым в списке,
т.е. false, если все типы отличны от первого, true - во всех остальных случаях.
is_all_same - определяет, все ли типы в списке одинаковые,
т.е. true, если все типы соответствуют первому, false - во всех остальных случаях.

Пример использования:

C++

int main(int argc, char ** argv)
{
    std::cout << is_all_same<int,int,float,double,int&>::value << std::endl ; //false
    std::cout << is_all_same<int,int,int,int,int&>::value << std::endl ;//false 
    std::cout << is_all_same<int,int,int,int,int>::value << std::endl ;//true
    std::cout << std::endl ;
    std::cout << is_one_same<int,int,float,double,int&>::value << std::endl ;//true
    std::cout << is_one_same<int,std::ostream,float,double,unsigned int>::value << std::endl ;//false
    std::cout << is_one_same<int,int,int,int,int>::value << std::endl ;//true
}

http://rextester.com/CZFY1496

Для чего это мне может пригодится, опишу в теме Обертка над boost::lexical_cast для работы с unsigned типами

@ForEveR · 01.02.2016, 10:35

Croessmah, В С++14 можно юзать std::logical_and/std::logical_or они constexpr cудя по документации.
Есть подозрение что можно реализовать is_same проще.

Croessmah · 01.02.2016, 10:38 **[ТС]**

Сообщение от ForEveR

В С++14 можно юзать std::logical_and/std::logical_or они constexpr cудя по документации.

Да, в 14-ом стандарте оно constexpr.
Но на случай, если переделать нужно будет на 11-ый, пусть висит.

@Kastaneda · 01.02.2016, 11:12

Сообщение от ForEveR

Есть подозрение что можно реализовать is_same проще.

Поддерживаю.
Глядя на код, складывается впечатление, что хотелось применить как можно больше всяких фич (так бывает после прочтения новой книги

), из-за чего код получился неоправданно сложный.

Не по теме:

После того, как я научился применять SFINAE-фичи из С++11 я написал в рабочем проекте класс, в котором один и тот же метод реализован для разных типов при помощи enable_if, тогда мне показалось это круто. Уже позже глядя на это я понял, что это решается банальной перегрузкой, которая описана в начале любой книги по С++ для начинающих. Не надо доводить себя до такого, это плохо :) Если есть простое простое решение - нужно использовать простое решение.

Croessmah · 01.02.2016, 12:35 **[ТС]**

Сообщение от Kastaneda

Поддерживаю.

Как раз занимаюсь

Добавлено через 27 минут
Переделал так:

C++

// =========================================================================================================
// ================================================is_same_list=============================================
// =========================================================================================================
 
 
#include <type_traits>
 
namespace detail
{
 
    template<
        template<class T> class LogicTemplate,
        typename SameType
    >
 
    constexpr bool
    is_same_list_impl()
    {
        return !LogicTemplate<bool>()(true,false) ;
    }
 
 
    template<
    template<class T> class LogicTemplate,
        typename SameType,
        typename FirstType,
        typename ... Args
    >
    constexpr bool
    is_same_list_impl()
    {
        return
                LogicTemplate<bool>()(std::is_same<SameType, FirstType>::value,
                    is_same_list_impl<LogicTemplate, SameType, Args...>()
                ) ;
    }
 
 
 
}//end of detail
 
 
 
 
namespace compile_time
{
    template<class T>
    struct logical_and : public std::binary_function<T,T,bool>
    {
        constexpr bool operator()(const T& first, const T& second) { return first && second ; }
    };
 
 
    template<class T>
    struct logical_or : public std::binary_function<T,T,bool>
    {
        constexpr bool operator()(const T& first, const T& second) { return first || second ; }
    };
}//end of compile_time
 
 
 
 
template<typename SameType, typename ... Args>
struct is_all_same
{
    static constexpr bool value =
            detail::is_same_list_impl<
                compile_time::logical_and,
                SameType, Args...
            >() ;
};
 
 
template<typename SameType, typename ... Args>
struct is_one_same
{
    static constexpr bool value =
            detail::is_same_list_impl<
                compile_time::logical_or,
                SameType, Args...
            >() ;
};
 
 
 
 
 
// =========================================================================================================
// =========================================================================================================
// =========================================================================================================

Почему-то ночью так не получалось,
видать спал больше

Добавлено через 8 минут

Сообщение от ForEveR

В С++14 можно юзать std::logical_and/std::logical_or они constexpr cудя по документации.

Оставил свое, только переделал под один интерфейс.
В gcc 4.9.3 с ключем -std=c++14
всё равно std::logical_and/std::logical_or без constexpr

Печалька.

@ct0r · 01.02.2016, 14:09

Croessmah, я мельком глянул, наверное что-то упустил, но почему так не катит?

C++

template <class ...T> struct is_all_same;
 
template <class T>
struct is_all_same<T> {
    static constexpr bool value = true;
};
 
template <class T, class U, class... V>
struct is_all_same<T, U, V...> {
    static constexpr bool value = std::is_same<T, U>() && is_all_same<U, V...>::value;
};
 
template <class ...T> struct is_one_same;
 
template <class T>
struct is_one_same<T> {
    static constexpr bool value = false;
};
 
template <class T, class U, class... V>
struct is_one_same<T, U, V...> {
    static constexpr bool value = std::is_same<T, U>() || is_one_same<T, V...>::value;
};

Croessmah · 01.02.2016, 14:23 **[ТС]**

Сообщение от ct0r

наверное что-то упустил, но почему так не катит?

Да я ночью что только не перепробовал - не канает.
Но это я что-то упустил, а не Вы.

Добавлено через 3 минуты

Не по теме:

Сообщение от Kastaneda

SFINAE-фичи из С++11 я написал в рабочем проекте класс

я учусь, мне можно :D

Croessmah · 01.02.2016, 14:39 **[ТС]**

Сообщение от Kastaneda

нужно

В конце же останется

C++

1	is_all_same<U, пусто>::value;

Но, думаю, и так и так сработает.

@Kastaneda · 01.02.2016, 14:50

Сообщение от Croessmah

В конце же останется

не, не осталось бы, просто этот вариант раньше бы вызвался, чем вариант с одним <T>. Но вариант с одним <T> тоже рабочий, я просто прогнал.

Добавлено через 13 секунд

Сообщение от Croessmah

и так и так сработает.

ага

Не по теме:

Сообщение от Croessmah

я учусь, мне можно

Я тоже учусь, только прямо в рабочем проекте, и поскольку я тут ведущий инженер, мне тоже можно :D

Croessmah · 01.02.2016, 15:20 **[ТС]**

Не по теме:

Сообщение от Kastaneda

Я тоже учусь, только прямо в рабочем проекте, и поскольку я тут ведущий инженер, мне тоже можно

И меня научи :hysteric:

Добавлено через 9 минут
Во, понял что я упустил.

C++

template <class T, class U, class... V>
struct is_all_same {//забыл <T, U, V...>
    static constexpr bool value = std::is_same<T, U>() && is_all_same<U, V...>::value;
};

во всяком случае, список ошибок тот же

@DrOffset · 02.02.2016, 13:07

ct0r, Croessmah, Можно проще и без рекурсии:

C++

template <typename ...T>
struct pack {};
 
template <typename T, typename... V>
struct is_all_same
    : std::is_same< pack<T, V...>, pack<V..., T> >
{ };

@Kastaneda · 02.02.2016, 13:17

DrOffset, не сразу понял, круто!

@ct0r · 02.02.2016, 13:30

DrOffset, я бы так скорее всего не писал, но прием забавный однако

@DrOffset · 02.02.2016, 13:59

Не по теме:

Сообщение от ct0r

я бы так скорее всего не писал

Почему?

@ct0r · 02.02.2016, 14:13

Не по теме:

Сообщение от DrOffset

Почему?

Потому что при чтении недостаточно просто бросить взгляд на код, чтобы понять, как оно работает и почему. Вон даже Kastaneda сразу не понял :D Ну и хочется одинаковой структуры с is_one_same.

@Kastaneda · 02.02.2016, 15:18

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

C++

template<typename T, typename ... Args>
struct is_same
{
   static constexpr bool check(std::initializer_list<bool> l) { return true; } // это "для фона", смысл в том, что у нас есть готовый список bool'ов
   static constexpr bool value = check({ std::is_same<T, Args>::value ... });
};

@zarko97 · 14.04.2017, 17:41

DrOffset, я не очень понимаю для чего тут параметры шаблона меняются наизнанку...мудреный код у вас вышел

Добавлено через 54 секунды
Kastaneda, мне кажется что тут через параметр пэк и рекурсию раскрывать нужно всю эту канитель

@GbaLog- · 14.04.2017, 19:47

Сообщение от zarko97

я не очень понимаю для чего тут параметры шаблона меняются наизнанку...

ну смотри, каждый инстанс шаблона создаёт новый тип.
как будет работать:
is_all_same<int, int, int> == std::is_same<pack<int, int, int>, pack<int, int, int>>;
is_all_same<int, int&, int> == std::is_same<pack<int, int&, int>, pack<int&, int, int>>;
как видишь, во втором случае типы не совпадают.

@ForEveR В астрале 8049 / 4806 / 655 Регистрация: 24.06.2010 Сообщений: 10,562
	01.02.2016, 10:35	2
	Croessmah, В С++14 можно юзать std::logical_and/std::logical_or они constexpr cудя по документации. Есть подозрение что можно реализовать is_same проще. 1

Croessmah Неэпический 17870 / 10635 / 2054 Регистрация: 27.09.2012 Сообщений: 26,736 Записей в блоге: 1
	01.02.2016, 10:38 [ТС]	3
	Сообщение от ForEveR В С++14 можно юзать std::logical_and/std::logical_or они constexpr cудя по документации. Да, в 14-ом стандарте оно constexpr. Но на случай, если переделать нужно будет на 11-ый, пусть висит. 0

@Kastaneda 5231 / 3204 / 362 Регистрация: 12.12.2009 Сообщений: 8,113 Записей в блоге: 2
	01.02.2016, 11:12	4
	Сообщение от ForEveR Есть подозрение что можно реализовать is_same проще. Поддерживаю. Глядя на код, складывается впечатление, что хотелось применить как можно больше всяких фич (так бывает после прочтения новой книги), из-за чего код получился неоправданно сложный. Не по теме: После того, как я научился применять SFINAE-фичи из С++11 я написал в рабочем проекте класс, в котором один и тот же метод реализован для разных типов при помощи enable_if, тогда мне показалось это круто. Уже позже глядя на это я понял, что это решается банальной перегрузкой, которая описана в начале любой книги по С++ для начинающих. Не надо доводить себя до такого, это плохо :) Если есть простое простое решение - нужно использовать простое решение. 0

Croessmah Неэпический 17870 / 10635 / 2054 Регистрация: 27.09.2012 Сообщений: 26,736 Записей в блоге: 1
	01.02.2016, 14:23 [ТС]	7
	Сообщение от ct0r наверное что-то упустил, но почему так не катит? Да я ночью что только не перепробовал - не канает. Но это я что-то упустил, а не Вы. Добавлено через 3 минуты Не по теме: Сообщение от Kastaneda SFINAE-фичи из С++11 я написал в рабочем проекте класс я учусь, мне можно :D 0

@Kastaneda 5231 / 3204 / 362 Регистрация: 12.12.2009 Сообщений: 8,113 Записей в блоге: 2
	01.02.2016, 14:50	9
	Сообщение от Croessmah В конце же останется не, не осталось бы, просто этот вариант раньше бы вызвался, чем вариант с одним <T>. Но вариант с одним <T> тоже рабочий, я просто прогнал. Добавлено через 13 секунд Сообщение от Croessmah и так и так сработает. ага Не по теме: Сообщение от Croessmah я учусь, мне можно Я тоже учусь, только прямо в рабочем проекте, и поскольку я тут ведущий инженер, мне тоже можно :D 0

@Kastaneda 5231 / 3204 / 362 Регистрация: 12.12.2009 Сообщений: 8,113 Записей в блоге: 2
	02.02.2016, 13:17	12
	DrOffset, не сразу понял, круто! 0

@ct0r Игогошка! 1801 / 708 / 44 Регистрация: 19.08.2012 Сообщений: 1,367
	02.02.2016, 13:30	13
	DrOffset, я бы так скорее всего не писал, но прием забавный однако 0

@DrOffset
	02.02.2016, 13:59 #14
	Не по теме: Сообщение от ct0r я бы так скорее всего не писал Почему? 0

@ct0r
	02.02.2016, 14:13 #15
	Не по теме: Сообщение от DrOffset Почему? Потому что при чтении недостаточно просто бросить взгляд на код, чтобы понять, как оно работает и почему. Вон даже Kastaneda сразу не понял :D Ну и хочется одинаковой структуры с is_one_same. 0

@zarko97 279 / 39 / 13 Регистрация: 11.10.2015 Сообщений: 405
	14.04.2017, 17:41	17
	DrOffset, я не очень понимаю для чего тут параметры шаблона меняются наизнанку...мудреный код у вас вышел Добавлено через 54 секунды Kastaneda, мне кажется что тут через параметр пэк и рекурсию раскрывать нужно всю эту канитель 0

@GbaLog- Любитель чаепитий 3742 / 1798 / 566 Регистрация: 24.08.2014 Сообщений: 6,016 Записей в блоге: 1
	14.04.2017, 19:47	18
	Сообщение от zarko97 я не очень понимаю для чего тут параметры шаблона меняются наизнанку... ну смотри, каждый инстанс шаблона создаёт новый тип. как будет работать: `is_all_same<int, int, int> == std::is_same<pack<int, int, int>, pack<int, int, int>>;` `is_all_same<int, int&, int> == std::is_same<pack<int, int&, int>, pack<int&, int, int>>;` как видишь, во втором случае типы не совпадают. 1

Применение is_same для списка типов

Решение