Экстерн Const, что декларация и которая является опережающим объявлением

Question

Допустим, у меня есть следующие настройки в C++ программы, в глобальном масштабе/пространства имен (вне любого блока):

Ситуации 1:

a.cpp

extern const int i=5; 

b.cpp

extern const int i; 

Есть два способа, на мой взгляд, что компилятор мог это видеть. Один из них заключается в том, что истинное объявление i находится в b.cpp, а a.cpp имеет просто объявление вперед и инициализацию. (Поскольку мы знаем, что для конкретных extern consts инициализация во время объявления не требуется). Другой возможный исполняемый файл, который мог бы сгенерировать компилятор, должен иметь a.cpp, содержащий истинное объявление, с инициализацией и утверждение в b.cpp как прямое объявление, просто требуется, чтобы он помог компилятору узнать, что я есть.

Как компилятор определяет, какой файл отвечает за фактическое объявление, и, следовательно, распределение памяти, связанное с i? Это может иметь внешне наблюдаемые эффекты, если вместо int использовался тип с интересным конструктором.

Как ответ на этот вопрос изменения, если вообще, с:

ситуации 2:

a.cpp

extern const int i; 
extern const int i=5; 

b.cpp

extern const int i; 

Answer 1

Присутствие инициализатора немедленно превращает декларацию в определение (за небольшим исключением, не имеющим отношения к нашему контексту). Это означает, что

extern const int i = 5; 

является определение вашего i. Он определяет i и дает ему внешнюю связь, то есть создает фактический i и делает его видимым для других единиц перевода («экспортирует» его).

Между тем,

extern const int i; 

не является определяющим, если декларация i. В основном это говорит о том, что i определен в другом месте («импортирует» его).

Когда вы по какой-то причине необходимо глобальное const объект в C++, собственно явное применение extern приобретает решающее значение, так как в C++ constобъекты имеют внутреннюю связь по умолчанию.

Просто имейте в виду, что для того, чтобы объект const int имел право на интегральные константные выражения (ICE), объявление этого объекта const int с инициализатором ICE должно быть видимым.