Hardшаблоны
Что такое deduction guides и зачем они нужны?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Deduction guides (C++17) — инструкции для вывода аргументов шаблона класса при construction (CTAD). Без них компилятор не смог бы вывести тип контейнера из аргументов конструктора.
// CTAD работает благодаря deduction guides
std::pair p(1, 2.0); // pair<int, double>
std::vector v{1, 2, 3}; // vector<int>
std::lock_guard lg(m); // lock_guard<std::mutex>
// Синтаксис явного guide
template<class T>
vector(std::initializer_list<T>) -> vector<T>;- Особенно полезны для wrapper’ов:
std::lock_guard(m),std::pair(1, 2.0); - Без CTAD приходилось писать
std::vector<int> v{...}явно; - С C++20 многие guides стали неявными (для alias templates).
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.