Есть такой хедер: template <typename T> class Type {

Question

Есть такой хедер: template <typename T> class Type {

/* тут только объявления методов */
};

// Сюда вынесены все реализации методов шаблона

extern template class Type<int>;

Этот хедер включен в несколько TU, шаблон в каждой из них инстанцируется типом int. В одной из TU прописано:
template class Type<int>;

Все это работает как надо: только в одной TU шаблон инстанцируется, во всех остальных компилятор "верит", что где-то есть инстанцирование. Линкер все успешно собирает.

Но буду ли я прав, что при компиляции каждой TU компилятор проверяет на корректность реализацию методов? То есть, по сути, он в каждой TU выполняет одну и ту же работу?

#c #embedded #programming #russian

0

02.10.2023

17 ответов

21 просмотр

d7d1cd Автор вопроса

Слава
А у тебя это все в хедере?

Да. Хедер включен в разные TU

0

02.10.2023

Слава

d7d1cd
Да. Хедер включен в разные TU

Ну будет выполнять одну и ту же работу. Хотя я не уверен. Должен ли линкер ругаться на то что символы несколько раз определены 🧐

0

02.10.2023

d7d1cd Автор вопроса

Слава
Ну будет выполнять одну и ту же работу. Хотя я не ...

Они не определены несколько раз. Там же есть extern template

0

02.10.2023

Слава

d7d1cd
Они не определены несколько раз. Там же есть exter...

Ну это же явное инстанцирование шаблона

0

02.10.2023

d7d1cd Автор вопроса

Слава
Ну это же явное инстанцирование шаблона

Ytn

0

02.10.2023

Vladimir

Из сообщения я так понял что у тебя в каждом хедере есть реализации методов. Потом ты спрашиваешь, > компилятор проверяет на корректность реализации методов Ну, у него в TU каждом есть реализация. Не понял вопрос, короче.

0

02.10.2023

d7d1cd Автор вопроса

Vladimir
Из сообщения я так понял что у тебя в каждом хедер...

У меня один хедер

0

02.10.2023

Vladimir

d7d1cd
У меня один хедер

Ну он же инклюдится в каждый TU

0

02.10.2023

d7d1cd Автор вопроса

Vladimir
Ну он же инклюдится в каждый TU

Верно

0

02.10.2023

Vladimir

d7d1cd
Верно

И че там проверять?

0

02.10.2023

Vladimir

В любом случае даже если он делает некую "двойную работу", кому не насрать на время компиляции? Там и так этих шаблонов наворотили что может комилироваться десять лет, зато работает в рантайме быстро!

0

02.10.2023

d7d1cd Автор вопроса

Vladimir
В любом случае даже если он делает некую "двойную ...

Мне не насрать. Потому что ждать каждый раз по 3 минуты задолбало.

0

02.10.2023

Vladimir

d7d1cd
Мне не насрать. Потому что ждать каждый раз по 3 м...

Может быть у тебя горлышко в другом месте каком-то?

0

02.10.2023

Ilya Zviagin

А что значит extern template class Type<int>; ? Я хочу, чтоб ты, компилятор, знал, что Type - это некий шаблон класса с шаблонным параметром типа , заданным в int. Зачем тут extern ?

0

02.10.2023

CodeDetector

Ilya Zviagin
А что значит extern template class Type<int>; ?...

Оберните код в теги: 3 символа ` до и после кода (в случае одиночной конструкции достаточно 1 ` с обеих сторон). Спасибо!

0

02.10.2023

d7d1cd Автор вопроса

Ilya Zviagin
А что значит extern template class Type<int>; ?...

Для того, чтобы сказать компилятору: "Не инстанцируй этот шаблон типом int. Я тебе атвичаю, инстанцирование есть в другой TU".

0

02.10.2023