Mediumspecialization

Что такое template specialization (явная специализация)?

1Постановка

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

2Решение

Явная специализация — отдельная реализация шаблона для конкретного типа. Partial specialization — для части параметров (только для class templates).

// Первичный шаблон
template<typename T> struct TypeInfo {
    static const char* name() { return "unknown"; }
};

// Полная специализация для int
template<> struct TypeInfo<int> {
    static const char* name() { return "int"; }
};

// Partial specialization для любого указателя
template<typename T> struct TypeInfo<T*> {
    static const char* name() { return "pointer"; }
};

Function templates не допускают partial specialization — вместо неё используют перегрузку. Компилятор выбирает наиболее специализированную версию. Полезно для оптимизаций (vector<bool>).

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

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

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