Объясните, почему тут нет ошибки компиляции main.cc? Ведь это отдельная

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

А зачем ему видеть реализацию при компиляции, для вызова это не нужно

Да это понятно, что совсем без реализации никак. Непонятно только зачем из каждого С++ утюга говорят (без уточнений!), примерно следующее: "реализацию шаблонов надо делать в хедере, иначе получите ошибку компиляции". Почему "ошибку компиляции"? Почему не "ошибку линковки"?

не инстанцируй и будет тебе ошибка

Да. Будет. Только это будет ошибка ЛИНКОВКИ, а не КОМПИЛЯЦИИ.

Может потому что думают, что компиляция == препроцессинг == линковка == бог знает что ?)

Не знаю. Может быть. Ладно, это все про качество обучающих материалов..

У вас будет таки ошибка компиляции, если убрать extern... объявление, что инстанцирование где-то таки есть.

В том примере нет extern объявления.

Тут

https://www.ibm.com/docs/en/zos/2.3.0?topic=only-explicit-instantiation-c вроде бы релевантная информация, попробуй почитать

Зачем мне это? Я уже все понял. Ну и да, я не работаю на этой системе уже пол года

А тут у вас по сути не шаблон, т.е. он у вас декларирован как шаблон, а в реальности у вас существует только Type<int>. Боевое применение шаблонов обычно подразумевает, что при их написании неизвестен весь набор параметров, которые в них могут быть переданы, поэтому их и необходимо писать в хидерах.

Что это не шаблон? То, что во всем проекте он инстанцируется одним типом не делает его не шаблоном. Я понимаю Ваш посыл. Изначальное мое непонимание было про другое. Разобрались. Всем спасибо.

Смысл шаблонов 1) в переиспользовании кода; 2) за счёт помещения их реализации в хидеры в возможности сделать дополнительные оптимизации компилятору без LTO. У вас нет ни того, ни другого.

Мой вопрос что, о смысле шаблонов был? Давайте быть педантами, мы же на С++ пишем: тип Type в приведенном примере - это шаблон, точка. Предлагаю не продолжать бессмысленные препирания.

Ну просто мы не вдаёмся в излишние детали

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

А при чем здесь вы то? Под "утюгами С++" я имел ввиду книги и доклады в этих ваших интернетах. То есть, те источники, которые должны, по идее, объяснять детали.

Извини, не так понял

Да норм все. Просто в одном источнике прямо написано, что "компилятор должен видеть определение функции" и баста! В другом косвенно это упоминается, в третьем докладе об этом же говорят и так далее и тому подобное, то в голове закрепляется непреложная истина, так другого ты не видел. А потом ты такой раз, и в своем тесте видишь диаметрально противоположное. Идёшь в чятик, говоришь "как так то?", а тебе говорят "да ваще все не так, как ты думал всю жизнь" 😁 После таких примеров я перестаю быть уверенным во что бы то ни было в плюсах 😂😂😂.

Шаблоны содержат несколько фич, которые не реализуются на практике вообще ни одним компилятором. А тут ещё модули добавили.

Правильный результат получается. Он провоцирует всегда себя проверять.