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

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

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

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

const_test.h

C++

#ifndef CONST_TEST_H_
#define CONST_TEST_H_
 
extern const int var;  // Это почему работает?
void func( void );
 
#endif  // CONST_TEST_H_

const_test.cpp

C++

#include <iostream>
#include "const_test.h"
 
const int var = 10;  // var имеет внутреннее связывание
 
void func( void )
{
    std::cout << &var << std::endl;
}

general.cpp

C++

#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++

#ifndef CONST_TEST_H_
#define CONST_TEST_H_
 
extern int var;
void func( void );
 
#endif  // CONST_TEST_H_

const_test.cpp

C++

#include <iostream>
#include "const_test.h"
 
static int var = 10;
 
void func( void )
{
    std::cout << &var << std::endl;
}

general.cpp

C++

#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 получит внешнее связывание.

@УГнетатель 17 / 16 / 3 Регистрация: 18.08.2017 Сообщений: 54
	09.09.2017, 21:03	61
	Сообщение от hoggy значение имеет стандарт языка. А не практическая деятельность? Сообщение от hoggy либо код содержит UB, либо лажают компиляторы. Покажите, где тут UB или где поведение не соответствует стандарту. 0

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	09.09.2017, 21:29	62
	Сообщение от TheCalligrapher В С++ нет понятия "prvalue объекта". Объект - это объект. Prvalue - это категория результата выражения. я понимаю так: всякие lvalue/rvalue/prvalue - категории доступа к объектам. они определяют контексты в которых можно, или нельзя получать доступ к объекту. prvalue - категория доступа к временному объекту. Сообщение от TheCalligrapher Но даже в тех случаях, когда "result object" существует, этот объект - это не само prvalue, а отдельный самостоятельный объект, лишь инициализированный при помощи этого prvalue. а можно сказать, что этот "result object" и есть объект, хранящий prvalue. никакой абсолютно разницы. Добавлено через 6 минут Сообщение от УГнетатель Покажите, где тут UB или где поведение не соответствует стандарту. не тупите: #59 0

@УГнетатель 17 / 16 / 3 Регистрация: 18.08.2017 Сообщений: 54
	09.09.2017, 21:34	63
	Сообщение от hoggy #59 Там написано "не лажают". Раз ссылаетесь на #59, это значит что вы согласны, что не лажают? 0

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	09.09.2017, 21:43	64
	Сообщение было отмечено Captain Maxee как решение Решение Сообщение от УГнетатель Там написано "не лажают". Раз ссылаетесь на #59, это значит что вы согласны, что не лажают? значит согласен. 1

@УГнетатель 17 / 16 / 3 Регистрация: 18.08.2017 Сообщений: 54
	09.09.2017, 21:48	65
	Сообщение от hoggy значит согласен. Несколько сообщений назад было "ну значит, компиляторы лажают". Ну да ладно. Что было — то прошло. Если не лажают, то, исходя из Сообщение от hoggy либо код содержит UB, либо лажают компиляторы. там UB? 0

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	09.09.2017, 21:58	66
	Сообщение от УГнетатель там UB? Сообщение от hoggy не тупите: #59 ... 0

@УГнетатель 17 / 16 / 3 Регистрация: 18.08.2017 Сообщений: 54
	09.09.2017, 22:17	67
	hoggy, т.е. ни UB, ни лажи компиляторов нет? Поразительно быстрые изменения после такого Сообщение от hoggy мне без разницы как вы думаете. значение имеет стандарт языка. либо код содержит UB, либо лажают компиляторы. категоричного тона. 0

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

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	09.09.2017, 22:40	69
	Сообщение от УГнетатель т.е. ни UB, ни лажи компиляторов нет? вы какой то странный. если после #58 и #59 у вас ещё остались какие то вопросы, то боюсь, я вам помочь ничем уже не смогу. Сообщение от УГнетатель Поразительно быстрые изменения после такого мой тезис сохраняет свою актуальность: если с кодом (любым) есть какая то лажа, значит одно из двух: либо налажал программист, либо компилятор. 0

@Novichekk 2 / 1 / 1 Регистрация: 22.12.2019 Сообщений: 93
	08.09.2020, 23:45	70
	Сообщение от hoggy вам стоит подучить с++ а разве мы можем написать что-то типа const int a; и компилятор это проглотит? 0

	09.09.2020, 00:04

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

Решение