Компоновщик

@Bumis · Регистрация: 18.09.2021

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

Добрый день.
Люди, разбираюсь с процессом компиляции программы в c++, с помощью Visual Studio компилятора.
В результате работы препроцессора я получил вот такие обработанные .cpp файлы, с заменными #include макросами:
Main.i

C++
1
2
3
4
5
6
7
8
9
10
class MyClass
{
public:
    void Method();
};
 
 
int main() {
    return 0;
}

Header.i

C++
1
2
3
4
5
6
7
8
class MyClass
{
public:
    void Method();
};
void MyClass::Method()
{
}

Итак, на основании того, что препроцессированные(с расширением .i) файлы после ассемблировная компоновщиком склеиваются в один файл - выходную сборку, я ожидаю увидеть ошибку: <повторное объявление class MyClass>(ведь класс объявлен Header.i и в Main.i), но, к моему удивлению - этого не происходит; Хотя если я попытаюсь повторно объявить этот class уже в самой Visual Studio, например, вот так:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
class MyClass
{
public:
    void Method();
};
 
class MyClass
{
public:
    void Method();
};
 
 
int main() {
    return 0;
}

- программа не с компилируется из-за повторного объявления. Почему так происходит?

@DrOffset · 15.12.2022, 16:12

Bumis, *.i - это для вас файлы, они никуда не склеиваются.

Добавлено через 3 минуты
После препроцессирования единицы трансляции компилируются независимо, получаются obj-файлы, которые затем компоновщик собирает в исполняемый файл. Т.е. исходный текст разных единиц трансляции никто вместе не "склеивает".

@Bumis · 15.12.2022, 16:14 **[ТС]**

Я имею ввиду, что <после ассемблированая склеиваются их объектные файлы>.
Например, мы получили в процессе ассемблирования такие объектные файлы: Main.obj и Header.obj. Далее линкером они склеиваются в нечто цельное - сборку(.exe, .dll...).

@DrOffset · 15.12.2022, 16:18

Bumis, ну в объектных файлах уже нет никаких классов. Там машинный код по большей части.

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

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

мы получили в процессе ассемблирования такие объектные файлы: Main.obj и Header.obj. Далее линкером они склеиваются в нечто цельное - сборку

Даже из того, что вы сами сейчас написали, должно быть ясно, что то, что делали вы (объединение исходного кода) и то, что делает компоновщик (объединение объектного кода (маш код + метаинформация и о нем)) - это совсем не одно и то же.

@Bumis · 15.12.2022, 16:20 **[ТС]**

Хм, как же "независимо", если при попытке скомпилировать такой код:
Header.cpp

C++
1
int a = 0;

Main.cpp

C++
1
2
3
4
5
int a = 0;
 
int main() {
    return 0;
}

Компилятор ясно даёт понять, ошибкой: "int a уже определен в Header.obj", что взаимосвязь между объектными файлами .obj - всё таки есть при сборке.

@DrOffset · 15.12.2022, 16:25

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

Хм, как же "независимо",

Компилируется именно независимо.

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

Компилятор ясно даёт понять, ошибкой

Не компилятор, а компоновщик.

@Bumis · 15.12.2022, 16:34 **[ТС]**

Компилируется именно независимо.

Хорошо, спасибо, этот тезис помог мне понять - почему я не получаю ошибку.

Ну теперь вернёмся к самому компоновщику, почему на повторные определения в независимых объектных файлах - он ругается, а на повторные объявления - нет?

@DrOffset · 15.12.2022, 16:43

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

почему на повторные определения в независимых объектных файлах - он ругается, а на повторные объявления - нет?

Ну потому что объявлений нет в объектном коде.
Объявления существуют на этапе компиляции только.
А про определения вот можете почитать: https://ru.wikipedia.org/wiki/... пределения
И еще вот: https://www.youtube.com/watch?v=G_jcBrrYPAs (там начало видео по теме)

@Bumis · 15.12.2022, 16:47 **[ТС]**

Понял вас. Спасибо большое за раскрутку <клубочка недопонимания>!

Новые блоги и статьи Все статьи Все блоги /
Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.	Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .
Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .	Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .	Архитектура слоя интернета для сервера-слоя. Hrethgir 11.04.2026 В продолжение https:/ / www. cyberforum. ru/ blogs/ 223907/ 10860. html Знаешь что я подумал? Раз мы все источники пишем в голове ветки, то ничего не мешает добавить в голову такой источник, который сам. . .

@DrOffset 19500 / 10105 / 2461 Регистрация: 30.01.2014 Сообщений: 17,818
	15.12.2022, 16:12
	Bumis, .i - это для вас файлы, они никуда не склеиваются. Добавлено через 3 минуты* После препроцессирования единицы трансляции компилируются независимо, получаются obj-файлы, которые затем компоновщик собирает в исполняемый файл. Т.е. исходный текст разных единиц трансляции никто вместе не "склеивает". 0

@Bumis 2 / 2 / 0 Регистрация: 18.09.2021 Сообщений: 119
	15.12.2022, 16:14 [ТС]
	Я имею ввиду, что <после ассемблированая склеиваются их объектные файлы>. Например, мы получили в процессе ассемблирования такие объектные файлы: Main.obj и Header.obj. Далее линкером они склеиваются в нечто цельное - сборку(.exe, .dll...). 0

@Bumis 2 / 2 / 0 Регистрация: 18.09.2021 Сообщений: 119
	15.12.2022, 16:47 [ТС]
	Понял вас. Спасибо большое за раскрутку <клубочка недопонимания>! 0

Опции темы

Компоновщик

Решение