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

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

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

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

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
#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++
1
2
3
4
5
6
7
8
9
10
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++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
// =========================================================================================================
// ================================================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++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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++
1
2
3
4
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++
1
2
3
4
5
6
7
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++
1
2
3
4
5
6
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>>;
как видишь, во втором случае типы не совпадают.

Новые блоги и статьи Все статьи Все блоги /
Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а привычная функция main(). . .	моя боль iceja 24.01.2026 Выложила интерполяцию кубическими сплайнами www. iceja. net REST сервисы временно не работают, только через Web. Написала за 56 рабочих часов этот сайт с нуля. При помощи perplexity. ai PRO , при. . .	Модель сукцессии микоризы anaschu 24.01.2026 Решили писать научную статью с неким РОманом	http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .
http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь(не выше 3-го порядка) постоянного тока с элементами R, L, C, k(ключ), U, E, J. Программа находит переходные токи и напряжения на элементах схемы классическим методом(1 и 2 з-ны. . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .	Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/

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

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

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

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

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

Решение