Форум программистов, компьютерный форум CyberForum.ru

recursion with variadic template - C++

Восстановить пароль Регистрация
 
cyberguz
6 / 6 / 0
Регистрация: 01.12.2010
Сообщений: 105
24.01.2012, 02:57     recursion with variadic template #1
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
Первый вариант сам придумал, воторой нашёл.
Почему второй работает?
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
24.01.2012, 02:57     recursion with variadic template
Посмотрите здесь:

Ошибки: 1) use of class template requires template argument list 2) 'T' : undeclared identifier C++
C++ MSVC и template template classes
Variadic Templates C++
Ошибка компиляции: template-id does not match any template declaration C++
Variadic templates C++
C++ Variadic templates
C++ Result_of + variadic templates
'MyQueue' : use of class template requires template argument list C++

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

Или воспользуйтесь поиском по форуму:
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
fasked
Эксперт C++
 Аватар для fasked
4925 / 2505 / 180
Регистрация: 07.10.2009
Сообщений: 4,306
Записей в блоге: 1
24.01.2012, 10:42     recursion with variadic template #2
cyberguz, я не уверен должен ли компилятор уметь так делать, но судя по комментарию к ошибке данная фича пока не реализована. К тому же мне не очень понятно, что Ваш вариант должен делать.
cyberguz
6 / 6 / 0
Регистрация: 01.12.2010
Сообщений: 105
24.01.2012, 19:59  [ТС]     recursion with variadic template #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
Yandex
Объявления
24.01.2012, 19:59     recursion with variadic template
Ответ Создать тему
Опции темы

Текущее время: 02:28. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2016, vBulletin Solutions, Inc.
Рейтинг@Mail.ru