DS
Но это спасибо partial evaluation'у там
Size: a a a
2020 March 05
AR
Ну zero-allocation во всех языках с гц - это сродне искусству и требует не тривиальных трюков.
Да ладно бы zero allocation, время жизни указателя управляется джентльменским соглашением, если пытаться переиспользовать память, средствами языка никак не ограничить и не запретить его копирование
AK
Разница в том, что площадь кода с ансейфом куда меньше в расте.
Это всё же большую роль играет.
Это всё же большую роль играет.
Не уверен. У тебя с большинством инпутов всё ок например, но есть один противный который всё заваливает. Или если появление УБ от порядка вызовов зависит. Всё равно на кору смотреть надо. Просто чтобы понять какой конкретно ансейф всё завалил. Но с точки зрения АПИ это хорошая фича. Обращает внимание, что эта функция творит какую-то дичь.
AR
Вот и в fasthttp, и в софте, который я пытался супероптимально написать, основная проблема это API, который стреляет тебе в ногу
A
Бэкенды на расте (в большинстве случаев) не нужны
Питон/пхп + жс наше все
λ
Agrailag
Питон/пхп + жс наше все
Бекенды на этих языках не нужны всегда
AK
Участники проект RustBelt стараются теоретически доказать безопасность различных кусочков раста, и, вдобавок, ещё не представлено ни одной абстракции, которая бы не допустила безопасный интерфейс.
Даже графы можно сделать безопасными, хотя казалось бы перекрёстные ссылки делают это невозможным.
Даже графы можно сделать безопасными, хотя казалось бы перекрёстные ссылки делают это невозможным.
Молюсь за них. "Ещё не представлено ни одной абстракции, которая бы не допустила безопасный интерфейс" - это в теории?
AK
Или в стд?
NL
Alexander Krivitskiy
Молюсь за них. "Ещё не представлено ни одной абстракции, которая бы не допустила безопасный интерфейс" - это в теории?
Ну приведи пример такой абстракции, для которой невозможно сделать безопасный интерфейс.
Все
Все
Vec, HashMap, BTreeMap и прочие в std - все безопасные.AK
В теории наверно для всех можно. Но доказать не смогу.
DS
Ну приведи пример такой абстракции, для которой невозможно сделать безопасный интерфейс.
Все
Все
Vec, HashMap, BTreeMap и прочие в std - все безопасные.Смотря на каком уровне безопасные.
Если я как пользователь использую ансейф, то сломать я их могу запросто, было бы желание. Но это уже, очевидно, случай, где гарантий никто не даёт.
Если я как пользователь использую ансейф, то сломать я их могу запросто, было бы желание. Но это уже, очевидно, случай, где гарантий никто не даёт.
NL
Смотря на каком уровне безопасные.
Если я как пользователь использую ансейф, то сломать я их могу запросто, было бы желание. Но это уже, очевидно, случай, где гарантий никто не даёт.
Если я как пользователь использую ансейф, то сломать я их могу запросто, было бы желание. Но это уже, очевидно, случай, где гарантий никто не даёт.
Так это означает, что ты лезешь через окно, а не проходишь, условно говоря, в дверь.
G
Ну приведи пример такой абстракции, для которой невозможно сделать безопасный интерфейс.
Все
Все
Vec, HashMap, BTreeMap и прочие в std - все безопасные.sendmmsg
G
Там либо вектор аллоцируешь (не zero-copy), либо ограничиваешь функциональность
G
Таки безопасно получится, но с потерями
NL
Таки безопасно получится, но с потерями
Насколько внушительные потери?
G
Насколько внушительные потери?
Например, нельзя
msghdr пользоваться полноценно, а иногда надоλ
G
Это откуда?
G
Из контекста непонятно что хотел сказать автор