Попытался перевести и понять, что там написано.
П. 5 описывает функции, там другие правила.
Единственное, что подходит - Each declaration of an identifier with no linkage denotes a unique entity.
Но разве из этого следует, что эти уникальные объекты останутся уникальными, если они определены в разных файлах одной программы?
Вот добавляем мы квалификатор static к определению переменной, чтобы ограничить ее видимость в пределах файла. Значит, без static она видна везде? Как же разруливать 2 одинаковых переменных?

Где-то там, в п.6.2.2 стандарта есть фраза, что если не указано иное, то "по-умолчанию" - extern. T.е указан extern явно, или не указано ничего, то это тоже extern, а значит - один и тот же объект.

По умолчанию в Си переменные имеют внешнее связывание, в Си++ -- внутреннее.

Они будут уникальными по именам для всей программы, в скольких бы модулях их не описали.
Вот -

Что можно перевести как 'в наборе единиц компиляции и библиотек, который является всей программой'

Во 2м предложении оттуда речь идет уже о переменных (я немного не то предложение выделил)

Да
Их объединит линкер (если они обе не инициализированные), или получите слом на линковке

Константы, вы хотели сказать?

Нет, переменные. И функции тоже. Про константы утверждать не буду, но скорее всего, тоже.

ключевое слово const ( а также typedef ) дает имени внутреннее связывание.

при использовании имен без headers, например, в файле 1.с

const int a = 5;
то a имеет внутреннее связывание.

для того, чтобы а имела внешнее связывание, нужно

в файле 1.с

объявить a как extern;


и определить переменную:


теперь, для использования a в других единицах трансляции нужно просто объявить переменную

файл 2.с:




тоже самое достигается путем headera

теперь,
если же мы определяем в header что-то типа:

const int b = 10;

и включаем это header в различные единицы трансляции,
то в каждой единице трансляции создается своя локальная копия b

Сообщение отредактировал am1808 - Feb 3 2012, 10:13

XVR,
а мне помнится, что во исходном файле глобальная переменная объявляется как обычном, а во всех остальных со спецификатором extern. где-то валялась книжка по стандарту C99.
Да и gcc для авр не позволял делать так, как вы описали.

И это правильно
Но стандарт не запрещает написать переменную многократно и без extern (IMHO из соображений совместимости - во времена K&R это была обычная практика)

А x86 позволил