Форум программистов, компьютерный форум, киберфорум
Наши страницы

С++ для начинающих

Войти
Регистрация
Восстановить пароль
 
cyberguz
6 / 6 / 0
Регистрация: 01.12.2010
Сообщений: 105
#1

recursion with variadic template - C++

24.01.2012, 02:57. Просмотров 632. Ответов 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
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
24.01.2012, 02:57
Здравствуйте! Я подобрал для вас темы с ответами на вопрос recursion with variadic template (C++):

Variadic template - C++
Добрый день, господа. Будьте добры, помогите кто может. Есть у меня шаблонный класс template&lt;typename ... Types&gt; Class :...

Variadic template lambda capture - C++
Доброго всем дня! Речь пойдёт об C++14, в котором стало возможным делать прямую передачу в замыкание: auto my_lambda = () { /*...

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

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

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

'MyQueue' : use of class template requires template argument list - C++
Написал код про шаблоны. Не могу понять почему выводит ошибку во время наследования класса. ошибки 'MyQueue' : use of class template...

2
fasked
Эксперт С++
4948 / 2528 / 180
Регистрация: 07.10.2009
Сообщений: 4,311
Записей в блоге: 1
24.01.2012, 10:42 #2
cyberguz, я не уверен должен ли компилятор уметь так делать, но судя по комментарию к ошибке данная фича пока не реализована. К тому же мне не очень понятно, что Ваш вариант должен делать.
0
cyberguz
6 / 6 / 0
Регистрация: 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
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
24.01.2012, 19:59
Привет! Вот еще темы с ответами:

В чем различие template <typename T> от template <class T> ? - C++
Добрый день ! Заметил в новых книгах применение записи template &lt;typename T&gt; вместо template &lt;class T&gt; в чем же тогда фишка...

Ошибка компиляции: template-id does not match any template declaration - C++
Здравствуйте. Помогите, пожалуйста: #include &lt;iostream&gt; using namespace std; template &lt;typename T&gt; T maxn(T*, const int*); ...

Visual Studio выдаёт ошибку при вынесении объявления функции с template в .h файл. Без template всё работает - C++
Проект содержит три файла: Source.cpp, arrTreat.h, arrTreat.cpp. Source.cpp: #include &lt;iostream&gt; using std::cout; using...

MSVC и template template classes - C++
Приветствую. Как в MSVC передать template template класс? Простой пример template&lt;template&lt;typename, typename&gt; class Return&gt; ...


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

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

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