Всем добрый вечер, кто может подсказать, почему компилятору нужно видеть

Question

Всем добрый вечер, кто может подсказать, почему компилятору нужно видеть

реализацию шаблонных функций сразу? То есть я не могу создать прототип шаблонной функции в *.hpp файле, а реализацию в *.cpp файле

#c #embedded #programming #russian

0

13.10.2023

9 ответов

5 просмотров

Alexander Pshenichnikov

Alexander "Ternvein" Isaev
Потому что шаблон - не функция. Функцией он станов...

Добавлю, что корни «проблемы» растут из раздельной компиляции TU

0

8 месяцев назад

🐈

полные специализации можно объявлять в .cpp

0

8 месяцев назад

Alexey Petrunyaka

Реализуем функцию в .h: https://godbolt.org/z/q3s73Mc6n - видим, что компилятор смог сделать оптимизацию до конца Уносим реализацию в cpp: https://godbolt.org/z/8MWrv9a9r - видим, что компилятор не смог её сделать Включаем для неё LTO: https://godbolt.org/z/xfMbxTz1a - видим, что компилятор смог её сделать, но такая сборка длится существенно дольше

0

8 месяцев назад

floy. Автор вопроса

Alexey Petrunyaka
Реализуем функцию в .h: https://godbolt.org/z/q3s7...

благодарю за хороший пример

0

8 месяцев назад

Int Unsigned

Можешь. Только в .cpp нужно писать сразу специализацию. Специализация шаблонной функции - это просто обычная функция только с замороченным именем. Компилируется же только .cpp, а не всякие.hederы. Скажем в одном .cpp компилятор видит объявлен шаблонной функции. Без тела. Оно (объявление) используется и разворачивается компилятором в конкретный extern symbol, который разрешить должен линкер . Разрешение символов - это не дело компилятора. С++ заканчивается после генерации .obj. В другом .срр компилятор видит специализированное тело и генерит код и и Симбол. Линкер все вяжет до кучи.

0

8 месяцев назад

Alexey Petrunyaka

Не обязательно писать специализацию. Можно написать шаблонную реализацию и инстанциировать от всех необходимых типов. По второй и третьей ссылкам в моём комментарии выше содержимое файла sum.cpp, демонстрирующее это: #include "sum.h" template <typename T> T sum(T a, T b) { return a+b; } template int sum<int>(int a, int b);

0

8 месяцев назад

Int Unsigned

Alexey Petrunyaka
Не обязательно писать специализацию. Можно написат...

Да. Инстанциация реализации специализиции для екстернал декларации возможна и приветствуется.

0

8 месяцев назад

Alexander Pshenichnikov

Int Unsigned
Да. Инстанциация реализации специализиции для екст...

Шутки ради. Звучит как "Мы уже работаем над постановлением по расширению углубления конструктивных мер... В обшем, вы меня понимаете..."

0

8 месяцев назад