Hardшаблоны
Что такое template template parameter?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Template-template parameter — параметр шаблона, который сам является шаблоном, а не типом.
template<template<class> class C, class T>
void f(C<T> c); // C — шаблон, T — тип
std::vector<int> v;
f<std::vector, int>(v); // передаём std::vector как шаблон
// С C++17 можно typename вместо class: template<template<class> typename C>- Применяется в policy-based design, обобщённых контейнерах (фабрика: «любой контейнер»);
- В C++20 лучше concepts:
template<class C> requires requires { typename C::value_type; }; - Относительно редкая техника, в основном библиотечный код.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.