Шаблонный класс с заданием параметров < ReturnType (ArgType) >

@mishelle92 · Регистрация: 09.10.2012

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

Захотелось узнать как реализовано в классе std::function задание шаблонных параметров в виде

C++
1
std::function< some_type( some_type2 ) >

Нашел такую реализацию:

C++
1
2
3
4
5
6
7
8
template <typename UnusedType>
class MyClass;
 
template <typename Out_t, typename In_t>
class MyClass <Out_t ( In_t )> 
{
   ...
};

Не могу понять смысл первых двух строк (без них не компилируется).
А поводу последующих строк - это такая специализация шаблона?

Разъясните, пожалуйста.

DiffEreD · 28.12.2014, 18:16

Разъяснять наверно долго будет. Вот цитата из Пишем свой std::function на хабре :

Общая реализация шаблона отсутствует, вся работа будет происходить в частичной специализации шаблона. Частичная специализация нужна для того чтобы мы могли использовать типы аргументов и возвращаемого значения из нашей сигнатуры.

@mishelle92 · 28.12.2014, 18:21 **[ТС]**

DiffEreD, Как раз после прочтения этого поста возник вопрос и желание реализовать что-то похожее) Все равно суть не понял.

@DrOffset · 28.12.2014, 18:31

mishelle92, для того, что бы могла существовать специализация, нужен первичный шаблон (иначе что мы специализируем-то?). В данном случае достаточно forward declaration, т.к. реализация первичного шаблона не используется.

Новые блоги и статьи Все статьи Все блоги /
Символьное дифференцирование igorrr37 13.02.2026 / * Программа принимает математическое выражение в виде строки и выдаёт его производную в виде строки и вычисляет значение производной при заданном х Логарифм записывается как: (x-2)log(x^2+2) -. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .

@mishelle92 73 / 69 / 38 Регистрация: 09.10.2012 Сообщений: 238
	28.12.2014, 18:21 [ТС]
	DiffEreD, Как раз после прочтения этого поста возник вопрос и желание реализовать что-то похожее) Все равно суть не понял. 0

@DrOffset 19500 / 10105 / 2461 Регистрация: 30.01.2014 Сообщений: 17,816
	28.12.2014, 18:31
	Сообщение было отмечено mishelle92 как решение Решение mishelle92, для того, что бы могла существовать специализация, нужен первичный шаблон (иначе что мы специализируем-то?). В данном случае достаточно forward declaration, т.к. реализация первичного шаблона не используется. 1

Шаблонный класс с заданием параметров < ReturnType (ArgType) >

Решение