Раздельная компиляция. Связывание 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 получит внешнее связывание.

Новые блоги и статьи Все статьи Все блоги /
Doom для терминала без стрельбы и монстров. 3D Raycasting на ascii. dcc0 05.07.2026 Попросил нейронную сеть deepai. org написать рейкастинг 3D с библиотекой ncurses для Linux. Чтобы можно было ходить на стрелочки. Чтобы стены были отрисованы символами. Справилась. Первый вариант. . .	Установка статуса документа по условию Maks 05.07.2026 Алгоритм из решения ниже реализован на нетиповом документе "НарядПутевка" разработанного в КА2. Задача: в табличной части "Материалы" документа при записи автоматически устанавливать статус. . .	Сезонность и суточность закисления почв anaschu 04.07.2026 200 часов это все равно моловато. Есть ситуации, но нестандартные, когда смена происходит за 5 лет. Но обычно это 50 лет и более. Наверное, закисление почвы происходит сезонно в средней. . .	В чем ценность человеческого опыта в глобальном смысле? kumehtar 03.07.2026 Возможно, ценность человека не в том, что он однажды достигает мудрости, а в том, что он становится носителем карты пути. Он знает не только истину, но и последовательность внутренних изменений,. . .
интеграция AnyLogic с самописным REST API и переход на Odoo anaschu 03.07.2026 Успешная интеграция AnyLogic с самописным REST API и переход на промышленную Odoo WMS Сегодня проделал огромный путь от простой симуляции физических процессов до построения полноценной. . .	Поиск всех путей на ориентированном графе. Linux dcc0 02.07.2026 Переработка старого кода из моей статьи. Через несколько переработок от PHP кода к C89 (надеюсь, 89). Но довольно запутанно получилось. Код для Linux. Но если убрать time и то, что с ним. . .	Сам себя обучал rest api anaschu 02.07.2026 Педагогический лайфхак: Почему чистый REST API для ученика намного круче, чем готовые библиотеки Когда мы отказались от капризного JAR-файла AnyLogic и переписали код на стандартный HttpClient,. . .	rest api anylogic - выполнение модели на своём русском сайте anaschu 02.07.2026 Как подружиться с AnyLogic Cloud API, победить провайдеров и развернуться Java-бэкенд в Docker на бесплатном хостинге: Двухдневный лог борьбы Всем привет! Хочу поделиться свежим (и довольно. . .

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

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

Решение