Rust developers at Google are twice as productive as C++ teams

Нет ответов на мои вопросы - нет ответов на ваши вопросы. Особенно на глупые. Кажется, это достаточно честно 😊. По-прежнему жду демонстрации простого метапрограммирования, которое отлаживается на глазок без затруднений.

Тоже хотел пример x macro привести. Просто язык препроцессора, не позволяющий делать нечто невообразимое как в Rust, и который не выглядит как смесь m4 с кодом на Perl в этих забавных конкурсах где люди пытаются сделать исходник более запутанным.

Препроцессор умеет переводить токены в строки, второй аргумент если он дублирует первый, не обязателен:

#include <stdio.h>

#define COLOR_TABLE                                                            \
  X(red)                                                                       \
  X(green)                                                                     \
  X(blue)

#define X(a) a,
enum COLOR { COLOR_TABLE };
#undef X

#define X(a) #a,
char *color_name[] = {COLOR_TABLE};
#undef X

int main() {
  enum COLOR c = red;
  printf("c=%s\n", color_name[c]);
  return 0;
}

gcc так же расширяет препроцессор, но не вводит каких то страшных вещей.

#define lambda(RetType, Body) ({ RetType RetVal Body RetVal; })

Препроцессор умеет переводить токены в строки, второй аргумент если он дублирует первый, не обязателен:

Я в курсе, я скопировал первый попавшийся макроблок из гугла

Это не проблема языка, в сложной программе невозможно определить когда именно должна быть очищена память, потому что условия для этого определяются в рантайме. Нельзя в момент компиляции вычислить где именно должен быть free.

? ну так RAII же, для сложных случаев арены даже со своим аллокаторами, такой же GC только специализированный

но его невозможно применить

safe раст тьюринг полный, т.е. не невозможно а неизвестно или непонятно как реализовать конкретному прогеру конкретный алгоритм

вот не надо грязи, могу на индексах не только в массиве, но и в мапах и в их комбинациях, и индексы для меня не одни только чиселки, а если есть возможность заюзать не перевычисляя объект возьму … ссылки, а на самый крайняк таки возьму указатель, но только если в этом будет ну хоть какой-нибудь смысл, который ты, кстати, так и не смог показать хоть с эффектами хоть без https://quick-bench.com/q/3kiuaV8e7Ju9u3xWq1EgAwc8ViM

при этом я знаю, что усираясь и корёжа алгоритм наверняка можно сколько-то процентов выгодать в пользу указателей, вот только ради чего

? ну так RAII же, для сложных случаев арены даже со своим аллокаторами, такой же GC только специализированный

Аллокаторы тут не причем, например ты пишешь игру, у тебя есть текстура, ее используют несколько сущностей, сущности могут умереть, уйти за пределы видимой зоны, итд, а текстуру нужно освободить, как вариант воспользоваться счетчиком ссылок. Как ты обойдешься без счетчика ссылок, или иного алгоритма сборки мусора?

safe раст тьюринг полный, т.е. не невозможно а неизвестно или непонятно как реализовать конкретному прогеру конкретный алгоритм

Вот был бы НЕ тьюринг полный, можно было бы обойтись и одним RAII с Box, а так нельзя.

как вариант воспользоваться счетчиком ссылок.

ну и хорошо же, как будто что-то плохое, подходит - нужно использовать

Вот был бы НЕ тьюринг полный, можно было бы обойтись и одним RAII с Box

Ну и зачем он такой был бы нужен. Имелось ввиду вообще (безотносительно к управлению памятью), в ответ на претензии вида: на вашем расте то-то то-то без ансейфа не написать, или быстрый код без него же

в ответ на претензии вида: на вашем расте то-то то-то без ансейфа не написать

Ну так не написать же. Покажите doubly linked без ансейфа. Или опять мантра «списки и деревья придумали дебилы, везде суй массив!»?

Это пока там поддержка не началась…

как вариант воспользоваться счетчиком ссылок.

ну и хорошо же, как будто что-то плохое, подходит - нужно использовать

Теперь, когда мы выяснили что без управления памятью не обойтись, вернемся к первоначальному комментарию. Правильная работа с памятью связана либо с большой сложностью, либо будет менее эффективной чем хороший GC. Второй вариант, это когда все обмазывается счетчиками ссылок. Для текстур счетчик ссылок, это тоже так себе вариант, лучше кеш реализовать, а там будут уже свои сложности. Если нету желания заниматься ручной оптимизацией, или нету навыков, то лучше взять язык с GC, особенно когда задачи идеально подходят для таких языков.

в ответ на претензии вида: на вашем расте то-то то-то без ансейфа не написать

У меня таких претензий не было.

Прошу прощения с запоздалым ответом :).
Довольно замысловатый пример, притом что примитивный, потому что в расте задача решаемая этой развесистой сишной макросней решается добавлением #[derive(Debug)] перед объявлением перечисления. Не один-в-один, конечно, ну так кому шашечки, кому – ехать. Полагаю, в более сложных случаях чайник вскипит, пока что-то готовое получится. Ничего не скажешь – очень просто для отладки и написания 🙃. Я уж не говорю, что в приличном обществе подсвечником ударят, если при разговоре про метапрограммирование вы сишный препроцессор предъявите .

Просто язык препроцессора, не позволяющий делать нечто невообразимое как в Rust

Всё невообразимое это матчинг токенов, причем корректных токенов языка, а не любого текста, как в сишечном препроцессоре? Невообразимым и не попахивает, даже близко, в меру удобный инструмент для узко ограниченного круга задач.

Нет, мантра – «покажите doubly linked с ансейфом и докажите, что это ужас какой небезопасный код» 😄.

а не любого текста, как в сишечном препроцессоре?

В сишном препроцессоре тоже есть ограничения. Не такие конечно, но там не просто текст.

Невообразимым и не попахивает, даже близко

Ты синтаксис видел? Это самое отстойное что появлялось в последние десятилетия.

X Macro еще решает проблему рефлексии, им можно описать поля в структуре, и элементы другой структуры, которая будет хранить информацию об этих самых полях, это используется например в движке quake для сериализации по сети.

Ты синтаксис видел? Это самое отстойное что появлялось в последние десятилетия.

Там нет особого синтаксиса. Наворотить можно ад, но это не к синтаксису вопросы.

Там нет особого синтаксиса

Возможно в этом и проблема? Что за набор символов?

Версия С

#include <stdio.h>

int main() {
   printf("Hello, World!");
   return 0;
}

#@ %stdio^h$
` main%$ &
   \!("Hello, World!");
   -: 0;
&