5

Собственно в этом вопрос, до неприличия простой, но в гугле не нашел ответа. Компилируя в qtcreator'e заметил, что для шаблонных классов нет соответствующих .o файлов. Ладно, понятно, что нет соответствующего .cpp, но ведь по идее шаблонный класс при использовании динамически генерирует "нормальный" класс с соответствующими типовыми параметрами, так? И как функции этого класса "попадают" в исполняемый файл без посредничества объектных? Напрямую? Если объектные файлы так ненеобходимы, то для чего они вообще до сих пор?

1 ответ 1

14
  1. объектные файлы генерируются не для классов, а для единиц трансляции;
  2. тело инстанцированных шаблонов помещается в единицу трансляции, которая их инстанцирует;
  3. никто не заставляет явно создавать и использовать объектные файлы, большинство компиляторов позволяют сразу собрать исполняемый файл
7
  • то есть, если проект состоит из десятка темплейтных классов и одного main.cpp, где создается объекты этих классов с разными типами, то бинарный код всех этих классов будет в main.o?
    – asianirish
    10 июл 2019 в 10:05
  • @asianirish Да. 10 июл 2019 в 10:05
  • @asianirish, более того, все одинаковые "инстанциации" из разных единиц трансляции будут присутствовать в загрузочном модуле ... (такая вот засада)
    – avp
    10 июл 2019 в 13:41
  • @avp В каком загрузочном модуле? 10 июл 2019 в 18:12
  • @VTT, в том, что линкер делает из объектных, в каком же еще.
    – avp
    10 июл 2019 в 19:14

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.