The OpenNET Project / Index page

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



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

Оглавление

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

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


263. "Выпуск языка программирования Rust 1.48"  –1 +/
Сообщение от Аноним (15), 21-Ноя-20, 03:07 
Использовал unsafe - ССЗБ, но хотя бы пометил другим людям возможное веселье
Ответить | Правка | Наверх | Cообщить модератору

267. "Выпуск языка программирования Rust 1.48"  +1 +/
Сообщение от Аноним (340), 21-Ноя-20, 05:04 
> хотя бы пометил

ты же понимаешь, что когда в сырцах миллионы строк, никто не сможет прочитать, где там унсейв...

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

274. "Выпуск языка программирования Rust 1.48"  +/
Сообщение от Дядя (?), 21-Ноя-20, 09:51 
Компилятор сможет. А ты - нет.
Ответить | Правка | Наверх | Cообщить модератору

280. "Выпуск языка программирования Rust 1.48"  +/
Сообщение от Ordu (ok), 21-Ноя-20, 11:25 
find . -type f -name *rs -exec grep unsafe -Hn {} \;
Ответить | Правка | К родителю #267 | Наверх | Cообщить модератору

284. "Выпуск языка программирования Rust 1.48"  +/
Сообщение от Аноним (340), 21-Ноя-20, 13:40 
То же самое, что сказать, найди все голые указатели в Си, и будет тебе счастье.
Ответить | Правка | Наверх | Cообщить модератору

286. "Выпуск языка программирования Rust 1.48"  –1 +/
Сообщение от Ordu (ok), 21-Ноя-20, 14:31 
> То же самое, что сказать, найди все голые указатели в Си, и
> будет тебе счастье.

Как ты будешь их искать? У тебя есть хороший регексп для детекта использования указателей в C? Всё что мне приходит в голову простого будет путать умножение, декларации типов, декларации переменных и собственно разадресации.

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

293. "Выпуск языка программирования Rust 1.48"  +2 +/
Сообщение от Аноним (-), 21-Ноя-20, 20:36 
решения называются статическим анализатором

а чего в растовском коде можно регэкспом найти - вообще загадка, его перетряхивают в каждой версии - так что с статическим анализом или альтернативными реализациями не богато

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

298. "Выпуск языка программирования Rust 1.48"  +/
Сообщение от Ordu (ok), 21-Ноя-20, 20:46 
> решения называются статическим анализатором

Ога. А в расте встроенный статический анализатор, который ещё позволяет размечать код, оставляя там подсказки этому анализатору.

> а чего в растовском коде можно регэкспом найти - вообще загадка, его
> перетряхивают в каждой версии - так что с статическим анализом или
> альтернативными реализациями не богато

Ога-ога. С каждой версией меняют написание ключевого слова unsafe. Да. Точно. Как же я мог забыть об этом.

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

300. "Выпуск языка программирования Rust 1.48"  +/
Сообщение от Аноним (301), 21-Ноя-20, 21:43 
" А в расте встроенный статический анализатор, который ещё позволяет размечать код, оставляя там подсказки этому анализатору. "
это хорошо но сомнительно что он реально сможет ловить все косяки столь сложного синтаксиса который постоянно меняют, и вообще, сишникам и тем более плюсовикам на осознание типовых проблем потребовалось много лет, а тут - бац и в дамки? а такое бывает вообще? или это маркетинг?

"Ога-ога. С каждой версией меняют написание ключевого слова unsafe. Да. Точно. Как же я мог забыть об этом."
будет где-нибудь в редоксе каком-нибудь 10 000 хитов этого слова, и дальше чего? а, ну мы же умные, ассемблер возьмем и анализер перестанет матюкаться.

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

308. "Выпуск языка программирования Rust 1.48"  +1 +/
Сообщение от Ordu (ok), 21-Ноя-20, 22:26 
> " А в расте встроенный статический анализатор, который ещё позволяет размечать код,
> оставляя там подсказки этому анализатору. "
> это хорошо но сомнительно что он реально сможет ловить все косяки столь
> сложного синтаксиса

1. Это не C, это раст. В расте нет необходимости ловить косяки синтаксиса.
2. Синтаксический анализатор растра встроен в компилятор, проблем с пониманием нового синтаксиса не возникает.

> сишникам и тем более плюсовикам на осознание типовых проблем потребовалось много лет, а тут - бац и в дамки?

Да, естественно. Раст разрабатывался с оглядкой на все те типовые проблемы, которые сишники и плюсовики осознавали десятилетиями.

> "Ога-ога. С каждой версией меняют написание ключевого слова unsafe. Да. Точно. Как
> же я мог забыть об этом."
> будет где-нибудь в редоксе каком-нибудь 10 000 хитов этого слова, и дальше
> чего?

А это смотря что тебе нужно. Зачем тебе приспичило искать эти unsafe'ы? Чтобы аудит кода проводить? Ну вот бери и проводи. там ~700 unsafe'ов на ~30k строк кода ядра. Вот бери каждый модуль в котором есть unsafe, и проверяй, что unsafe'ы в этом модуле либо не позволяют нарушать инварианты, либо экспортируются как unsafe. Раст -- это не волшебная палочка, которая позволит тебе проводить аудит взмахом этой палочкой. Он может помочь, указав тебе на те ~700 мест, которым следует уделить особое внимание.

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

334. "Выпуск языка программирования Rust 1.48"  –1 +/
Сообщение от Niger (??), 23-Ноя-20, 19:08 
> Да, естественно. Раст разрабатывался с оглядкой на все те типовые проблемы, которые сишники и плюсовики осознавали десятилетиями.

Тем не менее они осознали и решили. А растоманы похоже нет. И врятли смогут.

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

335. "Выпуск языка программирования Rust 1.48"  +/
Сообщение от Ordu (ok), 23-Ноя-20, 19:28 
> Тем не менее они осознали и решили.

Осознали. Но не решили. Решить проблемы языка можно лишь меняя язык. Но менять C нельзя, потому что это кощунство и ересь. C++ менять можно, но лишь накидывая в него всё больше и больше всякой хрени. Выкидывать нельзя ничего. Таким способом проблемы невозможно решить, и C с C++ -- подтверждения тому.

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

346. "Выпуск языка программирования Rust 1.48"  +/
Сообщение от Аноним (163), 24-Ноя-20, 17:53 
>Использовал unsafe - ССЗБ, но хотя бы пометил другим людям возможное веселье

Коты тоже метить умеют.

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

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

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




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

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