The OpenNET Project / Index page

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



"Создатель C++ раскритиковал навязывание безопасных языков программирования"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Присылайте удачные настройки в раздел примеров файлов конфигурации на WIKI.opennet.ru.
. "Создатель C++ раскритиковал навязывание безопасных языков пр..." –1 +/
Сообщение от Аноним (408), 23-Янв-23, 02:39 
> Но он намного меньше в отличие от valgrind'а, который любят приводить в пример местные растоманы.

Причем тут вообще раст и варлинг?

> никакой инструмент не гарантирует 100% отсутствие ошибок

Как раз таки большинство других языков (java, js, python и даже perl) не имеют проблем с ub. По крайней мере, в своих обычных режимах работы, если к ним не подключать плюсовые библиотеки.

Тот же безопасный раст дает 100% от отсутствия ub. Да, есть некоторые нюансы, вроде того же переполнения, но проверки можно оставить и в релизной сборке. Возможны дедлоки в многопоточности, но от них нет 100% защиты даже теоретически. И возможны утечки памяти при циклических ссылках у объектах с rc. Но от этого тоже невозможно защититься без полноценного gc.

Но две последние проблемы — это проблемы именно в текущей реализации стандартной библиотеки, которая внутри себя использует unsafe. Без использования unsafe невозможно реализовать ни rc, ни работу с тредами. Так что в чисто безопасном теоретическом расте это воспроизвести невозможно.

Так что инструменты дающие 100% работающие программы без ub есть.

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

Оглавление
Создатель C++ раскритиковал навязывание безопасных языков программирования, opennews, 22-Янв-23, 11:37  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



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

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