Шаблоны. Явное создание экземпляра шаблонной функции

@Mournful Max · Регистрация: 15.12.2015

Студворк — интернет-сервис помощи студентам

Не совсем понимаю, зачем нужно явное создание экземпляров шаблонной функции:

Явное создание экземпляра шаблонной функции

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#include <iostream>
 
template < typename T >
void func( T var )
{
    std::cout << "Hi!\n";
}
 
template void func( double var );  // ???
 
int main()
{
    func( 1 );
    func( 1. );
}

Мне непонятна 9 строка ( помеченная комментарием // ??? ). Правильно-ли я вообще написал? Если да, то зачем такое может понадобиться? Ведь, если убрать эту строку, ничего не изменится ( не считая того, что насильно определенная функция будет занимать место в памяти ).

@lArtl · 05.09.2017, 23:49

Сообщение от Captain Maxee

Если да, то зачем такое может понадобиться?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#include <iostream>
 
template < typename T >
void func( T var )
{
    std::cout << var << std::endl;
}
 
 
 
int main()
{
    func<double>( 1.74 );
    func<int>( 1.74 );
}

Вывод:
1.74
1

@Mournful Max · 06.09.2017, 00:45 **[ТС]**

lArtl, да, я знаю об этой возможности. Меня интересует инструкция из 9 строки моего кода.
В книге автор упомянул о ней, но не сказал, для чего она нужна. Сказал лишь, что экземпляр шаблонной функции создастся, даже если и не будет использован.

Croessmah · 06.09.2017, 00:59

Экспортирование шаблонной функции из dll

@TheCalligrapher · 06.09.2017, 09:02

Сообщение от Captain Maxee

Не совсем понимаю, зачем нужно явное создание экземпляров шаблонной функции:

Начиная с С++11 явное создание экземпляров шаблонной функции может использоваться для ускорения компиляции.

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

Для часто используемых специализаций можно обойтись без этой бессмысленной генерации идентичных инстанциирований компилятором (с последующим их уничтожением линкером), если в заголовочном файле объявить

C++
1
extern template void func( double var );

и в одном из .cpp файлов сделать явное инстанциирование. В тех единицах трансляции, где включен этот заголовочный файл, компилятор, видя данное объявление, не будет больше инстанциировать данную специализацию шаблона. (Он сочтет это как сигнал, что шаблон уже где-то явно инстанциирован в другом месте.)

Новые блоги и статьи Все статьи Все блоги /
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .
Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .

@Mournful Max Велосипедист... 353 / 220 / 73 Регистрация: 15.12.2015 Сообщений: 785
	06.09.2017, 00:45 [ТС]
	lArtl, да, я знаю об этой возможности. Меня интересует инструкция из 9 строки моего кода. В книге автор упомянул о ней, но не сказал, для чего она нужна. Сказал лишь, что экземпляр шаблонной функции создастся, даже если и не будет использован. 0

Croessmah Неэпический 18149 / 10731 / 2067 Регистрация: 27.09.2012 Сообщений: 27,035 Записей в блоге: 1
	06.09.2017, 00:59
	Экспортирование шаблонной функции из dll 2

Шаблоны. Явное создание экземпляра шаблонной функции

Решение