Когда использовать extern в C++: глобальные переменные и разделение кода

Что такое extern и зачем он нужен?

Ключевое слово extern в C++ используется для объявления переменной или функции без её определения. Оно говорит компилятору: "Эта переменная существует, но определена где-то в другом месте (в другом файле или позже в этом же файле)". Это основа для разделения кода на несколько единиц трансляции.

Основное правило: объявление vs определение

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

По умолчанию глобальная переменная с инициализацией — это определение. Без extern вы не можете "объявить" переменную без определения в глобальной области видимости.

Решение вашей проблемы

Ваша ошибка в том, что в utils.h вы определяете переменную globalCounter. Когда вы включаете этот заголовок в два .cpp файла, каждый из них получает своё собственное определение, что приводит к конфликту.

Правильный подход:

Шаг 1: В заголовочном файле (utils.h) используйте extern для объявления переменной:

// utils.h
#ifndef UTILS_H
#define UTILS_H

extern int globalCounter;  // Только объявление! Память не выделяется.
void incrementCounter();

#endif

Шаг 2: В одном (и только одном!) .cpp файле дайте определение:

// utils.cpp
#include "utils.h"

int globalCounter = 0;  // Определение. Память выделяется здесь.

void incrementCounter() {
    globalCounter++;
}

Шаг 3: В main.cpp просто используйте заголовок:

// main.cpp
#include "utils.h"
#include <iostream>

int main() {
    incrementCounter();
    std::cout << globalCounter << std::endl;  // Выведет 1
    return 0;
}

Когда ещё использовать extern?

• Глобальные константы (не constexpr): Если у вас есть const int MAX_SIZE = 100; в заголовке, каждая единица трансляции получит свою копию. Чтобы избежать дублирования, используйте extern const int MAX_SIZE; в заголовке и определите её в .cpp файле.
• Внутренняя линковка: Если вы хотите, чтобы переменная была доступна только в одном файле, используйте static или анонимное пространство имён. extern — для межмодульного доступа.
• Функции: Кстати, функции по умолчанию имеют extern (объявление в заголовке — это объявление, а определение в .cpp — определение). Поэтому для функций extern обычно не пишут, но это допустимо.

Важные нюансы

• Не путайте с static: extern делает переменную видимой для других единиц трансляции. static (в глобальной области) — наоборот, скрывает её.
• Ошибка "undefined reference": Если вы объявили переменную с extern, но забыли дать определение в каком-либо .cpp файле, линковщик выдаст эту ошибку.
• C++17 и inline переменные: Начиная с C++17, вы можете использовать inline int globalCounter = 0; в заголовочном файле. Это решает ту же проблему более элегантно (переменная будет определена ровно один раз). Но extern остаётся актуальным для обратной совместимости и явного разделения.

Итог: extern — это инструмент для разделения объявления и определения глобальных переменных между файлами. Используйте его в заголовочных файлах, а определение давайте ровно в одном .cpp файле.

// utils.h
inline int globalCounter = 0;  // Работает как extern + определение

// utils.h
class Counter {
public:
    static int globalCounter;  // объявление
    static void increment();
};

// utils.cpp
int Counter::globalCounter = 0;  // определение
void Counter::increment() { globalCounter++; }