А может есть Safe C/C++?

@Mikhaylo · Регистрация: 20.09.2014

Студворк — интернет-сервис помощи студентам

Я не совсем уж конченный начинающий в C/C++, думаю, уровень мидла, скорее, - за счёт знания других языков и опыта разработки разных проектов. В общем просто привела меня судьба в эмбеддинговые системы и язык С/С++. Arduino, ESP32 и всё такое.

Вот я уже почти год пинаю первый свой проект, он уже почти закончен. Основной вердикт - задолбало отстреливание своих конечностей. Я могу неделю искать причину неработоспособности и случайного сбоя.

Моё предложение - создать отладочный вариант языка С/С++, который будет безопасным, но листингово-совместимым с обычным C/C++. То есть сначала работаешь в Safe C/C++, который медленный, но контролирует выход указателя за пределы массива, пишет логи разных уровней и всё такое. Как только убеждаешься, что всё работает, то отключаешь логи и контроль. Если бы можно было писать отдельные части кода на Safe C/C++, другие - на оригинальных языках C/C++ - это вообще атас!

@Royal_X · 27.03.2025, 22:07

Сообщение от alecss131

у ржавчины на нашем форуме ситуация не сильно лучше

потому что это форум школоты. Не думаю, что в какой-то постсоветской школе, препод с менталитетом 20 века будет обучать Rust...
Но в моей стране Rust популярен и есть вакансии. Используется в топовых корпорациях.
А вот Kotlin в рейтингах упал. Java в разы на лучших позициях.
https://www.tiobe.com/tiobe-index/
Java - 3-е место и растет дальше
Kotlin - 19, причем с отрицательным коэффициентом изменения - т.е. язык падает ко дну)
Даже Rust впереди котлина.

@Mikhaylo · 28.03.2025, 09:07 **[ТС]**

Сообщение от Alex1126

Раз речь про андурино, значит этот скорее всего микроконтроллер, а там экрана нет, сообщения об ошибке не выводятся

Нет, вот такой комбайн с дисплеем, внутренней и внешней флэшкой, вайфаем, RS485 и CAN:
https://www.waveshare.com/wiki... ouch-LCD-7

Программируется в Arduino IDE в том числе.

@alecss131 · 28.03.2025, 10:52

Сообщение от Mikhaylo

Arduino IDE

От этого г надо отказываться в первую очередь. По функционалу не лучше блокнота. Советую обратить внимание на Platformio
С хорошей IDE проще писать код, а то в используемом даже не подебажить и нету ничего вообще удобного.

@Mikhaylo · 28.03.2025, 11:02 **[ТС]**

Перейти на платформио с наработанной кодовой базой трудно?

@Aledveu · 28.03.2025, 11:34

Напортачить и сделать неработающий код можно на любом языке и это не проблема языка.
мы так и не увидели что же за код вызвал такие трудности в отладке.
А это как раз самое интересное.
Ибо надо искать причины и разбираться с ними.
И по ходу дела нарабатывать опыт и навыки решения типовых трудностей конкретной платформы.

А попытки переложить ответственность за неработающий код на язык не позволит програмисту совершенствоваться.

@Pphantom · 28.03.2025, 11:42

Сообщение от Aledveu

А попытки переложить ответственность за неработающий код на язык не позволит програмисту совершенствоваться.

Ну вообще-то желание найти язык, устройство которого позволяет эффективнее ловить ошибки, вполне естественно. Другое дело, что конкретно при создании C цели были фактически диаметрально противоположными, а C++ все же многое от C "унаследовал".

@NotAbug · 28.03.2025, 11:56

В C++ безопасно работать с массивами array и vector, если использовать метод at.

Алексей1153 · 28.03.2025, 12:09

NotAbug, и ловить исключения

Очень весело

@NotAbug · 28.03.2025, 12:12

Для программирования одноплатных компьютеров лучше использовать кросс-компиляцию.

Добавлено через 2 минуты
>ловить исключения Очень весело

для этого try/catch и сделаны

@Aledveu · 28.03.2025, 12:17

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

