Директивы препроцессора

которая позволяет включать в текст программы файлы, вводить макроопределения и

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

является заголовочным стандартной библиотеки и находится в папке компилятора, он

заключается в угловые скобки <>. Если файл находится в текущем каталоге проекта, он указывается в кавычках "". Для файла, находящегося в другом каталоге необходимо в кавычках указать полный путь.

строку, определенную как Замена, вместо каждого аргумента Идентификатор в исходном файле.

Замена не действует для строковых констант или на части более длинного идентификатора. Имена макроопределений принято писать БОЛЬШИМИ_БУКВАМИ.

иной тип. С помощью суффиксов можно переопределить тип константы:
U или u представляет целую

константу в беззнаковой форме (unsigned);
F (или f) позволяет описать вещественную константу типа float;
L (или l) позволяет выделить целой константе 8 байт (long long int);

Вторая форма синтаксиса #define определяет макрос, подобный функции, с параметрами. Эта форма допускает использование необязательного списка параметров, которые должны находиться в скобках:

версией аргумента замена, в которой вместо формальных аргументов подставлены фактические аргументы.

вставляет их вместе в один токен. Полученный токен может быть

именем переменной, именем типа или любым другим идентификатором:

требуется перенести текст макроопределения на новую строку, то в конце

текущей строки ставится символ обратный слеш \:

указанное выражение после #if имеет ненулевое значение, в записи преобразования сохраняется группа

строк, следующая сразу за директивой #if. Синтаксис условной директивы следующий:
#if <константное выражение>    <группа операций> #elif <константное выражение>    <группа операций> #else    <группа операций> #endif

константное выражение может быть задано только с помощью #define. У каждой

директивы #if должна быть соответствующая закрывающая директива #endif.
Между ними может располагаться любое кол-во директив #elif, но не более одной директивы #else, которая должна быть последней.

независимых блоков, называемых модулями.
Модуль — функционально законченный отдельно-компилируемый фрагмент программы,

оформленный в виде отдельного файла с исходным кодом. 
Модуль в языке С состоит из интерфейса (заголовочого файла .h) и реализации (файла .c).
Код, подключающий модуль, на этапе компиляции нуждается только в интерфейсе модуля, поэтому на этапе препроцессинга заголовочный файл копируется в код директивой #include "module.h"
Реализация модуля должна полностью реализовывать указанный интерфейс, поэтому она также включает свой заголовочный файл.

используется в модуле testlib.c, т.к. никакие типы из stdio.h не нужны для корректной

обработки интерфейса  testlib.h, оказывающегося в main.c на этапе компиляции.
Если бы это было не так, то библиотеки должны были бы быть включены не в  testlib.c, а в  testlib.h, чтобы во всех местах, где подключается модуль testlib, и все нужные заголовочные файлы включались автоматически.

представляют собой блоки машинного кода и данных с неопределенными адресами

ссылок на данные и функции в других объектных модулях, а также список своих функций и данных. 
При компиляции компоновщик собирает код и данные каждого объектного файла модуля в итоговую программу (*.exe), вычисляет и заполняет адреса перекрестных ссылок между модулями.
Соответственно при внесении изменений в один модуль, нет необходимости перекомпилировать все остальные модули, а значит компиляция будет осуществляться гораздо быстрее.

программы в целях ускорения компиляции и помощи управлению большими проектами,

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

имена переменных объявляются где-то в другом месте. Extern позволяет компилятору

знать о типах и именах глобальных переменных без действительного создания этих переменных. Когда два модуля объединяются, все ссылки на внешние переменные пересматриваются.
Если при объявлении выделяется память под переменную, то процесс называется определением. Использование extern приводит к объявлению, но не к определению. Оно просто говорит компилятору, что определение происходит где-то в другом месте программы.

или файла. Они отличаются от глобальных переменных, поскольку не известны

за пределами функции или файла, но могут хранить свои значения между вызовами.
Различают статические локальные и статические глобальные переменные.
Когда модификатор static применяется к локальной переменной, это приводит к тому, что компилятор создает долговременную область для хранения переменной почти также, как это делается для глобальной переменной.
Ключевое различие между статической локальной и глобальной переменными заключается в том, что статическая локальная переменная остается известной только в том блоке, в котором она была объявлена. Т.е. статическая локальная переменная - это локальная переменная, сохраняющая свое значение между вызовами функций.

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

файле, где статическая глобальная переменная объявлена.
Это означает, что, даже если переменная является глобальной, другие подпрограммы в других файлах не будут знать о ней. Таким образом, не возникает повода для побочных эффектов.

Файл main.c:

Файл func.c:

помощью ключевого слова typedef. На самом деле здесь не создается

новый тип данных, а определяется новое имя существующему типу. Он позволяет облегчить создание машинно-независимых программ. Единственное, что потребуется при переходе на другую платформу, - это изменить оператор typedef. Он также может помочь документировать код, позволяя назначать содержательные имена стандартным типам данных:
typedef <тип> <имя>;
где тип — это любой существующий тип данных, а имя - это новое имя для данного типа. Новое имя определяется в дополнение к существующему имени типа, а не замещает его. Использование typedef может помочь при создании более легкого для чтения и более переносимого кода.