MediumCTAD

Что такое class template argument deduction (CTAD)?

1Постановка

Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.

2Решение

CTAD (C++17) — вывод аргументов шаблона класса из аргументов конструктора, без явного <...>.

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>
// Раньше: std::pair<int,double> p(1, 2.0);
  • Компилятор смотрит на конструкторы и deduction guides (явные подсказки);
  • Не работает, если нет подходящего для вывода конструктора;
  • make_-функции (std::make_pair) стали менее нужными, но остаются для явного указания типа.

3Как отвечать

  • Сначала уточните условия и ограничения, покажите аналитическое мышление.
  • Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
  • Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡

На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.