Embedded C++

Embedded C++ (EC++) — это подмножество языка программирования C++, разработанное для использования во встраиваемых системах. Основная цель Embedded C++ — предоставить возможности объектно-ориентированного программирования, характерные для C++, при этом исключив те его особенности, которые приводят к непредсказуемому поведению, чрезмерному потреблению памяти, снижению производительности или усложнению анализа кода на этапе компиляции. EC++ не является отдельным языком, а представляет собой набор рекомендаций и правил, определяющих, какие конструкции стандартного C++ допустимы для применения в условиях ограниченных ресурсов.

История и предпосылки создания

Встраиваемые системы традиционно разрабатывались на языке C из-за его эффективности, низкого уровня абстракции и предсказуемости. Однако с ростом сложности встраиваемого программного обеспечения возникла потребность в лучших механизмах абстракции и повторного использования кода, которые предлагает C++. Полноценное использование C++ в микроконтроллерах с ограниченной памятью (часто менее 64 КБ ОЗУ и 256 КБ Flash) было затруднено из-за следующих проблем:

• Непредсказуемое управление памятью: Стандартная библиотека C++ активно использует динамическое выделение памяти (операторы new и delete), что в условиях ограниченной памяти может привести к фрагментации и исчерпанию ресурсов.
• Высокие накладные расходы на исключения: Механизм обработки исключений (try-catch) требует значительного объема кода и данных для поддержки раскрутки стека (stack unwinding), что делает его неприемлемым для систем с жесткими ограничениями по памяти.
• Непредсказуемое время выполнения: Некоторые конструкции C++, такие как виртуальные функции и динамическое приведение типов (dynamic_cast), могут иметь недетерминированное время выполнения, что критично для систем реального времени.
• Размер кода: Шаблоны C++ и другие механизмы могут приводить к чрезмерному раздуванию кода (code bloat), если не контролировать их использование.

В середине 1990-х годов консорциум компаний, включая NEC, Hitachi и Toshiba, начал работу над стандартизацией подмножества C++, пригодного для встраиваемых систем. Результатом этой работы стал документ «Embedded C++ Technical Report», опубликованный в 1999 году.

Ключевые ограничения и особенности

Embedded C++ накладывает жесткие ограничения на используемые возможности стандартного C++. Основные из них:

Запрещенные возможности

1. Исключения (Exceptions): Полностью запрещены. Обработка ошибок должна выполняться с помощью возврата кодов ошибок или других механизмов, не требующих накладных расходов на раскрутку стека.
2. Динамическое приведение типов (dynamic_cast): Запрещено, так как требует поддержки информации о типах во время выполнения (RTTI) и может иметь непредсказуемое время выполнения.
3. Информация о типах во время выполнения (typeid): Запрещено по той же причине, что и dynamic_cast.
4. Динамическое выделение памяти (new/delete): Как правило, запрещено или строго ограничено. Вместо этого используются статические или глобальные объекты, а также пулы памяти (memory pools), если динамическое выделение все же необходимо.
5. Множественное наследование: Запрещено, так как усложняет модель памяти объекта и может приводить к неоднозначностям. Разрешено только простое наследование.
6. Виртуальные базовые классы: Запрещены, так как требуют сложных механизмов для разрешения неоднозначности при множественном наследовании.
7. Шаблоны (Templates): Часто ограничены. Допустимо использование простых шаблонов, но их чрезмерное использование, приводящее к раздуванию кода, не рекомендуется. В некоторых реализациях EC++ шаблоны запрещены полностью.

Разрешенные возможности

Несмотря на ограничения, Embedded C++ сохраняет многие ключевые возможности C++, которые делают его полезным для встраиваемых систем:

