Чё за чёрная магия с заголовочниками в си?

Пути сишечного препроцессора неисповедимы.

Заголовочный файл не обязан быть компилируем.

Должен быть компилируем только исходный файл.

И это работает потому что #include <stdint.h> стоит выше чем твой #include, и когда препроцессор всё подставит получится валидный с файл.

Ща гляну, спасибо

модули с другой стороны обязаны быть компилируемы.

#include - это просто текстовая подстановка. Чтобы увидеть код, который на самом деле попадает в компилятор, нужно посмотреть результаты препроцессинга (у gcc это ключ -E)

есть три текстовых файла A, B, C.

если подставить A в B, а потом подставить В в С, то это то же самое что подставить A и B в C. include, это просто текстовая вставка. полностью эквивалентная copy/paste

Ну так всё это будет работать до того момента, пока везде в коде.

// XXX.c
#include <stdint.h>
...
#include <delay.h>

Но стоит появиться

// YYY.c
#include <delay.h>
...
#include <stdint.h>

и всё навернётся.

И не дай бог, ещё clang-format отсортирует заголовочные файлы.

Работает, т.к. препроцессор компилятора вместо всех include вставит содержимое соответствующих файлов разом. И только потом перейдёт к следующему шагу разбора.

Ну так всё это будет работать до того момента, пока везде в коде…

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

И не дай бог, ещё clang-format отсортирует заголовочные файлы.

А он вроде достаточно умный, не? Я использую стиль google, оно их сортирует, да, но как-то вроде эвристично.

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

Ты про include guard и подобное, или наоборот про то, что они - плохо?

Про них но не только. С директивами условной компиляции можно много всего наворотить.

Они не то что хорошо/плохо - но они должны быть. Вот когда их нет, как в некоторых частях Image Magick например, вот тогда это плохо…

А, согласен целиком.

А он вроде достаточно умный, не?

Зависит от настроек IncludeBlocks, IncludeCategories (см. https://clang.llvm.org/docs/ClangFormatStyleOptions.html#includeblocks).

Я использую стиль google

Далеко не все его используют.

LLVM предлагает размещать системные библиотеки в низ списка: https://llvm.org/docs/CodingStandards.html#include-style