The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Выпуск языка программирования Rust 1.47, opennews (ok), 08-Окт-20, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


25. "Выпуск языка программирования Rust 1.47"  +/
Сообщение от topin89email (ok), 09-Окт-20, 00:11 
О, а можно подробнее про ассерты в C/C++? Я не знал, что они влияют на оптимизацию, думал, просто проверки для отладки.
В Расте, как я понял, это будет через std::intrinsics::assume, пока только в экспериментальной ветке.

EDIT: Как я понял, ассерты могут как минимум убрать проверку границ массивов. https://gist.github.com/kvark/f067ba974446f7c5ce5bd544fe3701...

Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

28. "Выпуск языка программирования Rust 1.47"  +2 +/
Сообщение от Аноним (28), 09-Окт-20, 00:43 
А что там рассказывать? static_assert - compile time ceck, assert - runtime check.
Ответить | Правка | Наверх | Cообщить модератору

214. "Выпуск языка программирования Rust 1.47"  +/
Сообщение от topin89email (ok), 09-Окт-20, 21:22 
> А что там рассказывать? static_assert - compile time ceck, assert - runtime
> check.

Ну не. static_assert проверяет только то, что можно проверить на этапе компиляции. assert вообще для отладки только, при релизе обычно ставят -DNDEBUG (/DNDEBUG) и выкидывают нафиг. А вот обещания компилятору, что вот это условие верно всегда, без проверок и с дополнительными оптимизациями -- об этом я ещё не слышал.

Ответить | Правка | Наверх | Cообщить модератору

29. "Выпуск языка программирования Rust 1.47"  +1 +/
Сообщение от YAAnonim (?), 09-Окт-20, 00:48 
Ты не к тому анониму обратился. С растом он знаком по новостям из опеннета.
Ответить | Правка | К родителю #25 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру