Mediumctadc++17
Что такое class template argument deduction (CTAD)?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
CTAD (C++17) — автоматический вывод аргументов шаблона класса из конструктора. До C++17 типы нужно было указывать явно.
std::pair p(1, 2.0); // std::pair<int, double>
std::vector v{1, 2, 3}; // std::vector<int>
std::lock_guard lk(mtx); // std::lock_guard<std::mutex>
// До C++17 приходилось писать явно:
std::pair<int, double> p(1, 2.0);Свои правила вывода — deduction guides:
template<typename T>
struct MyContainer { MyContainer(T) {} };
template<typename Iter>
MyContainer(Iter, Iter)
-> MyContainer<typename std::iterator_traits<Iter>::value_type>;Работает для обычных конструкторов, default и copy. Заметно упрощает современный код.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.