Компоновщик

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

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

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

C++

class MyClass
{
public:
    void Method();
};
 
 
int main() {
    return 0;
}

Header.i

C++

class MyClass
{
public:
    void Method();
};
void MyClass::Method()
{
}

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

C++

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

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 **[ТС]**

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

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

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

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

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

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

@DrOffset 19405 / 10024 / 2443 Регистрация: 30.01.2014 Сообщений: 17,678
	15.12.2022, 16:43	8
	Сообщение было отмечено 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 [ТС]	9
	Понял вас. Спасибо большое за раскрутку <клубочка недопонимания>! 0

Опции темы

Компоновщик

Решение