Раздельная компиляция. Связывание const-переменных

@Mournful Max · Регистрация: 15.12.2015

Студворк — интернет-сервис помощи студентам

Не совсем понимаю процесс раздельной компиляции, или то как работает связывание const-переменных. Имеется три файла:

const_test.h

C++
1
2
3
4
5
6
7
#ifndef CONST_TEST_H_
#define CONST_TEST_H_
 
extern const int var;  // Это почему работает?
void func( void );
 
#endif  // CONST_TEST_H_

const_test.cpp

C++
1
2
3
4
5
6
7
8
9
#include <iostream>
#include "const_test.h"
 
const int var = 10;  // var имеет внутреннее связывание
 
void func( void )
{
    std::cout << &var << std::endl;
}

general.cpp

C++
1
2
3
4
5
6
7
8
#include <iostream>
#include "const_test.h"
 
int main()
{
    std::cout << &var << std::endl;
    func();
}

Собственно, почему это не вызывает ошибку компиляции? ( Компилировал в VS 2013 ) Разве не должен был произойти конфликт имен, когда в файл "const_test.cpp" включился файл "const_test.h"? Ведь, как я понимаю, extern const int var; -- это отличная переменная от const int var = 10;. Теперь немного изменим код:

const_test.h

C++
1
2
3
4
5
6
7
#ifndef CONST_TEST_H_
#define CONST_TEST_H_
 
extern int var;
void func( void );
 
#endif  // CONST_TEST_H_

const_test.cpp

C++
1
2
3
4
5
6
7
8
9
#include <iostream>
#include "const_test.h"
 
static int var = 10;
 
void func( void )
{
    std::cout << &var << std::endl;
}

general.cpp

C++
1
2
3
4
5
6
7
8
#include <iostream>
#include "const_test.h"
 
int main()
{
    std::cout << &var << std::endl;
    func();
}

Это уже ошибка. И это, по-моему нормально ( а по законам C++ нет?

), ведь инструкция extern int var; 1) порождает конфликт имен, 2) ссылается на несуществующую переменную ( ведь ни в одной единице трансляции не была объявлена внешняя int переменная с именем var ). В коде изменилось ( опять же таки, по моему мнению ) только то, что переменная var перестала быть const.

P.S.: Знаю, что не умею доступно объяснять, но у здешних жителей форума, как показывает практика, хорошо развиты телепатические способности, проблем возникнуть не должно

@УГнетатель · 09.09.2017, 21:03

Сообщение от hoggy

значение имеет стандарт языка.

А не практическая деятельность?

Сообщение от hoggy

либо код содержит UB,
либо лажают компиляторы.

Покажите, где тут UB или где поведение не соответствует стандарту.

@hoggy · 09.09.2017, 21:29

Сообщение от TheCalligrapher

В С++ нет понятия "prvalue объекта". Объект - это объект. Prvalue - это категория результата выражения.

я понимаю так:
всякие lvalue/rvalue/prvalue - категории доступа к объектам.
они определяют контексты в которых можно,
или нельзя получать доступ к объекту.

prvalue - категория доступа к временному объекту.

Сообщение от TheCalligrapher

Но даже в тех случаях, когда "result object" существует, этот объект - это не само prvalue, а отдельный самостоятельный объект, лишь инициализированный при помощи этого prvalue.

а можно сказать, что этот "result object" и есть объект, хранящий prvalue.
никакой абсолютно разницы.

Добавлено через 6 минут

Сообщение от УГнетатель

Покажите, где тут UB или где поведение не соответствует стандарту.

не тупите: #59

@УГнетатель · 09.09.2017, 21:34

Сообщение от hoggy

#59

Там написано "не лажают". Раз ссылаетесь на #59, это значит что вы согласны, что не лажают?

@hoggy · 09.09.2017, 21:43

Сообщение от УГнетатель

Там написано "не лажают". Раз ссылаетесь на #59, это значит что вы согласны, что не лажают?

значит согласен.

@УГнетатель · 09.09.2017, 21:48

Сообщение от hoggy

значит согласен.

Несколько сообщений назад было "ну значит, компиляторы лажают". Ну да ладно. Что было — то прошло.

Если не лажают, то, исходя из

Сообщение от hoggy

