В чем причина включения всего кода C ++ STL в файлы .h, а не в .cpp / .c?

Question

Я только что скачал исходный код STL и заметил, что все определения для шаблонных классов STL включены в файл .h. Фактический исходный код для определения функции находится в файле .h, а не в файле .cpp / .c. В чем причина этого?

http://www.sgi.com/tech/stl/download.html

Answer 1

Потому что очень немногие компиляторы реализуют связывание шаблонов. Это сложно.

Вот краткая, но (я думаю) информативная статья об этом: http://www.informit.com/guides/content.aspx?g=cplusplus&seqNum=53

Я говорю «я думаю», потому что на самом деле это не то, с чем я очень хорошо знаком, кроме того, что оно широко не реализовано. Сначала я сказал, что стандарт не требует этого, но, глядя на определение «экспорта» в C ++ 03, я не вижу никаких признаков того, что это необязательно. Может быть, это просто провальный стандарт.

Answer 2

Думайте о шаблонах как о генерации кода. Если вы не знаете заранее, с каким шаблоном будет использоваться, вы не сможете скомпилировать. Поэтому вам нужно сохранить реализацию в шапке.

Это допускает некоторые вставки и объясняет, почему иногда использование шаблонных вещей (например, std :: sort) работает быстрее, чем в простом C.