Не компилируется рекурсивная шаблонная функция

@[progeR] · Регистрация: 20.08.2011

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

Добрый день!
Есть функция:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#include <iostream>
 
template<uint8_t data, uint8_t ...other>
static void write()
{
    std::cout << data << std::endl;
    write<other...>();
}
 
template<uint8_t data>
static void write()
{
    std::cout << data << std::endl;
}
 
int main()
{
    write<0x00, 0x12, 0x56, 0xFF>();
    return 0;
}

Code
1
2
3
ошибка: no matching function for call to 'write()'
     write<other...>();
                     ^

Что ему не так?

@DrOffset · 13.08.2016, 14:27

Сообщение от [progeR]

Что ему не так?

Возникает неоднозначность между:

C++
1
2
template<uint8_t data>
static void write()

и

C++
1
2
template<uint8_t data, uint8_t ...other>
static void write()

если other - пустой pack параметров.

Один из вариантов исправить:

C++
1
2
3
4
5
6
7
8
9
10
11
12
template<uint8_t data>
static void write()
{
    std::cout << data << std::endl;
}
 
template<uint8_t data, uint8_t next, uint8_t ...other>
static void write()
{
    std::cout << data << std::endl;
    write<next, other...>();
}

@[progeR] · 13.08.2016, 15:47 **[ТС]**

Спасибо. А вот так возникает бесконечный цикл:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
template<int data, bool wait = false>
static void write()
{
    std::cout << data << std::endl;
    if(wait) std::cout << "wait" << std::endl;
}
 
template<int data, int next, int ...other, bool wait = false>
static void write()
{
    std::cout << data << std::endl;
    write<next, other..., wait>();
}
 
int main()
{
    write<0, 123, 12, 255>();
    return 0;
}

Можно чтобы без цикла?

@DrOffset · 13.08.2016, 18:55

Сообщение от [progeR]

Можно чтобы без цикла?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
template<int data>
static void write(bool wait = false)
{
    std::cout << data << std::endl;
    if(wait) std::cout << "wait" << std::endl;
}
 
template<int data, int next, int ...other>
static void write(bool wait = false)
{
    std::cout << data << std::endl;
    write<next, other...>(wait);
}

Флаг размещать после пакета параметров - плохая идея. Ты его просто напросто никогда не сможешь выставить в true.
Вот смотри:

C++
1
2
3
template<int ...elements, bool f= false>
static void test()
{ }

Ты вызываешь:

C++
1
test<1,2,3>(); // вызывается версия test<1,2,3, false>();

Затем:

C++
1
test<1,2,3,true>(); // вызывается версия test<1,2,3, true, false>();

Отсюда твой бесконечный цикл.
Потому что true приводится к int и уходит в пакет параметров. Нет способа отличить где пакет закончился, поэтому если ты снимешь параметр по умолчанию у шаблона, то код вообще перестанет компилироваться.

@rikimaru2013 · 13.08.2016, 19:00

[progeR], я бы вам посоветовал распаковывать как батя Вариативные шаблоны

@tapochka · 15.08.2016, 05:23

Сообщение от [progeR]

Можно чтобы без цикла?

без цикла и рекурсии:

C++
1
2
3
4
5
6
7
8
9
10
template<uint8_t...i>
void write() {
    auto _ = [](int n) { std::cout<< n <<" ";   return n; };
    auto __ = { _(i)...};
}
 
int main() {
std::cout<<std::hex;
write<0x00, 0x12, 0x56, 0xFF>();
}

@sourcerer · 15.08.2016, 06:10

Не по теме:

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

без цикла и рекурсии

без смс и регистрации :D

@Voivoid · 15.08.2016, 09:14

Сообщение от [progeR]

Что ему не так?

Как вариант:

C++
1
2
3
4
5
6
7
8
9
10
11
12
template <typename ... Nil>
static void write()
{
    std::cout << std::endl;
}
 
template<uint8_t data, uint8_t ...Tail>
static void write()
{
    std::cout << data << std::endl;
    write<Tail...>();
}

Сообщение от [progeR]

Можно чтобы без цикла?

Жди C++17 fold expressions. А пока можешь изучить haskell, после него шаблонное метапрограммирование воспринимается гораздо естественнее

@tapochka · 15.08.2016, 09:23

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

Жди C++17 fold expressions. А пока можешь изучить haskell, после него шаблонное метапрограммирование воспринимается гораздо естественнее

я кстати месяцев так 5 назад последовал вашему совету)

Новые блоги и статьи Все статьи Все блоги /
http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит: токи, напряжения и их 1 и 2 производные при t = 0;. . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .	Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/
WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .	Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	13.08.2016, 19:00
	[progeR], я бы вам посоветовал распаковывать как батя Вариативные шаблоны 0