Форум программистов, компьютерный форум, киберфорум
С++ для начинающих
Войти
Регистрация
Восстановить пароль
 
Рейтинг 4.67/6: Рейтинг темы: голосов - 6, средняя оценка - 4.67
6 / 6 / 1
Регистрация: 01.12.2010
Сообщений: 105
1

recursion with variadic template

24.01.2012, 02:57. Показов 1219. Ответов 2
Метки нет (Все метки)

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
#define NOT_COMPILE 1
 
#if NOT_COMPILE
 
// так не компилится
 
template <class Type, unsigned int head, unsigned int ... rest >
struct bitfield
{
   static const Type value = (1 << head) | bitfield <Type, rest...>::value; // строка 100
};
 
template <class Type, unsigned int head>
struct bitfield <Type, head>
{
   static const Type value = 1 << head;
};
 
#else
 
// а так компилится
 
template <class Type, unsigned int ... all>
struct bitfield
{
  static const Type value = 0;
};
 
template <class Type, unsigned int head, unsigned int ... rest >
struct bitfield <Type, head, rest...>
{
   static const Type value = (1 << head) | bitfield <Type, rest...>::value;
};
 
#endif
 
int main (int argc, const char* argv[])
{ 
   std::cout << std::hex << bitfield<unsigned int, 31>::value << std::endl;   
  
   return 0;
}

Код
$ g++ test.cpp -std=gnu++0x
test.cpp:100:67: пока не реализовано: cannot expand ‘rest ...’ into a fixed-length argument list
Первый вариант сам придумал, воторой нашёл.
Почему второй работает?
0

Помощь в написании контрольных, курсовых и дипломных работ здесь.

Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
24.01.2012, 02:57
Ответы с готовыми решениями:

С++ 11 Variadic template
не работает, как правильно? template&lt;typename T, typename... ArgTypes&gt; struct...

Variadic template
Добрый день, господа. Будьте добры, помогите кто может. Есть у меня шаблонный класс ...

Не работает variadic template
привет. код #include &lt;typeinfo&gt; #include &lt;iostream&gt; #include &lt;deque&gt; using namespace std; ...

Variadic template lambda capture
Доброго всем дня! Речь пойдёт об C++14, в котором стало возможным делать прямую передачу в...

2
Эксперт С++
5026 / 2605 / 241
Регистрация: 07.10.2009
Сообщений: 4,310
Записей в блоге: 1
24.01.2012, 10:42 2
cyberguz, я не уверен должен ли компилятор уметь так делать, но судя по комментарию к ошибке данная фича пока не реализована. К тому же мне не очень понятно, что Ваш вариант должен делать.
0
6 / 6 / 1
Регистрация: 01.12.2010
Сообщений: 105
24.01.2012, 19:59  [ТС] 3
Что не реализована - это понятно.

В моём варианте я хотел, чтобы шаблон с двумя аргументами был частичной специализацией шаблона с тремя аргументами, третий из которых - переменное число аргументов. По идее компилятор должен был раскрывать
C++
1
bitfield <Type, rest...>::value;
пока не осталось бы два аргумента и тогда он должен бы был подставить частично специализированный шаблон.

А в том способе, который работает - получается, что шаблон с большим числом аргументов является частичной специализацией шаблона с меньшим числом аргументов... или нет? Но, тем не менее он работает, а мой нет. Так вот и не понятно почему не выдаёт ошибку.

Кстати, такой вариант тоже компилится:

C++
1
2
3
4
5
6
7
8
9
10
11
template <class Type, unsigned int ... all>
struct bitfield
{
  static const Type value = 0;
};
 
template <>
struct bitfield <class Type, unsigned int head, unsigned int rest...>
{
   static const Type value = (1 << head) | bitfield <Type, rest...>::value;
};
но не работает - выдайт всегда 0
0
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
24.01.2012, 19:59

Класс сигнала на Variadic Template
Добрый день! Написал класс &quot;сигнала&quot; при помощи variadic templates, но он почему-то не работает:...

Как правильно перебросить аргументы в variadic template?
всем привет, можете помочь пж, есть такая ф-ция: template&lt;typename ... Args&gt; inline wstring...

Variadic Templates - как обращаться к аргументам variadic-функции?
Всем привет! Наверное, рано мне ещё с моими скудными знаниями в это лезть, но, изучив шаблоны и...

Ошибки: 1) use of class template requires template argument list 2) 'T' : undeclared identifier
Решил подправить свой класс с использованием шаблонов, но столкнулся со следующим косяком. Если я...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
3
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2021, vBulletin Solutions, Inc.