Устраняет ли включение заголовка необходимость в внешних объявлениях?

^{Copying and expanding on a comment:}

Вам необходимо понимать разницу между исходным файлом, заголовком и единицей перевода (ТУ). TU — это исходный файл плюс все включенные в него заголовки (прямо или косвенно) — и это то, что на самом деле компилирует компилятор. Если вы включаете объявления extern в заголовок и включаете этот заголовок в исходный файл (прямо или косвенно), то объявления extern видны в TU так же уверенно, как если бы вы поместили объявления в исходный файл. Причиной объявления их в заголовке является снижение риска несогласованности — разных объявлений в разных файлах.

Но за этим последовало :

Я до сих пор не уверен, что понял тогда. Допустим, у меня есть глобальная [целочисленная] переменная var, которую я использую в своем main(). Насколько я понимаю, мне не нужно было бы использовать объявление extern int var; в main(), если бы я либо объявил var в том же исходном файле, либо если бы я использовал #include, как вы описываете, но мне нужно было бы использовать extern int var;, если бы var было объявлено в другом объектном файле чего не было #included в моем нынешнем файле (т. е. если бы они были связаны только компоновщиком). Это больше о том, о чем мой вопрос, если это имеет смысл?

Вам нужно прочитать Как использовать extern для совместного использования переменных между исходными файлами? , что, в свою очередь, ссылается на В чем разница между определением и декларацией?

Я тихо предположил, что var имеет тип int — не так уж важно, какой это тип, но ему нужен тип.

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

Это может быть написано:

int var;       // Roughly equivalent to int var = 0;

или

int var = 37;  // Or any other relevant value

Формально первый вариант представляет собой предварительное определение; оно перестает быть предварительным, если к концу TU не будет альтернативного, непредварительного определения.

Заголовок будет содержать:

extern int var;    // No initializer

Ключевой момент

Все файлы, использующие var, и файл, определяющий var, будут включать единственный заголовок, объявляющий переменную.

Это дает жизненно важную перекрестную проверку, необходимую для обеспечения того, чтобы все было согласовано. Потребуется определенная осторожность, чтобы организовать содержимое заголовков так, чтобы небольшие исходные файлы не были завалены обильными неиспользуемыми объявлениями (и определениями типов и т. д.). Но с практикой это становится легко. Вы также должны убедиться, что ваши заголовки автономны, идемпотентны и минимальны.

ИМО, вы никогда не должны писать объявление какой-либо функции с внешней связью в любом исходном файле. Если функция будет использоваться из нескольких исходных файлов, должен быть заголовок для объявления функции, который должен быть включен как там, где функция определена, так и там, где она используется. Если функция не будет использоваться из нескольких исходных файлов, ее следует определить (и, возможно, объявить) как static. Если функция static определена до ее использования, нет необходимости объявлять ее отдельно, хотя некоторые проекты могут предпочесть объявлять все статические функции в верхней части исходного файла, даже если это не является строго необходимым. Если функция static вызывается до того, как она определена, вы должны объявить ее перед использованием (в C99 или более поздних версиях — хотя компиляторы, особенно старые компиляторы, с трудом обеспечивают соблюдение этого без помощи опций предупреждения).

Включение заголовка с объявлениями — это способ помещения этих объявлений в исходный файл. Это не устраняет необходимости внешних деклараций; он заполняет потребность во внешних декларациях. Объявления фактически находятся в исходном файле независимо от того, вводятся ли они туда вручную или включаются через заголовок.

… чтобы сообщить компоновщику (?) о том, что ему нужно искать указанную переменную в другом объектном файле?…

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

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

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