0Pricing
C++ Academy · Lekcja

Ograniczenia w systemach wbudowanych: brak RTTI i wyjątków

Pracuj w typowych podzbiorach systemów wbudowanych, w których wyłączono RTTI i wyjątki

Ograniczenia w systemach wbudowanych: brak RTTI i wyjątków to bezpłatna lekcja C++ Academy na CoddyKit. To lekcja 1 z 4. Możesz przeczytać całą lekcję poniżej za darmo — a potem ćwiczyć ją interaktywnie w przeglądarce z wbudowanym edytorem kodu i tutorem AI dostępnym 24/7. To część ścieżki edukacyjnej C++ Academy, a Twój postęp synchronizuje się między webem a aplikacją CoddyKit. Kurs C++ Academy zawiera 4 lekcji w sumie.

C++ w systemach wbudowanych

Systemy wbudowane mają ograniczenia: mało pamięci RAM, brak MMU i terminy czasu rzeczywistego. „Freestandingowy” podzbiór C++ usuwa części języka, które są zbyt kosztowne.

Dlaczego bez RTTI?

RTTI (informacje o typach w czasie wykonywania) obsługuje dynamic_cast i typeid. Każda klasa polimorficzna zawiera dodatkowy wskaźnik, a tablice RTTI zwiększają rozmiar kodu. Wyłącz RTTI za pomocą -fno-rtti.

Dlaczego bez wyjątków?

Wyjątki wymagają tablic rozwijania stosu i obsługi w czasie wykonywania, co zwiększa rozmiar kodu i powoduje nieprzewidywalne czasy wykonania. Wiele baz kodu systemów wbudowanych używa -fno-exceptions.

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

Obsługa błędów bez wyjątków

Używaj:

  • kodów zwrotnych (std::expected, std::optional, wyliczeń błędów)
  • parametrów wyjściowych na wyniki
  • std::error_code dla błędów systemowych

Typy wyników

std::expected<T, E> z C++23 reprezentuje wartość albo błąd — podobnie jak Result w języku Rust. Wiele projektów systemów wbudowanych już korzysta z własnego typu Result.

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

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

Unikanie alokacji dynamicznej

Fragmentacja sterty może uniemożliwić działanie w czasie rzeczywistym. Kod systemów wbudowanych często zabrania używania new poza fazą uruchamiania. Używaj:

  • alokacji na stosie
  • tablic statycznych
  • pul pamięci
  • alokatorów dostosowanych do systemów wbudowanych

Wzorce pamięci statycznej

Rezerwuj pamięć podczas kompilacji lub uruchamiania programu.

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);
    // ...
};

Polimorfizm w czasie kompilacji

Jeśli to możliwe, zastępuj funkcje wirtualne szablonami lub CRTP — bez vtable i bez wywołań pośrednich.

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

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

Standardowa biblioteka freestanding

Podzbiór języka C++ freestanding wyklucza większość elementów <iostream>, obsługę wątków i alokację dynamiczną. Standard jednoznacznie określa, co jest dostępne.

etl: Embedded Template Library

Embedded Template Library (ETL) udostępnia kontenery podobne do STL, o deterministycznym rozmiarze i bez alokacji dynamicznej.

Kwestie rozmiaru kodu

Użyj -Os do optymalizacji rozmiaru, -flto do optymalizacji podczas konsolidowania oraz -ffunction-sections -fdata-sections -Wl,--gc-sections, aby usunąć nieużywany kod.

Przykłady z praktyki: łaziki marsjańskie i samochody

C++ jest szeroko stosowany w krytycznych dla bezpieczeństwa systemach wbudowanych — w motoryzacji (AUTOSAR), lotnictwie i astronautyce (MISRA) oraz medycynie (IEC 62304). Standardy kodowania dodatkowo ograniczają język.

Szybkie sprawdzenie

Jaka flaga kompilatora wyłącza obsługę wyjątków w C++, aby zmniejszyć rozmiar pliku binarnego?

Podsumowanie

W systemach wbudowanych wyłącza się RTTI i wyjątki, aby zmniejszyć rozmiar kodu i zapewnić przewidywalność. Zastąp stertę pamięcią statyczną, używaj typów wyników do obsługi błędów, a CRTP do polimorfizmu. Standardy kodowania, takie jak MISRA, dodatkowo ograniczają język.

Często zadawane pytania

Czy lekcja „Ograniczenia w systemach wbudowanych: brak RTTI i wyjątków” jest bezpłatna?

Tak — pełny tekst „Ograniczenia w systemach wbudowanych: brak RTTI i wyjątków” jest dostępny za darmo tutaj w sieci. Aby ćwiczyć ją interaktywnie (wbudowany edytor kodu i tutor AI dostępny 24/7) i odblokować resztę kursu C++ Academy, przejdź na CoddyKit PRO. Kurs C++ Academy zawiera 4 lekcji w sumie.

Co nauczysz się w „Ograniczenia w systemach wbudowanych: brak RTTI i wyjątków”?

Pracuj w typowych podzbiorach systemów wbudowanych, w których wyłączono RTTI i wyjątki Ćwiczysz C++ Academy z praktycznym kodem, który uruchamiasz bezpośrednio w przeglądarce, a tutor AI dostępny 24/7 odpowiada na Twoje pytania podczas pracy nad lekcją.

Czy potrzebuję doświadczenia, aby zacząć C++ Academy?

Nie wymagamy żadnego doświadczenia. C++ Academy w CoddyKit jest strukturyzowany dla początkujących i zaawansowanych użytkowników, więc możesz zacząć tutaj lub od początku i uczyć się w swoim tempie. To lekcja 1 z 4.

Ile czasu zajmuje lekcja „Ograniczenia w systemach wbudowanych: brak RTTI i wyjątków”?

Większość lekcji CoddyKit trwa około 5–10 minut. Każda lekcja to mały, interaktywny krok, dzięki czemu robisz systematyczne postępy i zawsze wracasz dokładnie do tego samego miejsca — na webie i w aplikacji.

Czy mogę pisać i uruchamiać kod w tej lekcji C++ Academy?

Tak. Każda lekcja C++ Academy zawiera wbudowany edytor kodu, więc piszesz i uruchamiasz prawdziwy kod bezpośrednio w przeglądarce i od razu otrzymujesz sprzężenie zwrotne od AI — bez konfiguracji na komputerze.

Wszystkie lekcje w tym kursie

  1. Ograniczenia w systemach wbudowanych: brak RTTI i wyjątków
  2. Wejście/wyjście mapowane w pamięci i volatile
  3. Systemy czasu rzeczywistego i opóźnienia
  4. Kompilacja skrośna dla celów ARM
← Powrót do C++ Academy