работа компилятора и линклвщика

[Vapaamies]

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

А вот хэдэр - это заголовок, который может быть один на несколько единиц трансляций.

А у Сей разве есть понятие единицы трансляции? С этими вашими заголовочниками получается скорее поток трансляции безо всяких единиц. А директивы extern сотоварищи привязаны к границам файла, чтобы компилятор не ругался почем зря.

[rrrFer]

А у Сей разве есть понятие единицы трансляции? С этими вашими заголовочниками получается скорее поток трансляции безо всяких единиц. А директивы extern сотоварищи привязаны к границам файла, чтобы компилятор не ругался почем зря.

Ниче не понял. Что за поток трансляции без единиц? Хедеры в трансляции ваще не участвуют.

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

Что не так?

[_Bers]

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

Это как?
У единиц трансляций нет ничего общего. У каждой все свое.

Общие заголовки.

Конечно, у каждой единицы трансляции "все своё". В частности, на местах включений файлов, исходный код тупо подставляется, и для каждой очередной единицы заново компилируется.

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

Вдумайтесь в эту формулировку.

существовать определение будет по факту в единственном экземпляре.


Теперь я задам вам ровно один вопрос:

Много-файловый проект имеет следующую структуру:

project
|
|----include
| |----- example.h
|
|------src
| |----- main.cpp
| |----- a.cpp
| |----- b.cpp

содержимое example.h :

#pragma once

#include <iostream>
using namespace std;

struct example
{
    void view()const
    {
        MACRO_VIEW;
    }
};

void viewA();
void viewB();

содержимое a.cpp :

#define MACRO_VIEW cout<<"A\n";
#include "example/example.h"
void viewA() { example().view(); }

содержимое b.cpp :

#define MACRO_VIEW cout<<"B\n";
#include "example/example.h"
void viewB() { example().view(); }

содержимое main.cpp :

#define MACRO_VIEW cout<<"main\n";
#include "example/example.h"

int main()
{
    example().view();
    viewA();
    viewB();
}

Что должно быть выведено на экран?

Резюмируя:
У разных единиц трансляции могут быть общие файлы-хэдэры, которые содержат общие заголовки функций и классов.

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

Что означает: вы можете позвать эту функцию из любой единицы трансляции, которой известен заголовок этой функции. И если функция была определена - она будет запущена. А если ни одного определения не существует - только тогда будет ошибка линкера, не компилятора.

[rrrFer]

Да хрен его знает. Наверное "BBB". Это если порядок обработки файлов определяется их порядком в файле проекта. Но скорее всего стандарты это не регламентируют.

ну либо "mainAB" если define не глобально определяет... (я не уверен, не пользуюсь я дефайном xD).