C++

Машинная модель C++

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

Почему важна модель машины

C++ - это язык, предназначенный для предоставления вам прямого контроля над оборудованием. В отличие от управляемых языков, таких как Java или Python, C++ не скрывает от вас машину. Каждая переменная, которую вы объявляете, занимает реальную память, каждый вызов функции манипулирует реальным стеком, и каждый указатель содержит реальный адрес. Понимание этой модели машины не является обязательным; это основа, на которой построена любая другая концепция C++.

C++ следует принципу нулевой абстракции : вы никогда не должны платить (по производительности) за функцию, которую вы не используете, и когда вы используете функцию, компилятор должен создавать код так же эффективно, как рукописная сборка. Эта философия формирует все: от того, как классы выкладываются в памяти, до того, как составляются шаблоны.

трубопровод компиляции

Превращение исходного кода C++ в исполняемый включает в себя четыре отдельных этапа, каждый из которых обрабатывается отдельным инструментом (хотя современные компиляторы объединяют их вместе):

1. Препроцессор — директивы процессов, такие как #include, #define и #ifdef. Он выполняет текстовую замену, производя один расширенный исходный файл, называемый блоком перевода **.
2. Компилятор — переводит каждый блок перевода на язык ассемблера. Именно здесь выявляются синтаксические ошибки, ошибки типов и большинство предупреждений.
3. Ассемблер — Преобразует сборку в машинный код, производя объектный файл (.o или .obj). Каждый блок перевода дает один объектный файл.
4. Linker — объединяет все объектные файлы (и библиотеки) в один исполняемый файл. Линкер разрешает символьные ссылки — когда один файл вызывает функцию, определенную в другом, линкер связывает их вместе.

Блок перевода является основным блоком компиляции: один файл .cpp плюс все его заголовки #included, полностью расширенные. Компилятор никогда не видит более одного блока перевода за раз (если не использовать оптимизацию времени ссылки).

Ваша первая программа

Классическая программа «Привет, мир!» демонстрирует минимально жизнеспособную программу C++. Каждый элемент служит цели:

hello.cppc++23
// hello.cpp
#include <iostream>   // Preprocessor: pulls in I/O declarations

int main() {          // Entry point — exactly one per program
    std::cout << "Hello, World!" << '\n';
    return 0;         // 0 signals success to the OS
}
Вывод

Нажмите «Запустить», чтобы скомпилировать и выполнить этот пример.

Составление из командной строки

Понимание флагов компилятора дает вам контроль над тем, как построен ваш код. Вот основные команды, использующие GCC и Clang:

terminal
# Compile and link in one step
g++ -std=c++23 -Wall -Wextra -o hello hello.cpp

# Or separate the stages:
g++ -std=c++23 -Wall -Wextra -c hello.cpp   # produces hello.o
g++ -o hello hello.o                         # links into executable

# Run the program
./hello

# See the preprocessor output (the full translation unit)
g++ -std=c++23 -E hello.cpp > hello.ii

# See the assembly output
g++ -std=c++23 -S hello.cpp                  # produces hello.s

Обсуждение Stack vs. Heap Memory

C++ предоставляет вам две основные области памяти для работы с:

Stack - это непрерывный блок памяти, управляемый автоматически. Когда вы объявляете локальную переменную внутри функции, она живет в стеке. Распределение стека происходит очень быстро — компилятор просто настраивает указатель стека. Когда функция возвращается, все ее локальные переменные мгновенно уничтожаются, перемещая указатель обратно. Объем памяти стека ограничен (обычно 1-8 МБ).

The Heap (или бесплатный магазин) - это большой пул памяти, которым вы управляете вручную, используя new/delete (или, предпочтительно, умные указатели). Распределение кучи происходит медленнее, потому что распределитель должен найти подходящий блок свободной памяти. Куча памяти сохраняется до тех пор, пока вы явно не освободите ее - забывая сделать это, вызывает утечку памяти.

Ключевое понимание: объекты стека имеют детерминированные жизни — они разрушаются в точном обратном порядке их создания (LIFO). Куча предметов живет, пока вы не скажете обратное. Это различие приводит к появлению многих шаблонов дизайна C++, особенно RAII (Resource Acquisition Is Initialization).

Подводный камень

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

Общие источники UB включают в себя: отмену ссылки на нулевой или болтающийся указатель, подписанный целочисленный переполнение, доступ к массиву из границ, использование неинициализированной переменной и нарушение правила одного определения.

Компилятор может предполагать, что UB никогда не происходит и оптимизировать соответствующим образом. Это означает, что UB может вызывать эффекты, которые, кажется, перемещаются назад во времени — код до того, как UB может вести себя по-другому, потому что оптимизатор удалил ветвь, которая «не могла произойти».

Всегда компилируйте с -Wall -Wextra -Wpedantic и используйте дезинфицирующие средства (-fsanitize=address,undefined) во время разработки.

  • UB означает, что стандарт не накладывает никаких ограничений на поведение программы.
  • Компилятор предполагает, что UB никогда не происходит, и оптимизирует на основе этого предположения.
  • Санитаризаторы (-fsanitize = адрес, неопределенный) ловят много случаев UB во время выполнения
  • Общий UB: нулевая отсрочка, подписанный переполнение, выход за пределы доступа, неинициализированные чтения
Ключевые выводы
  • C++ дает вам прямой контроль над аппаратным обеспечением - каждая карта абстракции для реальных операций машины.
  • Трубопровод компиляции имеет четыре этапа: препроцессор, компилятор, ассемблер, линкер — каждый из них может производить ошибки.
  • Блок перевода - это один файл .cpp со всеми его #включающими расширенными - это блок компиляции.
  • Стековая память быстрая и автоматическая; куча памяти гибкая, но требует ручного управления.
  • Неопределенное поведение — это не просто сбой, это нарушение контракта, которое позволяет компилятору делать что угодно.
  • Всегда компилируйте с включенными предупреждениями (-Wall-Wextra) и используйте дезинфицирующие средства во время разработки.

Тест — проверьте свои знания

(10 XP)

1. Каков правильный порядок компиляции C++?

2. Что происходит, когда программа C++ запускает неопределенное поведение?

3. Что такое перевод в C++?

Далее
Типы, ценности и система типов