В чем разница между объявлением и определением в C++?

Краткий ответ

Объявление (declaration) говорит компилятору: "Такая-то сущность существует, вот её имя и тип". Определение (definition) говорит: "Создай эту сущность — выдели память для переменной или напиши тело функции".

Главное правило: определение — это тоже объявление, но не наоборот. Определение всегда одновременно является объявлением. Объявление можно повторять сколько угодно раз, а определение — только один раз (правило одного определения, ODR).

Подробное объяснение с примерами

1. Переменные

Рассмотрим четыре варианта:

// Вариант 1: Определение
int x;               // Определяет переменную x типа int, выделяет память

// Вариант 2: Объявление (без определения)
extern int y;        // Говорит: "Где-то есть переменная y типа int"

// Вариант 3: Определение с инициализацией
int z = 42;          // Определяет и инициализирует z

// Вариант 4: Объявление с extern и инициализацией
extern int w = 10;   // Это ОПРЕДЕЛЕНИЕ! Инициализация перебивает extern

Ключевой момент — ключевое слово extern. Если вы пишете extern int y; без инициализации — это чистое объявление. Память не выделяется, переменная должна быть определена где-то ещё. Если добавить инициализацию (extern int w = 10;), то extern игнорируется, и это становится определением.

Почему int x; — это определение? Потому что компилятор видит, что переменная не помечена как extern, и автоматически выделяет под неё память. В глобальной области это будет статическая инициализация нулём, в локальной — значение будет неопределённым (мусором).

2. Функции

С функциями аналогично:

// Объявление (прототип)
void foo();          // Говорит: "Существует функция foo, которая ничего не принимает и не возвращает"

// Определение
void foo() {         // Определяет тело функции
    // код
}

Прототип функции — это чистое объявление. Он нужен, чтобы компилятор знал, как вызывать функцию до того, как увидит её полное определение. Без прототипа вызов foo(); до определения вызовет ошибку компиляции.

Определение функции — это когда после сигнатуры идёт тело в фигурных скобках. Если написать void foo(); два раза — это нормально (два объявления). А если написать два определения — ошибка "multiple definition".

3. Классы и структуры

Для классов работает та же логика:

// Объявление класса (forward declaration)
class MyClass;       // "Такой класс существует, но я пока не знаю его содержимого"

// Определение класса
class MyClass {      // Определяет, какие поля и методы есть у класса
    int data;
public:
    void method();
};

Объявление класса (forward declaration) позволяет использовать указатели и ссылки на класс, но не позволяет создавать объекты или обращаться к членам класса, пока не будет полного определения.

4. Практическое правило

• Если конструкция выделяет память (для переменной) или создаёт тело (для функции/метода) — это определение.
• Если конструкция только сообщает о существовании — это объявление.
• Определение всегда является объявлением.
• Объявлений может быть много, определение — только одно.

Почему это важно?

Разделение на объявление и определение — основа модульности в C++. В заголовочных файлах (.h) вы пишете объявления (прототипы функций, extern-переменные, классы). В файлах реализации (.cpp) — определения. Компилятор собирает всё вместе на этапе линковки. Это позволяет:

• Избежать дублирования кода
• Ускорить компиляцию (изменение в .cpp не требует перекомпиляции других файлов)
• Скрыть детали реализации

// В заголовочном файле
inline const int MAX_SIZE = 100;  // Определение, но можно включать в несколько .cpp