@NotAbug · 28.03.2025, 12:29

>единственное что можно сделать - это сброс

надо же аккуратно всё перехватывать. Сначала всё тщательно отладить на хост-системе. Когда возникает неперехваченное исключение внутри кода, его перехватит обработчик в main и выведет сообщение, по крайней мере ошибки не останутся незамеченными. А если ошибки возвращать в виде кодов, то есть опасность не заметить что ошибка не была обработана.

Алексей1153 · 28.03.2025, 13:35

Сообщение от NotAbug

для этого try/catch и сделаны

.at , try/catch - это всё лишние накладные расходы, удар по быстродействию, засорение текста кода.

@Aledveu · 28.03.2025, 14:20

Сообщение от NotAbug

надо же аккуратно всё перехватывать.

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

Или ещё круче - в обработчике прерываний вы вызвали чью-то функцию (написанную программистом любителем новомодных исключений), а она дала исключение )) что же там будет?

@NotAbug · 28.03.2025, 16:18

>ну расскажите

Рассказываю: для программирования микроконтроллеров и DSP я против использования высокоуровневых языков, там только язык ассемблера. А вот на одноплатных компьютерах с операционной системой вполне можно использовать C или Ada. Вот в статье хвалят Аду для встроенных систем:
https://habr.com/ru/articles/549688/

Насчёт C++ - я не пробовал, но у меня есть книги Майа Пош "Программирование встроенных систем на C++ 17" и Мякишев Д.В. "Принципы и методы создания надёжного программного обеспечения АСУТП", так там очень рекомендуют C++.

@Mikhaylo · 28.03.2025, 17:59 **[ТС]**

Парни, извините, я думаю об одном, а пишу о другом. (Наверное я так и программирую.)

Моя мысль заключается в том, чтобы использовать возможности C/C++, чтобы создать безопасные перегруженные функции и операторы вместо опасных. И переключать их с помощью DEBUG 0/1. То есть нужна Safe-библиотека, а не новый язык. Не так кардинально, господа. Не надо Rust/Go/MISRA C.

Добавлено через 15 минут

Сообщение от Aledveu

мы так и не увидели что же за код вызвал такие трудности в отладке.

Я думаю это неважно. У меня очень так много задач, что я не могу позволить себе анализировать постоянно, где может произойти сбой. Я могу вывалить вам на головы этот код, он делает многое в этом комбайне. Но зачем? Я лучше покажу это всё искусственному интеллекту (что я и делаю). Но я хочу что-то поэффективнее.

@Azathtot · 28.03.2025, 19:26

Сообщение от Mikhaylo

покажу это всё искусственному интеллекту (что я и делаю)

Да.... он вам "насоветует". Ошибок будет еще больше.

Сообщение от Mikhaylo

У меня очень так много задач, что я не могу позволить себе анализировать постоянно, где может произойти сбой.

Значит вы не за те задачи беретесь. Хороший эмбедщик задачу "компилирует и исполняет" в уме, и вопросы "анализировать" встаю ну очень редко. Особенно если не увлекаться бегемотами (Arduino).

Сообщение от Mikhaylo

чтобы создать безопасные перегруженные функции и операторы вместо опасных

А вот это как? Что есть "безопасная функция"? Со стек чекингом, поиском утечек памяти? Если да, то куда весь этот выхлоп итди должен? На JTAG? На DebugWire?

@SmallEvil · 28.03.2025, 20:52

Вот это у людей проблемы. Mikhaylo, я за вас искренне рад.

Добавлено через 7 минут
По сути вопроса.
Выбор ЯП для вас ограничен. Под конкретную задачу доступен ограниченный набор ЯП и иногда даже IDE.
Второе. Что в Си, что в С++, да и это относится и к большинству других ЯП. Вы как кодер, должны выработать набор техник и правил написания кода. А не каждый раз выдумывать велосипед.

Вот вам подкинули MISRA. Отличный вариант.
Misra C++ 2008 поддерживает масса статических анализаторов.

Думаю вам нужно снять розовые очки по типу: