Easyшаблоны

Чем class T отличается от typename T в шаблоне?

1Постановка

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

2Решение

В списке параметров template<class T> и template<typename T> полностью эквивалентны — оба означают «T — это тип». НО: внутри шаблона для зависимого типа обязательно именно typename.

template<class T>          // class или typename — без разницы
void f() {
    typename T::iterator it;  // здесь ТОЛЬКО typename, class не сработает
}
  • Исторически class появился первым, typename добавили позже для ясности;
  • Соглашение: typename предпочтительнее (подчёркивает, что любой тип, не только класс);
  • typename T::iterator говорит компилятору, что это тип, а не static-член.

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

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

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

ПредыдущийЧто такое шаблон функции и как он работает?СледующийЧто такое зависимый тип (dependent type) и зачем typename?