C++ шаблоны

> когда возился с плюсами наступал на грабли

Это не грабли.

когда реализацию обязательно надо было писать в заголовочном файле

Никогда.

На самом деле речь о том, что в месте использования шаблона должно быть доступно его полное определение. Если шаблон используется в нескольких .cpp файлах, то единственный разумный вариант это разместить определение данного шаблона в .h файле. Но речи о том, что определение шаблона надо ОБЯЗАТЕЛЬНО определять в заголовочном файле не идёт.

> так и не нашел случая, когда реализацию обязательно надо было писать в заголовочном файле

Ты действительно именно это хотел сказать? Или это про вариант что-то с реализацией включать в хедер?

Реализация шаблонных классов по идее должна быть видна компилятору во время каждого инстанцирования (в большинстве реализаций). Ключевое слово extern должно было по стандартам давать возможность инкапсуляции шаблонов, однако было реализовано по сути в одном компиляторе. И вообще, многие говорили, что это слово не нужно (если мне память не изменяет, тот же Саттер). В 0x будет оно введено, реализовано — хз когда.

Зачем объявление шаблона, если он используется в одном cpp, писать в хедере?

> Зачем объявление шаблона, если он используется в одном cpp,

писать в хедере?

Незачем. Разве я такое говорил?

М.. нет. Просто как-то подумалось, что TC это подразумевал.

а я не говорил, что он должен использоваться в одном cpp файле.

Вот я и говорю: тогда других вариантов нет, кроме как размещения объявления и реализации в одном или разных включаемых файлах. Ну, во всяком случае, без extern.

Не extern, а export. А разве с этим есть проблемы?

> export. А разве с этим есть проблемы?

Нет, кроме той, что это не работает.

Да, это я что-то жестко протупил.

Тогда и мне разъясните:

1. Много у кого сейчас экспорт шаблонов реализован?

2. «External templates» из 0x не имеет к этому отношения? Если инструкция запрещает инстанцирование в данной единице трансляции, то компилятору достаточно инстанцирования в любой единице, так?

На самом деле речь о том, что в месте использования шаблона должно быть доступно его полное определение. Если шаблон используется в нескольких .cpp файлах, то единственный разумный вариант это разместить определение данного шаблона в .h файле. Но речи о том, что определение шаблона надо ОБЯЗАТЕЛЬНО определять в заголовочном файле не идёт.

в процессе гугления натыкался на статью, так говорилось примерно следующее: «не все компиляторы поддерживают разделенное объявление шаблонов» (имелось в виду про разделение кода в .h и .cpp соответственно)

Это не грабли.

Проверил сегодня - работает. Как в gcc, так и в MSVS c++. Да, одно и только одно объявление template должно быть export'ировано по стандарту.

P.S. 15 минут не могу отправить сообщение с соседнего компа, выдает примерно такую ошибку:

Parameter 'mode is not present

Скрипту генерирующему страницу ... бла-бла-бла...

при том, что предыдущее сообщение писалось с него.

и да, я подразумеваю шаблоны посложнее min/max

Вопрос стоял так: при каких случаях реализацию шаблона надо (обязательно) пихать в заголовочный файл?

Пока 1 ответ:

Если шаблон используется в нескольких .cpp файлах

Хотя разве это не должно обходиться при помощи того же export'а?

Сохранилась, ибо ключевое слово «export» поддерживают не все (точнее почти никто)

Вообще, я слабо себе представляю, как можно нормально реализовать экспорт тимплейтов. Куда компилятор будет сохранять заэкспотрированные шаблоны? Или предполагается, что модули, которые используют и экспортируют какие-то шаблоны обязательно должны компилироваться одной пачкой?

Если шаблон используется в нескольких .cpp файлах, то единственный разумный вариант это разместить определение данного шаблона в .h файле.

При этом конкретную специализацию шаблона вполне можно размещать в cpp.

Если не вру, то Comodo-вский компайлер позволял размещать определение тоже в cpp-файле (но этот cpp-файл должен быть доступен при компиляции кода, где этот шаблон используется).

Вообще, я слабо себе представляю, как можно нормально реализовать экспорт тимплейтов.

Нормально - вообще никак. Шаблоны - это макросистема поверх основного C++, причём макросистема почти на уровне текстуальных подстановок. А это значит, что исходный код шаблона, как ни крути, должен быть доступен при его использовании - ну, может, в чуть-чуть сжатом виде.

Другое дело - дженерики. Их таки можно нормально скомпилить, оставив только заголовок. Но шаблоны C++, по стандарту, не дженерики.