LINUX.ORG.RU
Форум — Talks  

Веселые плюсы - комбинаторная задача


0

0 
Сколько инстанций темплейтов попробует создать компилятор? =) Особо упрямые могут еще попробовать скомпилировать хехе.


template<int Depth, int A, typename B>
struct K17 {
static const int x =
K17 <Depth+1, 0, K17<Depth,A,B> >::x
+ K17 <Depth+1, 1, K17<Depth,A,B> >::x
+ K17 <Depth+1, 2, K17<Depth,A,B> >::x
+ K17 <Depth+1, 3, K17<Depth,A,B> >:x
+ K17 <Depth+1, 4, K17<Depth,A,B> >::x;
};
template <int A, typename B>
struct K17 <16,A,B> { static const int x = 1;
};
static const int z = K17 <0,0,int>::x;
int main(void) { }
← «КОРУС Консалтинг» даёт объяснения
Как бы засветить почтовый ящик →
Вы, батенька, случайно не индус?

PS /me вошел в рекурсию и не осилил...

UrbanSerj ★
()
c++ - ошибка. Лисп - наше все.
anonymous
()
Those who don't know Lisp are doomed to reinvent it again and again...
Miguel ★★★★★
() 
Сначала переписываем задачу с дебильного недоязыка шаблонов на язык
математики, игнорируя не относящуюся к делу муть:

f x = | 1             если x = 16
      | 5 * f (x + 1) если x /= 16

z = f 0

После чего думаем, что курил автор задачи...
anonymous
()
Неформально говоря, там введен параметр B, который при инстанцировании хранит всю предысторию разворачиваний, при каждом увеличении Depth на 1 количество шаблонов увеличивается в 5 раз и того

1+5^1+...+5^16 = (5^17-1)/4

А сама задача откуда? На "занимательную штукенцию" не похожа, на задачу из быдлокнижек тоже, на практическую тем более.

ival ★★
()
Ответ на: комментарий от anonymous
Компилица, компилица. Просто разворачиваться будет дооооооолго. Сутки-двое. Зависит от системы.
anonymousI ★
() автор топика
Ответ на: комментарий от anonymousI
Brainfuck тоже Turing Complete. Метапрограммирование на шаблонах С++ недалеко от него ушло по выразительности.
anonymous
()
Ответ на: комментарий от anonymousI
А почему там 5^17, а не (5^17-1)/4?

PS. То, что C++ Templates are Turing Complete становится очевидно, после прочтения любой книги по логике :)

ival ★★
()
Ответ на: комментарий от anonymousI
> Indiana University

Ахха! Если забыть, где эта Индиана, то всё сходицо.

m57
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
← «КОРУС Консалтинг» даёт объяснения
Talks
Как бы засветить почтовый ящик →