Как правильно сгенерировать символы для экземпляров шаблонных функций?

Можешь пару примеров?

Ну, например такая функция:

template<int nd, int pushm, int ord>
void ppush_fn (grid_t<nd>, ppool_t<nd>, lattice_data_t<float, nd>, float);

template<int nd>
using push_fn_t\
= void(*)(grid_t<nd>, ppool_t<nd>, lattice_data_t<float, nd>, float);

Как вариант - сгенерировать код скриптом

Извини, туплю, но все равно не понял. Можешь еще подробней?

А что думаете об использовании extern template? Ну, т.е. разделить хидеры на две категории «для внешнего мира» и «внутренние, для библиотеки». В хидерах для внешнего мира везде указать extern template.

//P.S. Сам я такого не делал и глубоко в проблему не погружался, так что где-то могу ошибаться.

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

А можно поинтересоваться зачем? Ведь весь смысл шаблонов - это отказ от кода который не нужен конкретной программе, оптимизация нужного кода непосредственно в месте инстанцирования, а так же не забываем про базовый принцип ООП - наследование.

Ничего не понятно что тебе нужно. Какой-то указатель, какой-то юнион. Про extern template тебе уже сказали. Если у тебя вообще весь код такой, можешь юзать -fno-implicit-templates для гарантии.

У тебя вопрос как написать все эти объявления, потому как руками это делать лень? Бери те же макросы, либо ещё что-то подобное. Готовое для такого вряд ли найдёшь.

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

Ведь весь смысл шаблонов - это отказ от кода который не нужен конкретной программе, оптимизация нужного кода непосредственно в месте инстанцирования

Главный смысл шаблонов - написание обощенного кода, не зависящего от конкретных типов.

Я так понял, у ТСа какая-то матричная дрочильнячислодробилка, в которой много однотипных функций, работающих с контейнерами разных типов и размерностей. В таком случае можно понять желание проинстанцировать все комбинации заранее и вызывать как функции из какого-нибудь BLAS, при этом не тратя полчаса на компиляцию и получая приемлемую скорость даже в дебажных билдах, если библиотека соптимизирована.

а так же не забываем про базовый принцип ООП - наследование

К чему это здесь? В коде ТСа шаблонные функции, а не методы, и нет ни одного намека на ООП.

В случае под онтопик - вообще ничего дополнительно не нужно прописывать, т.к. там вообще всё подряд экспортируется.

К счастью, умные люди придумали -fvisibility=hidden, чтобы не экспортировать тысячи ненужных символов

Вообщем, сделал таки с помощью макроса-враппера и extern «C».