• Классы и объекты: Разрешены, включая конструкторы, деструкторы, методы и модификаторы доступа (public, private, protected).
• Простое наследование: Разрешено.
• Виртуальные функции (virtual): Разрешены, так как они обеспечивают полиморфизм с предсказуемыми накладными расходами (один указатель на виртуальную таблицу на объект). Однако их использование должно быть оправдано.
• Перегрузка функций и операторов: Разрешена, но с осторожностью, чтобы не ухудшить читаемость кода.
• Пространства имен (namespace): Разрешены и активно используются для организации кода.
• Ссылки (references): Разрешены.
• Встроенные функции (inline): Разрешены для уменьшения накладных расходов на вызов функций.
• Константные методы и объекты (const): Разрешены.

Различия между Embedded C++ и стандартным C++

Основное различие заключается в наборе разрешенных возможностей. Стандартный C++ (C++98, C++11, C++14, C++17, C++20) включает все вышеперечисленные запрещенные механизмы, которые Embedded C++ исключает. Кроме того, стандартная библиотека C++ (STL) в полном объеме не используется в EC++ из-за ее зависимости от динамической памяти и исключений. Вместо этого разработчики часто создают собственные упрощенные контейнеры (например, статические списки или очереди) или используют специализированные библиотеки для встраиваемых систем.

Применение и значение

Embedded C++ нашел широкое применение в следующих областях:

• Промышленная автоматизация: Программирование программируемых логических контроллеров (ПЛК) и микроконтроллеров для управления станками и технологическими процессами.
• Автомобильная электроника: Разработка программного обеспечения для блоков управления двигателем (ECU), систем ABS, подушек безопасности и информационно-развлекательных систем.
• Потребительская электроника: Программирование микроконтроллеров в стиральных машинах, микроволновых печах, пультах дистанционного управления и игрушках.
• Медицинские устройства: Разработка программного обеспечения для кардиостимуляторов, инсулиновых помп и диагностического оборудования, где надежность и предсказуемость критичны.
• Телекоммуникационное оборудование: Программирование маршрутизаторов, коммутаторов и базовых станций.

Значение Embedded C++ заключается в том, что он позволяет разработчикам использовать преимущества объектно-ориентированного программирования (инкапсуляция, наследование, полиморфизм) в условиях, где ранее был возможен только процедурный язык C. Это способствует повышению качества кода, его повторному использованию и упрощению сопровождения сложных проектов.

Критика и современное состояние

Embedded C++ подвергался критике за то, что его ограничения были слишком жесткими. С развитием аппаратного обеспечения (увеличение объема памяти и производительности микроконтроллеров) и появлением более эффективных реализаций компиляторов, многие разработчики начали использовать полный стандартный C++ (или его подмножества, отличные от EC++) во встраиваемых системах. Например, в системах с операционными системами реального времени (RTOS) часто используется полноценный C++ с контролируемым использованием исключений и динамической памяти.

Тем не менее, принципы, заложенные в Embedded C++, остаются актуальными для систем с жесткими ограничениями по ресурсам, особенно для 8- и 16-битных микроконтроллеров. Современные руководства по разработке встраиваемого ПО на C++ (например, MISRA C++ и AUTOSAR C++14) включают многие из этих ограничений, хотя и с некоторыми послаблениями.

Интересные факты

• Первоначальная спецификация Embedded C++ не включала шаблоны, что делало его очень близким к «C с классами». Позднее шаблоны были добавлены как опциональная возможность.
• Существует несколько реализаций компиляторов, поддерживающих режим Embedded C++, например, IAR Embedded Workbench и некоторые версии GCC с соответствующими флагами.
• Концепция «C++ для встраиваемых систем» продолжает развиваться. Например, стандарт C++17 и C++20 ввели std::optional и std::variant, которые могут быть реализованы без динамической памяти и исключений, что делает их привлекательными для встраиваемых систем.

Источники

1. Embedded C++ Technical Report (1999).
2. MISRA C++:2008 — Guidelines for the use of the C++ language in critical systems.
3. AUTOSAR C++14 Guidelines.
4. «Embedded C++: An Overview» — статья в журнале Embedded Systems Programming (1999).
5. Документация компилятора IAR Embedded Workbench для ARM.