The OpenNET Project / Index page

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



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

Оглавление

Выпуск языка программирования Rust 1.73, opennews (??), 05-Окт-23, (0) [смотреть все]

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


63. "Выпуск языка программирования Rust 1.73"  –4 +/
Сообщение от kir (??), 06-Окт-23, 02:15 
Садись, 2, ты не понимаешь, как работает статический анализатор. UB опять-таки, определяются стандартом, и если анализатор видит, что возможно UB, его дело на это поругаться, что вполне реализуемо.
Ответить | Правка | Наверх | Cообщить модератору

213. "Выпуск языка программирования Rust 1.73"  +1 +/
Сообщение от Аноньимъ (ok), 06-Окт-23, 16:00 
> Садись, 2, ты не понимаешь, как работает статический анализатор.

В С++ он никак не работает. В С++ абстракции внесённые в стандарт дословно построены на багах компилятора.

> UB опять-таки, определяются
> стандартом

Да, и в этом проблема.

> и если анализатор видит, что возможно UB, его дело на
> это поругаться, что вполне реализуемо.

Во первых, совсем, вот совсем не всегда видит.
Во вторых, ну и толку если он на пол кода поругается? Зачем оно нужно?
Целочисленное переполнение тоже UB например. И что дальше?

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

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

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




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

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