How to become an author
Search
Write a publication
Pull to refresh

Comments 35

Слишком быстро компилируется программа и нету времени почитать хабр?
Добавь в исходники жизни.
Total votes 24: ↑24 and ↓0+24
А потом можно даже заставить её эволюционировать средствами компилятора, а точнее оптимизатора, особо хорошо это получается у компилятора Intel, тогда времени будет ещё больше :)
This comment wasn’t rated yet0
Программисты С++ — самые читающие программисты в мире! )
Total votes 2: ↑2 and ↓0+2
Самые чиТающие :-)
This comment wasn’t rated yet0
Создав Жизнь, мы доказали сами себе полноценность шаблонов С++ как языка

Звучит классно :)

Собственно говоря, никто не сомневается в полноте по Тьюрингу шаблонов С++ и возможности написать на них хоть чёрта лысого. Беда в том, что код получается сложным и трудно поддерживаемым (взять хотя бы отладку). Нет практического коммерческого профита писать на них что-то сложнее разных разновидностей контейнеров и пары паттернов из числа классических.
Total votes 3: ↑3 and ↓0+3
Собственно говоря, никто не сомневается в полноте по Тьюрингу шаблонов С++ и возможности написать на них хоть чёрта лысого.
Я вроде бы написал на них рекурсивную функцию вычисления факториала, но порядок раскрытия и редукции шаблонов не позволяет вычислить результат её применения :(

Ну, хотя да. Шаблоны настолько круты, что на них можно выразить даже бесконечный цикл.
This comment wasn’t rated yet0
Закостылил рекурсию, теперь всё считает. Факториал шести — за 10 секунд. Факториал семи — падает с переполнением стека. Пойду дописывать статью.
This comment wasn’t rated yet0
Извините, возможно, я что-то не так понял, но что сложного в факториале на шаблонах С++? 

template <int N>
struct fact {
    static const int value = N * fact<N-1>::value;
};

template <>
struct fact<1> {
    static const int value = 1;
};

int fact_5 = fact<5>::value; // = 120
This comment wasn’t rated yet0
Я более извращён. Там именно что функция, вычисляющая факториал. И интерпретатор (времени компиляции), который вычисляет результат применения этой функции.
This comment wasn’t rated yet0
Я где-то видел примеры статически конфигурируемых связей listener'ов на этапе компиляции.
Вот это было круто — все само связывается, и на этапе компиляции проверяет, что все связи действительно есть.
:-)
Жаль, не могу указать источник.
This comment wasn’t rated yet0
С каждым новым релизом количество способов нетривиально вывихнуть себе мозг при помощи С++ продолжает увеличиваться)
Total votes 19: ↑19 and ↓0+19
Жизнь на шаблонах можно написать и с использованием предыдущих стандартов С++, но как раз это сделало бы код более мозговывихивающим :)
Особенно, если не менять подход к реализации игрового поля и продолжать пытаться все вычисления выполнять не над константами, а над типами.
Total votes 3: ↑3 and ↓0+3
Хотите решить головоломку?
Напишите компилятор C++ на шаблонах C++. :-)
Total votes 2: ↑2 and ↓0+2
Дык используйте boost::spirit, вам обеспечены долгие часы чтения хабра :-D
Total votes 10: ↑10 and ↓0+10
>Еще тут обнаруживается новая возможность языка шаблонов — спецификация
Не спецификация, а специализация.
Total votes 6: ↑5 and ↓1+4
Я жажду слышать аргументы того, кто минусанул комментарий.
Total votes 1: ↑1 and ↓0+1
Как же, помню… Через тернии темлейтного метапрограммирования, boost, интервальная арифметика и символьное дифференцирование, сообщения об ошибках на 40 страниц, потом попытки реализовать доморощенный reflection и прочие плюшки для C++ на основе gccxml (это были ~2002-2003 годы)… Желание управлять процессом компиляции… Потом Scheme, hygienic macros… Мой долгий путь к Common Lisp'у. Здравствуй, defmacro :)
Total votes 7: ↑6 and ↓1+5
Очень красивый и емкий язык, для работы с которым нужно перевернуть мышление.
:-)
Вот закончу разбираться с 3D-графикой, и перейду на темную сторону силы — практиковаться в Lisp или Closure.
Total votes 1: ↑1 and ↓0+1
UFO just landed and posted this here
Для дальнейших извращений рекомендую А.Александреску «Modern C++ Design», а если этого будет мало, то можно обратить взор на D (в который и ушел автор этой книги), в нем не проблема сделать compile-time raytracer, да и скорость компиляции на порядок выше C++.
This comment wasn’t rated yet0
Эти идеи отлично применяются на практике. Например, NS-3 симулятор сети, который активно используется в научных исследованиях, сделан с использованием многих идей из этой книги. Там, например, Garbage Collector реализован через метапрограммирование в С++.
This comment wasn’t rated yet0
А вот замедлить вывод на экран не сможите.
Total votes 3: ↑1 and ↓2-1
Вывод на экран выполняется обычным cout, если после него вставить задержку — вывод можно будет замедлить. Но зачем?
This comment wasn’t rated yet0
Ну я эт к тому что шаблоны не всемогущи :) Хотя как то глупо получилось :(
Total votes 2: ↑1 and ↓10
Есть тьюринг-полные языки, а есть тьюринг-полный-пиз.ец языки.
Total votes 9: ↑3 and ↓6-3
Это лингвистическая конструкция вокруг слова «полный».
Total votes 2: ↑2 and ↓0+2
К счастью, в С++11 появился оператор decltype, который буквально означает «какой тип вернула бы функция, если бы мы ее вызвали». Применим его к tuple_cat и… убедимся, что tuple_cat все-таки принимает не голый тип «tuple», которым мы везде оперируем, а значение tuple. К счастью, в С++ имеется класс declval, который позволяет нам сделать вид, что значение все же существует, но его нельзя нигде использовать именно как значение. Этого достаточно.

Вот за это я и люблю С++. Чтобы костыль не падал, подопрем его другим, побольше, чтоб тот поддержал первый :D

И все же генерики шарпа мне нравятся больше. Да, нету возможности писать a + b и затем подставлять любые типы, но это же является и плюсом — строгая типизация, можно явно указать, что ожидается на вход функции, а ошибка имеет достаточно понятное описание, а темплейт-ошибка всегдав мне напоминает «выр-выр-выр» из Темного Рыцаря.

Но статья очень интересная, спасибо. Плюсанул.
Total votes 5: ↑3 and ↓2+1
А в openttd на поездах и семафорах счетчики и цифровые индикаторы реализовать можно…
Total votes 4: ↑4 and ↓0+4
Можно, пожалуйста, подробнее?
Total votes 1: ↑1 and ↓0+1
Скажите, у меня одного clang 3.4 не может скомпилировать исходник? Только gcc справляется…
Total votes 2: ↑2 and ↓0+2
А вот меня лично интересует другие два вопроса — сколько весит бинарник, и сколько памяти в runtime жрет все это дело :-)
:-)
This comment wasn’t rated yet0
Sign up to leave a comment.

Articles

Show the best of all time
Change theme settings

Your account

Sections

Information

Services

Support
© 2006–2024, Habr