либо код содержит UB,
либо лажают компиляторы.

там UB?

@hoggy · 09.09.2017, 21:58

Сообщение от УГнетатель

там UB?

Сообщение от hoggy

не тупите: #59

...

@УГнетатель · 09.09.2017, 22:17

hoggy, т.е. ни UB, ни лажи компиляторов нет?

Поразительно быстрые изменения после такого

Сообщение от hoggy

мне без разницы как вы думаете.
значение имеет стандарт языка.
либо код содержит UB,
либо лажают компиляторы.

категоричного тона.

@Mournful Max · 09.09.2017, 22:26 **[ТС]**

УГнетатель, можно подумать, Вы никогда в своей жизни не ошибались?

@hoggy · 09.09.2017, 22:40

Сообщение от УГнетатель

т.е. ни UB, ни лажи компиляторов нет?

вы какой то странный.
если после #58 и #59 у вас ещё остались какие то вопросы,
то боюсь, я вам помочь ничем уже не смогу.

Сообщение от УГнетатель

Поразительно быстрые изменения после такого

мой тезис сохраняет свою актуальность:
если с кодом (любым) есть какая то лажа,
значит одно из двух:
либо налажал программист, либо компилятор.

@Novichekk · 08.09.2020, 23:45

Сообщение от hoggy

вам стоит подучить с++

а разве мы можем написать что-то типа const int a; и компилятор это проглотит?

@TheCalligrapher · 09.09.2020, 00:04

Сообщение от TheCalligrapher

Его полный смысл также зависит от контекста, причем как от предыдущего, так и от последующего. То есть и в этом

C++
1
2
extern const int var;
const int var = 0;

и в этом

C++
1
2
const int var = 0;
extern const int var;

случае мы получаем const переменную с внешним связыванием.

Тут я, кстати, не прав. Когда extern-объявление следует за объявлением с уже назначенным связыванием, extern-объявление наследует уже назначенное связывание из предыдущего объявления. Во втором примере переменная var получит внутреннее связывание.

extern-объявление назначает внешнее связывание только тогда, когда оно является самым первым. В первом примере переменная var получит внешнее связывание.

Новые блоги и статьи Все статьи Все блоги /
Особенности gif сгенерированных в Си russiannick 21.10.2026 Рассмотрим генерацию gif файлов, которые в Си имеют свои особенности. Gif представляет собой графический формат популярный в интернете. Посмотрим на палитру. Gif файл сгенерированный в си отличается. . .	FPS контроллер с анимированными Y-Bot и 3D-звуком miniaudio (Box3D, Recast, BehaviorTree.CPP, ozz-animation, ImGui, OpenGL и SDL3) 8Observer8 18.10.2026 Содержание блога \| English Version Полное мультиплатформенное руководство по стартовому проекту с FPS-контроллером игрока, анимированными роботами Y-Bot с 4-слойным блендингом, 3D-физикой Box3D,. . .	Локальный http сервер Argus19 17.10.2026 Локальный http сервер На работе, на двух локальных компьютерах круглосуточно работают программы опроса приборов с записью в книги Excel,которые раз в сутки записываются на сервер компании. Т. к. . . .	Копировать Windows на новый диск на UEFI damix 17.10.2026 https:/ / uriesk. wordpress. com/ 2016/ 11/ 01/ move-window-10-to-ssd-on-a-uefi-dualboot-system-with-basic-linux-tools/ TL DR Вставляем диск, а старый подключаем через переходник, грузимся с лайва. . .
ИИ не может найти нужный язык в списке Supersumestria 05.10.2026 Я ему даю вот такое изображение и прошу найти и подчеркнуть немецкий язык. Возвращает он вот это: https:/ / i. **********/ vqBWLe2. png Нужную строчку в 3й колонке просто выдумал. . Это. . .	Новая последняя моя музыка в SUNO zorxor 05.10.2026 Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .	Программный домашний кинотеатр russiannick 27.09.2026 Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .	Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .

@Mournful Max Велосипедист... 353 / 220 / 73 Регистрация: 15.12.2015 Сообщений: 785
	09.09.2017, 22:26 [ТС]
	УГнетатель, можно подумать, Вы никогда в своей жизни не ошибались? 1

Раздельная компиляция. Связывание const-переменных

Решение