Программа с шаблонами, ошибка компиляции

[valeologiya]

Уважаемые читатели этого форума. Пишу для тех, кто столкнется с той же проблемой. Все оказалось гораздо сложнее, чем казалось. Перестановка местами файлов - не решение проблемы.
По описанию языка С++ во многих книгах в случае, если вы хотите отделить объявление шаблона от его определения нужно применять ключевое слово export. Однако, на практике эту возможность поддерживает очень малое количество компиляторов. В частности, компилятор mingw эту возможность не поддерживает.
Все программисты, которые сталкивались с шаблонами на практике, а не в теории рекомендуют одно и то же: "при написании шаблона класса его реализация должна помешаться в заголовочном файле или встраиваемом файле, который подключается заголовочным"
Обсуждение проблемы на другом форуме
Книга "Сборник рецептов по С++", смотреть главу 8.11.

[still_alive]

Нужно просто в файле проекта переставить местами main.cpp и сa737decoder.cpp.

Не понял, какую проблему это должно было решить? Все равно нет единиц трансляции, где доступны и аргументы шаблона, и определение шаблона.

По описанию языка С++ во многих книгах в случае, если вы хотите отделить объявление шаблона от его определения нужно применять ключевое слово export. Однако, на практике эту возможность поддерживает очень малое количество компиляторов.

Верно. Фтопку экспорт.

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

И это верно. Ты по моим предыдущим постам должен был понять - почему так (потому что в этих случаях и аргументы шаблона, и определение, доступны в пределах одной единицы трансляции).

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

[valeologiya]

still_alive, я бы обязательно догадался, если бы знал как работает компилятор. Для меня кажется вполне логичным, что если я скормил определение класса компилятору перед его использованием, то он уж как-нибудь сам разберется как это скомпилировать. Посоветуй, пожалуйста, литературу. Чтобы там слова "единица трансляции" тоже присутствовали.

В случае с явным инстанцированием два вопроса:
1) если используется модель компиляции с разделением, означает ли это что я смогу применить шаблон только для типов ( или значений шаблонной переменной), которые прошли явное инстанцирование? А если подставлю в шаблон другой тип, напорюсь на те же грабли.
2) как вообще собираются библиотеки шаблонов? Допустим, std::vector, я же могу в него любой тип подставить. И что, значит в заголовочном файле <vector> содержится весь код вектора? И каждый раз собирается? Тогда, мама дорогая, я пересмотрю свои взгляды на использование контейнеров. Это поражает мое воображение.