Ответ.

Исторически модульность появилась как способ разделения больших проектов на независимые логические части для повышения читаемости, повторного использования кода и разделения ответственности между разработчиками. В C модульность реализуется на уровне файлов — исходных (.c) и заголовочных (.h).

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

Решение — использовать разделение интерфейса и реализации:

В .h-файле объявляются внешние функции, типы, структуры.
В .c-файле дается реализация.
Для глобальных переменных используется extern.
Для «приватных» сущностей — static.

Пример структуры модульного кода:

// mymath.h
#ifndef MYMATH_H
#define MYMATH_H
int add(int, int);
#endif

// mymath.c
#include "mymath.h"
int add(int a, int b) { return a + b; }

// main.c
#include "mymath.h"
#include <stdio.h>
int main() {
    printf("%d
", add(3, 4));
    return 0;
}

Ключевые особенности:

Четкое разделение интерфейса (.h) и реализации (.c).
Использование static для скрытия реализации.
extern позволяет разделять переменные и функции между модулями.

Вопросы с подвохом.

Можно ли определить переменную с extern в заголовочном файле и безопасно использовать её в нескольких модулях?

Нет! Определять глобальные переменные следует только в одном .c-файле, а в заголовочных — только объявлять через extern. Иначе возникнут ошибки линковки из-за «multiple definition».

Обязательно ли включать каждый заголовочный файл через #include только один раз?

Необходимо оборачивать каждый .h-файл сторожевыми макросами (#ifndef/#define/#endif), иначе при многократном включении возникнет конфликт объявлений и ошибки компиляции.

Можно ли реализовать чистую инкапсуляцию приватных данных структуры (opaque pointer) в C?

Да. Так называемый «opaque pointer» позволяет скрыть детали структуры от пользователя:

// mystruct.h
typedef struct MyStruct MyStruct;
MyStruct* create(void);
void destroy(MyStruct*);

// mystruct.c
struct MyStruct { int a; };

Типовые ошибки и анти-паттерны

Путаница между объявлением и определением переменных.
Отсутствие include guards.
Нарушение инкапсуляции (вынос приватных деталей в header).

Пример из жизни

Негативный кейс

Вся логика реализована в одном длинном .c-файле, повторяется код, глобальные переменные пересекаются, возникают ошибки линковки.

Плюсы:

Быстрое прототипирование.

Минусы:

Плохая поддерживаемость, риск конфликтов, сложная отладка.

Позитивный кейс

Код декомпозирован по модулям, используются include guards, приватные данные закрыты через opaque pointer.