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

Новые блоги и статьи Все статьи Все блоги /
Саморегулирующийся социальный контракт для сервера cross-section. Hrethgir 14.08.2026 С кодом конечно таких глубоких размышлений пока не было, впрочем я уже привык к алгоритмизации. Суть предмета записи: снова в диалоге с нейросетью (я взял пока себе ник для учётки админа - Rector). . . .	Часы электронные Uhbif79 12.08.2026 Выкладываю программу часов. Программа позволяет: 1. Использовать системное время и дату, 2. Есть возможность вводить время и дату вручную. 3. Реализованы 2 будильника: начало и конец рабочего дня. . . .	Часы с будильником на основе класса QLCDNumber Uhbif79 12.08.2026 Всем добрый день, выкладываю программу часов с будильником на основе класса QLCDNumber. Здесь я пробовал самостоятельно создавал классы, впервые столкнулся с видимостью переменной одного класса из. . .	Установка MinGW GCC 16.2 и CMake 8Observer8 10.08.2026 VK Видео: https:/ / vkvideo. ru/ video-240781534_456239017 YouTube: eY5-5PyI9NM Текстовая версия
Неделя из жизни имитационной модели склада: мои кривые руки растут, откуда надо anaschu 10.08.2026 Неделя из жизни имитационной модели склада: как я почти написал неправильную логику и что с этим делать Работаю сейчас над учебно-рабочим проектом: строю в AnyLogic имитационную модель процессов. . .	Калькулятор для расчета родства russiannick 07.08.2026 1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь	Мир по моей воле kumehtar 07.08.2026 Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .	Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .

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

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

Решение