Несколько подробностей о шаблонах или форк-бомба этапа компиляции

Можно попробовать метапрограммирование функции Аккермана, это уж точно взорвет мозг компиляторам :)

Несмотря на всю бессмысленность, спортивный интерес требует попробовать выжать больше;)

Более чем уверен что это не предел.

помню как-то давно, по молодости, пытался «пойдя легким путем» реализовать деление 1024-битных чисел, через шаблон, который «удваивает разрядность», т.е. имея параметром 32х битный тип, шаблон реализовывал деление и ряд других операций на 64х битах, потом 64х битный тип шел параметром следующей инстанциации дающей на выходе 128 бит, итп. Итоговый код для 1024 и 2048 компилировался очень долго на моем тогдашнем P2 ;)

А вы не пробовали получившиеся exe файлы на то, как хорошо они сжимаются архиваторами? Просто ради любопытства праздного, — если там много повторяющихся бинарных последовательностей, то сжаться должен хорошо, и в свою очередь если там их будет много, это говорит о том, что в теории компиляторы могут оптимизировать такой код лучше. (С другой стороны если не сожмется — то это ни о чем не скажет вовсе ;) )

Извините, если может глупость спрошу, а strip вы делали бинарникам?

Немного изменив изначальный вариант:

template<long N> struct Nop {
    static int nop() {
        static const size_t arraySize = 10240;
        static const long a[arraySize] = {N};
        auto t = ::time(nullptr);
        auto i = static_cast<size_t>(static_cast<double>(t) / static_cast<double>(MAX_LONG) * arraySize);
        return Nop<N - 1>::nop() + static_cast<int>(a[i]);
    }
};

template<> struct Nop<0> { static int nop() { return 0; } };

int main() {
    return Nop<10000>::nop();
}

на VC++ 2012 с -O2 получил 400 Мб.

Так конечно не интересно, но поставленную задачу

получить из минимума строк кода исполняемый файл максимально возможного размера

решает.

Наблюдаем эту проблему при использовании template haskell. С типами всё хорошо, а вот размер исполняемого файла при этом — мегабайт 20-30.

Было бы удивительно увидеть одинаковые глубины рекурсии между обычным компилятором и clang. У них же фундаментальные отличия.

По-хорошему, форк-бомба всё-таки должна быть корекурсивной. Например

#include <vector>
#include <list>

using std::vector;
using std::list;

template<typename T>
int doStuff(T a) {
	return doStuff( vector<T>() ) + doStuff( list<T>() );
}

int main() {
	doStuff<int>(5);
	return 0;
}