0Pricing
C++ Academy · Урок

Ограничения во встраиваемых системах: без RTTI и исключений

Работайте в типичных подмножествах для встраиваемых систем, где отключены RTTI и исключения.

«Ограничения во встраиваемых системах: без RTTI и исключений» — бесплатный урок C++ Academy на CoddyKit. Это урок 1 из 4. Ты можешь прочитать весь урок бесплатно ниже — а потом практиковать его прямо в браузере с встроенным редактором кода и ИИ-репетитором 24/7. Это часть пути обучения C++ Academy, и твой прогресс синхронизируется между веб-версией и приложением CoddyKit. Курс C++ Academy содержит 4 уроков всего.

Встраиваемый C++

Встраиваемые системы имеют ограничения: мало RAM, отсутствие MMU и крайние сроки выполнения в реальном времени. «Свободно стоящее» подмножество C++ исключает части языка, слишком затратные для таких систем.

Почему нет RTTI?

RTTI (информация о типах во время выполнения) поддерживает dynamic_cast и typeid. Каждый полиморфный класс содержит дополнительный указатель, а таблицы RTTI увеличивают размер кода. Отключите RTTI с помощью -fno-rtti.

Почему нет исключений?

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

g++ -fno-rtti -fno-exceptions main.cpp

Обработка ошибок без исключений

Используйте:

  • коды возврата (std::expected, std::optional, перечисления ошибок)
  • выходные параметры для результатов
  • std::error_code для системных ошибок

Типы результатов

std::expected<T, E> из C++23 представляет либо значение, либо ошибку — подобно Result в Rust. Во многих проектах для встраиваемых систем уже используется пользовательский тип Result.

std::expected<int, ErrorCode> parse(const char* s);

if (auto r = parse("42"); r) use(*r);
else                       log_error(r.error());

Избегание динамического выделения памяти

Фрагментация кучи нарушает работу систем реального времени. Встраиваемый код часто запрещает использовать new после запуска. Используйте:

  • выделение памяти в стеке
  • статические массивы
  • пулы памяти
  • распределители, подходящие для встраиваемых систем

Шаблоны статической памяти

Резервируйте память во время компиляции или запуска.

template <typename T, size_t N>
class StaticVector {
    alignas(T) char storage_[sizeof(T) * N];
    size_t size_ = 0;
public:
    void push_back(const T& v);
    // ...
};

Полиморфизм во время компиляции

По возможности заменяйте виртуальные функции шаблонами или CRTP — без виртуальной таблицы и косвенных вызовов.

template <typename Derived>
class Base {
public:
    void process() { static_cast<Derived*>(this)->process_impl(); }
};

class Concrete : public Base<Concrete> {
public:
    void process_impl() { /* ... */ }
};

Стандартная библиотека для автономной среды

Подмножество C++ для автономной среды исключает большую часть <iostream>, многопоточность и динамическое выделение памяти. Стандарт явно определяет доступные возможности.

etl: Embedded Template Library

Embedded Template Library (ETL) предоставляет контейнеры, подобные STL, с детерминированным размером и без динамического выделения памяти.

Проблемы размера кода

Используйте -Os для оптимизации размера, -flto для оптимизации во время компоновки и -ffunction-sections -fdata-sections -Wl,--gc-sections для удаления неиспользуемого кода.

Из практики: марсоходы и автомобили

C++ широко используется во встраиваемых системах, критичных к безопасности: в автомобилях (AUTOSAR), аэрокосмической отрасли (MISRA) и медицине (IEC 62304). Стандарты разработки дополнительно ограничивают язык.

Быстрая проверка

Какой флаг компилятора отключает поддержку исключений в C++, чтобы уменьшить размер двоичного файла?

Итоги

Встраиваемый C++ отключает RTTI и исключения ради уменьшения размера кода и повышения предсказуемости. Заменяйте кучу статической памятью, используйте типы результатов для ошибок и CRTP для полиморфизма. Стандарты разработки, такие как MISRA, дополнительно ограничивают язык.

Часто задаваемые вопросы

Урок «Ограничения во встраиваемых системах: без RTTI и исключений» бесплатный?

Да — полный текст урока «Ограничения во встраиваемых системах: без RTTI и исключений» бесплатно доступен здесь в веб-версии. Чтобы практиковать его интерактивно (встроенный редактор кода и ИИ-репетитор 24/7) и разблокировать остальной курс C++ Academy, подпишись на CoddyKit PRO. Курс C++ Academy содержит 4 уроков всего.

Чему я научусь в уроке «Ограничения во встраиваемых системах: без RTTI и исключений»?

Работайте в типичных подмножествах для встраиваемых систем, где отключены RTTI и исключения. Ты практикуешь C++ Academy с помощью реального кода, который запускаешь прямо в браузере, и ИИ-репетитор 24/7 отвечает на твои вопросы во время урока.

Нужен ли мне опыт, чтобы начать C++ Academy?

Предыдущий опыт не требуется. C++ Academy на CoddyKit структурирован для всех уровней — от новичков до продвинутых, поэтому ты можешь начать отсюда или с самого начала и учиться в своем темпе. Это урок 1 из 4.

Сколько времени занимает урок «Ограничения во встраиваемых системах: без RTTI и исключений»?

Большинство уроков CoddyKit занимают около 5–10 минут. Каждый из них компактный и интерактивный, поэтому ты постоянно делаешь прогресс и продолжаешь с того же места в веб-версии и приложении.

Можно ли писать и запускать код в этом уроке C++ Academy?

Да. Каждый урок C++ Academy включает встроенный редактор кода, поэтому ты пишешь и запускаешь реальный код прямо в браузере и получаешь моментальную обратную связь от AI — локальная установка не требуется.

Все уроки этого курса

  1. Ограничения во встраиваемых системах: без RTTI и исключений
  2. Отображённый в память IO и volatile
  3. Особенности систем реального времени и задержка
  4. Кросс-компиляция для целей ARM
← Назад к C++ Academy