Привет всем! // my_functions.h template<typename T> void foo(T t) {} // file_1.cpp #include "my_functions.h" foo(10); //

нет, это уб

0

20.06.2021

Denis P
нет, это уб

все там нормально

0

20.06.2021

Vlad
все там нормально

ага, я почему-то думал что там определение а не инстанциирование

0

20.06.2021

если честно до конца не понял вопрос, типо там же один и тот же тип, одно инстанцирование, не?

0

20.06.2021

Kelbon
если честно до конца не понял вопрос, типо там же ...

нет, там два translation unit

0

20.06.2021

Vlad
нет, там два translation unit

ну да если в разных потоках компилирует, 2 раза инстанцирует, но всё ещё в чем проблема то?

0

20.06.2021

Kelbon
ну да если в разных потоках компилирует, 2 раза ин...

один раз инстанциируется

0

20.06.2021

Denis P
один раз инстанциируется

на два TU?

0

20.06.2021

Vlad
на два TU?

ну да

0

20.06.2021

Vlad
на два TU?

пора объяснять полностью что происходит. Итак, компилятор видит шаблон, видит что его нужно инстанцировать с T= int, грубо говоря пишет функцию inline void foo(int v) { }, далее т.к. это inline он в каждую единицу трансляции, которая использует функцию, подставляет static void foo(int v), тык? или че то не так

0

20.06.2021

Kelbon
пора объяснять полностью что происходит. Итак, ком...

зачем эти типа inline, без типа, и прочее? Как происходит инстанциирование написано в стандарте

0

20.06.2021

Denis P
зачем эти типа inline, без типа, и прочее? Как про...

чтобы не читать стандарт

0

20.06.2021

Alexander Karaev

Denis P
один раз инстанциируется

Инстанцируется в каждом TU, где необходимо

0

20.06.2021

Alexander Karaev
Инстанцируется в каждом TU, где необходимо

нет

0

20.06.2021

Denis P
ну да

http://eel.is/c++draft/temp.inst#5.sentence-1

0

20.06.2021

Vlad
http://eel.is/c++draft/temp.inst#5.sentence-1

про ту тут ничего нет

0

20.06.2021

Denis P
про ту тут ничего нет

инстанциация в другом TU не делает ее доступной в нашем TU

0

20.06.2021

Alexander Karaev

Denis P
нет

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

0

20.06.2021

Alexander Karaev
Каждый .cpp компилируется отдельно и не знает ниче...

если бы я был компилятором, то создавал бы какой то пул проинстанцированных версий шаблонов

0

20.06.2021

Kelbon
пора объяснять полностью что происходит. Итак, ком...

для каждого TU: 1) компилятор видит шаблон 2) компилятор видит вызов 3) компилятор не находит определение 4) компилятор генерирует определение для вызова (2) из шаблона (1)

0

20.06.2021