p
все остальные тесты это кухонные разговоры
Size: a a a
2021 March 14
MB
Есть конечно некоторая разница в идиомах
p
пришли два чувака на кухню обсуждать что быстрее раст или кресты основываясь на своем опыте
MB
Например, по умолчанию в расте принято проверять корректность индексов, но зато в расте все мутабельные ссылки по умолчанию restrict
МП
а других тестов не бывает
всё с тобой ясно. Единственный показательный тест - профилирование решения конкретной задачи на проде с поиском узких мест.
МП
Например, по умолчанию в расте принято проверять корректность индексов, но зато в расте все мутабельные ссылки по умолчанию restrict
я про лоулевельные оптимизации компилятора/линковщика - инлайнинг, эвристическая чистка nop-ов и т.п. Просто в плюсах это многие годы пилят. Вот так вот прям в расте с этим всё хорошо?
AN
Например, по умолчанию в расте принято проверять корректность индексов, но зато в расте все мутабельные ссылки по умолчанию restrict
Ещё нет, или уже да?
MB
Ещё нет, или уже да?
Ну, до LLVM это пока не еще не доходит
MB
Там было два блокера.
Во-первых, генераторы (точнее то, во что они раскрываются) нарушают stacked borrows
Во-вторых, LLVM багованно обрабатывал noalias.
Во-первых, генераторы (точнее то, во что они раскрываются) нарушают stacked borrows
Во-вторых, LLVM багованно обрабатывал noalias.
MB
С недавним апгрейдом до LLVM12 вторая проблема решена.
s
Мимо Проходящий
я про лоулевельные оптимизации компилятора/линковщика - инлайнинг, эвристическая чистка nop-ов и т.п. Просто в плюсах это многие годы пилят. Вот так вот прям в расте с этим всё хорошо?
Лоулевельными оптимизациями занимается llvm, что для плюсов, что для раста.
МП
Логично. Я просто привык, что по старым гайдлайнам код на плюсах пишется с учётом "оптимизируемости"
SP
Мимо Проходящий
а что такое "разделять вектора на пространства через фаетомные типы" ?
с телефона писал опечатался. я говорил о фантомных типах. о чем то вроде https://docs.rs/euclid/0.22.2/euclid/ этот подход мне кучу нервов спас
SP
Мимо Проходящий
то есть если разобрать итоговые инструкции кода на раст и идентичного на плюсах, то разницы большой не будет, оба варианта одинаково эффективны?
только не показывайте это царю
МП
с телефона писал опечатался. я говорил о фантомных типах. о чем то вроде https://docs.rs/euclid/0.22.2/euclid/ этот подход мне кучу нервов спас
так тут же просто алиасы типов, в го тоже есть алиасы. Или в чём то ещё тут фишка?
SP
ээм а как в го такое сделать?
s
Мимо Проходящий
так тут же просто алиасы типов, в го тоже есть алиасы. Или в чём то ещё тут фишка?
Это не алиас, а параметризованный тип.
s
То есть, Point<T, U> и Point<T, V> это два различных типа.
s
Причём Point<T, U> не содержит значений типа U. U используется только для параметризации типа.
p
гении