Компоновщик

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

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

Добрый день.
Люди, разбираюсь с процессом компиляции программы в 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 **[ТС]**

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

Новые блоги и статьи Все статьи Все блоги /
Компиляция C++ с Clang API NullReferenced 24.03.2025 Компиляторы обычно воспринимаются как черные ящики, которые превращают исходный код в исполняемые файлы. Мы запускаем компилятор командой в терминале, и вуаля — получаем бинарник. Но что если нужно. . .	Многопоточное программирование в C#: Класс Thread UnmanagedCoder 24.03.2025 Когда запускается приложение на компьютере, операционная система создаёт для него процесс - виртуальное адресное пространство. В C# этот процесс изначально получает один поток выполнения — главный. . .	SwiftUI Data Flow: Передача данных между представлениями mobDevWorks 23.03.2025 При первом знакомстве со SwiftUI кажется, что фреймворк предлагает избыточное количество механизмов для передачи данных: @State, @Binding, @StateObject, @ObservedObject, @EnvironmentObject и другие. . . .	Моки в Java: Сравниваем Mockito, EasyMock, JMockit Javaican 23.03.2025 Как протестировать класс, который зависит от других сложных компонентов, таких как базы данных, веб-сервисы или другие классы, с которыми и так непросто работать в тестовом окружении? Для этого и. . .	Архитектурные паттерны микросервисов: ТОП-10 шаблонов ArchitectMsa 22.03.2025 Популярность микросервисной архитектуры объясняется множеством важных преимуществ. К примеру, она позволяет командам разработчиков работать независимо друг от друга, используя различные технологии и. . .
Оптимизация рендеринга в Unity: Сортировка миллиона спрайтов GameUnited 22.03.2025 Помните, когда наличие сотни спрайтов в игре приводило к существенному падению производительности? Время таких ограничений уходит в прошлое. Сегодня геймдев сталкивается с задачами совершенно иного. . .	Образование и практика Igor3D 21.03.2025 Добрый день А вот каково качество/ эффективность ВУЗовского образования? Аналитическая геометрия изучается в первом семестре и считается довольно легким курсом, что вполне справедливо. Ну хорошо,. . .	Lazarus. Таблица с объединением ячеек. Massaraksh7 21.03.2025 Понадобилась представление на экране таблицы с объединёнными ячейками. И не одной, а штук триста, и все разные. На Delphi я использовал для этих целей TStringGrid, и то, кривовато получалось. А в. . .	Async/await в Swift: Асинхронное программирование в iOS mobDevWorks 20.03.2025 Асинхронное программирование долго было одной из самых сложных задач для разработчиков iOS. В течение многих лет мы сражались с замыканиями, диспетчеризацией очередей и обратными вызовами, чтобы. . .	Колмогоровская сложность: Приёмы упрощения кода ArchitectMsa 20.03.2025 Наверное, каждый программист хотя бы раз сталкивался с кодом, который напоминает запутанный лабиринт — чем дальше в него погружаешься, тем сложнее найти выход. И когда мы говорим о сложности кода, мы. . .

@DrOffset 19415 / 10033 / 2444 Регистрация: 30.01.2014 Сообщений: 17,697
	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

@DrOffset 19415 / 10033 / 2444 Регистрация: 30.01.2014 Сообщений: 17,697
	15.12.2022, 16:18
	Bumis, ну в объектных файлах уже нет никаких классов. Там машинный код по большей части. Добавлено через 2 минуты Сообщение от Bumis мы получили в процессе ассемблирования такие объектные файлы: Main.obj и Header.obj. Далее линкером они склеиваются в нечто цельное - сборку Даже из того, что вы сами сейчас написали, должно быть ясно, что то, что делали вы (объединение исходного кода) и то, что делает компоновщик (объединение объектного кода (маш код + метаинформация и о нем)) - это совсем не одно и то же. 0

@DrOffset 19415 / 10033 / 2444 Регистрация: 30.01.2014 Сообщений: 17,697
	15.12.2022, 16:25
	Сообщение от Bumis Хм, как же "независимо", Компилируется именно независимо. Сообщение от Bumis Компилятор ясно даёт понять, ошибкой Не компилятор, а компоновщик. 1

@Bumis 2 / 2 / 0 Регистрация: 18.09.2021 Сообщений: 119
	15.12.2022, 16:34 [ТС]
	Компилируется именно независимо. Хорошо, спасибо, этот тезис помог мне понять - почему я не получаю ошибку. Ну теперь вернёмся к самому компоновщику, почему на повторные определения в независимых объектных файлах - он ругается, а на повторные объявления - нет? 0

@DrOffset 19415 / 10033 / 2444 Регистрация: 30.01.2014 Сообщений: 17,697
	15.12.2022, 16:43
	Сообщение было отмечено Bumis как решение Решение Сообщение от Bumis почему на повторные определения в независимых объектных файлах - он ругается, а на повторные объявления - нет? Ну потому что объявлений нет в объектном коде. Объявления существуют на этапе компиляции только. А про определения вот можете почитать: https://ru.wikipedia.org/wiki/... пределения И еще вот: https://www.youtube.com/watch?v=G_jcBrrYPAs (там начало видео по теме) 1

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

Опции темы

Компоновщик

Решение