Глобальные объекты в разных единицах трансляции

@JIawliet · Регистрация: 20.07.2016

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

Порядок создания глобальных объектов в разных единицах трансляции не определен. Рассмотрим конкретный пример:

C++
1
2
// constants.h
extern const unsigned a, b;

C++
1
2
3
// constants.cpp
extern const unsigned a = 1,
                      b = a + 1;

Стоит ли в данном случаи бояться UB или оператор ',' (со своей гарантией порядка) решил проблему неопределенности?

@JIawliet · 07.11.2019, 16:39 **[ТС]**

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

Я легче пути не знаю

да и я, поэтому то и решил посоветоваться

IGPIGP · 07.11.2019, 16:42

Сообщение от Алексей1153

кто мешает объединить эти переменные в структуру, раз они так связаны, а вот уже экземпляр структуры статически объявить. Будет всего одна статическая функция

я писал:

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

Кроме того, имеет смысл группировать статические переменные так, чтобы функции сразу по несколько штук инициализировали и возвращали ссылку на структуру,

Добавлено через 2 минуты
На коленке:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
using namespace std;
namespace MyConstants{
extern const int a=123;
extern const int b=234;
 
struct MyConstStruct
{
 MyConstStruct(int a_add_b_, int a_mult_b_)
    :a_add_b(a_add_b_+a_mult_b_)
    ,a_mult_b(a_add_b_*a_mult_b_)
    {    }
 
const int a_add_b;
const int a_mult_b;
};
 
const MyConstStruct & myConstStruct()
{
    static MyConstStruct myMonstrStr(a, b);
    return myMonstrStr;
}
const MyConstStruct &mymonstr=myConstStruct();
}
 
int main()
{
cout<<MyConstants::mymonstr.a_add_b<<' '<<MyConstants::mymonstr.a_mult_b<<'\n';
    return 0;
}

@JIawliet · 07.11.2019, 16:44 **[ТС]**

Алексей1153,
это неплохой вариант)

правда форма записи немного кривая будет:

C++
1
2
gc::a   // namespace + переменная
gc().a  // функция + доступ к переменной

но это наверно дело вкуса уже...

IGPIGP · 07.11.2019, 16:47

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

правда форма записи немного кривая будет:

Можете ссылку объявить чтобы не писать ребусы. Я показал)

@JIawliet · 07.11.2019, 17:16 **[ТС]**

_stanislav, IGPIGP, Croessmah, Алексей1153
Может меня кто-то поправит, но даже при таком подходе:

C++
1
2
// cnst.h
extern const int a, b;

C++
1
2
3
4
// .cpp
#include "cnst.h"
extern const int a = 1;
extern const int b = a + 1;

никакой неопределенности нет. Если я правильно перевел, правило гласит: относительный порядок инициализации нестатических локальных объектов, определенных в разных единицах трансляции, не определен.
Но тут у нас определение находится в одной единице трансляции - .cpp! А в .h - только объявления

Алексей1153 · 07.11.2019, 17:21

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

но даже при таком подходе

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

Croessmah · 07.11.2019, 17:34

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

относительный порядок инициализации нестатических локальных объектов, определенных в разных единицах трансляции, не определен.

Угу. Но ключевое здесь - в разных единицах трансляции.
У Вас они определены в одной единице трансляции, а значит инициализируются в порядке определения.
Если Вы в другой единице трансляции (считай, в другом .cpp) напишите

C++
1
2
#include "cnst.h"
const int c = a;//<-- вот тут бяка

то неизвестно, какая константа будет инициализирована первой,
и, вполне вероятно, c будет инициализирована до a, тогда - беда.

P.S. Я бы еще уточнил, может какое исключение есть для не динамической инициализации.
P.P.S. Но я не думаю, что есть исключения. В любом случае, не надо так делать.

Новые блоги и статьи Все статьи Все блоги /
Генератор паролей (вариант №4) Maks 01.11.2026 После публикации 3-го варианта генератора паролей, разослал его своим коллегам (с целью оценки), в итоге были получены следующие рекомендации: 1. Вернуть возможность использования знаков \| 1 l I;. . .	Генератор паролей (вариант №3) Maks 30.10.2026 Финальная версия генератора паролей 1С. Доработка решения в этот раз коснулась только визуальной части, а именно, добавлен реквизит ДопПараметры (тип Булево), который скрывает/ отображает реквизиты:. . .	Магическое мышление и магия, современная наука не отличима от магии (говорит ИИ Джемени) zorxor 30.10.2026 Джемени, расскажи, пожалуйста, что такое магическое мышление, что такое магия, почему современная наука чем-то напоминает магию? Фраза «Любая достаточно развитая технология неотличима от магии». . .	За какое время ИИ может подобрать пароль по хешу (рассказывает Джемени ИИ) zorxor 30.10.2026 Расскажи, Джемени, если известен хэш МД5, например, за сколько ИИ сможет подобрать соответствующий пароль? Искусственный интеллект (ИИ) может подобрать простой или средний по сложности пароль по. . .
Кто убил Suno? Почему наше солнышко погасло? (диалог с ИИ Джемени) zorxor 30.10.2026 Как убивали Suno. Хронология. «Убийство» музыкальной нейросети Suno — это затяжной процесс, в котором технологический хайп стартапа разбился о жесткую реальность судебных исков от гигантов. . .	Генератор паролей (вариант №2) Maks 30.10.2026 Обновленная версия ранее созданной обработки. Добавлены следующие реквизиты типа Булево: - Буквы; - Цифры; - Символы. Изменена логика команды "Сгенерировать" и процедуры "ПриОткрытии":. . .	Генератор паролей (вариант №1) Maks 29.10.2026 Реализация из решения ниже выполнена исключительно по моей инициативе, дабы облегчить себе работу в создании паролей для администрируемых мною сервисов и пользователей. Самым главным критерием для. . .	Установка ChatGPT (Codex) на Windows без использования Microsoft Store Fabien159 28.10.2026 Здравствуйте всем читающим! Опишу процесс установки ChatGPT (Codex) на Windows, если по каким-то причинам у вас не получается устанавить его через Microsoft Store. И так: 1. Скачиваем с. . .