P
а какой тогда правильный паттерн?
Size: a a a
2021 July 08
AS
Шаблон делать достоянием общественности
AS
Чтобы можно было проинстанцировать шаблон с любым типом и не парится если для специализация или нет.
АК
Это антипаттерн, если шаблон должен работать с любыми типами. Если же множество типов заранее известно и ограничено, то в этом сплошные плюсы
АК
Например, если реализация тянет кучу зависимостей.
d
Хм... То есть, TU скомпилится, даже если не видит реализации шаблона? Тогда непонятно какой смысл от extern template...
AS
Второй недостаток - при явном инстанцировании шаблона класса инстанцируются все мемберы, тогда как при неявном инстанцировании только те, которые используются в коде.
АК
TU не нужна реализация. Она нужна линкеру
d
Это я уже понял. Непонятно для чего в языке extern template тогда.
AS
это техника называется сокрытие реализации шаблона, имеет узкое применение только для предопределенного множества заранее известных типов.
AB
В каком случае перед вызовом метода пишут template ?
вроде object-> template method_name()
вроде object-> template method_name()
d
Но ведь и без этого можно скрыть реализацию. Александр выше показал как.
AS
пример с knowhow, где реализация шаблона скрыта
AS
Саша показал как скрывать.
P
ну можно, да, но если имплементациия шаблонная будет в хедере, то это не сработает - если тогда добавить extern template в другом .cpp без инстанциирования, то сработает
d
Да, именно!!! И он не использовал extern template
AS
но, повторю, эта техника имеет существенные недостатки: органиченное множество типов и разбухание кодовой базы за счет явного инстанцирования всех членом шаблона класса без разбора. второй недостаток нивелируется статической линковкой, а вот при динамической - жопа
AS
поэтому, если при прочих равных вы создаете шаблон и не хотите влезать в эти дебри, то пишите все в хедере и потомки вас не проклянут.
AS
а так, если ваши коллеги знают ваш домашний адрес, а вы замутили сокрытие шаблонов, то сон ваш будет нездоровым