В C++ при объявлении шаблонов: class или typename — какая разница и что лучше использовать?

Краткий ответ: используйте typename в 99% случаев

В современном C++ (начиная с C++11 и новее) рекомендуется использовать typename для объявления параметров шаблона, если только вы не работаете со старым кодом, где исторически сложилось использование class. Это делает код более семантически правильным и избавляет от путаницы.

Подробное объяснение

Исторически сложилось так, что в первых версиях C++ (до стандарта 1998 года) для объявления параметров шаблона использовалось только ключевое слово class. Ключевое слово typename было добавлено позже, чтобы решить две проблемы:

• Семантическая путаница: class ассоциируется с классами, но параметр шаблона может быть любым типом (int, double, пользовательский класс, указатель и т.д.).
• Неоднозначность в зависимых именах: Внутри шаблонов компилятор не всегда может определить, является ли имя типом или значением. Ключевое слово typename (в контексте typename T::value_type) помогает разрешить эту неоднозначность.

Когда typename обязателен, а class — нет

Существует ситуация, где class использовать нельзя, а typename — обязательно. Это происходит при объявлении шаблонных параметров шаблона (template template parameters). Рассмотрим пример:

// ОШИБКА: так нельзя
template <template <class> class Container>
void func() { }

// ПРАВИЛЬНО: используем typename
template <template <typename> typename Container>
void func() { }

Обратите внимание: здесь typename используется дважды: первый раз для объявления параметра шаблона Container, второй раз — для указания, что Container сам является шаблоном. В старых стандартах (до C++17) в этой конструкции можно было использовать только class, но начиная с C++17 разрешено typename. Сейчас это считается более современным стилем.

Практические рекомендации

1. Для обычных параметров шаблона: используйте typename. Это делает код более понятным и универсальным.
2. Для шаблонных параметров шаблона: также используйте typename (если ваш компилятор поддерживает C++17 или новее).
3. Внутри шаблонов при обращении к зависимым типам: используйте typename для разрешения неоднозначности. Например:

template <typename T>
void process(const T& container) {
    // Без typename компилятор не поймет, что value_type - это тип
    typename T::value_type value = container[0];
    // ... работаем с value
}

Если вы пишете код для проекта, где принят стандарт C++14 или старше, и используете шаблонные параметры шаблона, вам придётся придерживаться синтаксиса template <template <class> class Container>. Но для обычных параметров typename можно и нужно использовать в любом стандарте.

Итог

Разница между class и typename в объявлении параметров шаблона — это исключительно вопрос стиля и истории. Функционально они идентичны для 99% случаев. Однако современный C++ сообщество пришло к консенсусу: используйте typename везде, где это возможно. Это делает код более читаемым и избавляет от ложных ассоциаций с классами.