C++ Academy · Урок

Полная специализация

Настраивайте шаблоны для конкретного типа

«Полная специализация» — бесплатный урок C++ Academy на CoddyKit. Это урок 1 из 4. Ты можешь прочитать весь урок бесплатно ниже — а потом практиковать его прямо в браузере с встроенным редактором кода и ИИ-репетитором 24/7. Это часть пути обучения C++ Academy, и твой прогресс синхронизируется между веб-версией и приложением CoddyKit. Курс C++ Academy содержит 4 уроков всего.

Повторение: шаблоны

Шаблон позволяет одному фрагменту кода работать со множеством типов. Компилятор создает конкретную версию для каждого используемого типа.

Общая форма обрабатывает любой тип.
Иногда одному типу требуется особая обработка.

#include <iostream>

template <typename T>
T maxOf(T a, T b) { return a > b ? a : b; }

int main() {
    std::cout << maxOf(3, 9) << ' ' << maxOf(2.5, 1.5) << '\n';
    return 0;
}

Что такое полная специализация?

Полная специализация предоставляет полностью отдельную реализацию для одного конкретного типа, заменяя общий шаблон только для этого типа.

#include <iostream>

template <typename T>
void describe(T) { std::cout << "some type\n"; }

template <>
void describe(int) { std::cout << "an int\n"; }

int main() {
    describe(3.14);
    describe(42);
    return 0;
}

Синтаксис

Полная специализация начинается с пустых угловых скобок template <> и указывает точный тип в специализации.

#include <iostream>

template <typename T>
struct TypeName { static const char* get() { return "unknown"; } };

template <>
struct TypeName<bool> { static const char* get() { return "bool"; } };

int main() {
    std::cout << TypeName<double>::get() << '\n';
    std::cout << TypeName<bool>::get() << '\n';
    return 0;
}

Специализация шаблона класса

Можно специализировать шаблоны классов целиком, задавая для типа собственные члены и поведение, отличные от первичного шаблона.

#include <iostream>

template <typename T>
struct Storage {
    T value;
    void show() { std::cout << "value: " << value << '\n'; }
};

template <>
struct Storage<bool> {
    bool value;
    void show() { std::cout << (value ? "true" : "false") << '\n'; }
};

int main() {
    Storage<int> s{5}; s.show();
    Storage<bool> b{true}; b.show();
    return 0;
}

Зачем нужна специализация?

Специализация обрабатывает типы, которым требуется другая логика, например const char*, которому нужно сравнение строк вместо сравнения указателей.

#include <iostream>
#include <cstring>

template <typename T>
bool equal(T a, T b) { return a == b; }

template <>
bool equal(const char* a, const char* b) { return std::strcmp(a, b) == 0; }

int main() {
    std::cout << std::boolalpha;
    std::cout << equal(5, 5) << '\n';
    std::cout << equal("hi", "hi") << '\n';
    return 0;
}

Специализация одного члена

Для шаблона класса можно специализировать только одну функцию-член для заданного типа, повторно используя остальные.

#include <iostream>

template <typename T>
struct Printer {
    void print(T v) { std::cout << v << '\n'; }
};

template <>
void Printer<char>::print(char v) {
    std::cout << "char: " << v << '\n';
}

int main() {
    Printer<int>{}.print(7);
    Printer<char>{}.print('A');
    return 0;
}

Точное совпадение важнее общего шаблона

Если для точного типа существует полная специализация, компилятор всегда предпочитает её первичному шаблону.

#include <iostream>

template <typename T>
int rank() { return 0; }

template <>
int rank<double>() { return 99; }

int main() {
    std::cout << rank<int>() << ' ' << rank<double>() << '\n';
    return 0;
}

Специализация должна следовать за первичным шаблоном

Специализация должна быть объявлена после того, как первичный шаблон стал доступен, иначе компилятору нечего специализировать.

#include <iostream>

template <typename T>
const char* kind() { return "generic"; }

template <>
const char* kind<float>() { return "float"; }

int main() {
    std::cout << kind<int>() << ' ' << kind<float>() << '\n';
    return 0;
}

Специализация шаблонов std

Вы можете специализировать некоторые шаблоны стандартной библиотеки, например std::hash, для собственных типов, чтобы они работали с хешируемыми контейнерами.

#include <iostream>

struct Point { int x, y; };

template <typename T>
struct Hasher { size_t operator()(const T&) { return 0; } };

template <>
struct Hasher<Point> {
    size_t operator()(const Point& p) { return p.x * 31 + p.y; }
};

int main() {
    Hasher<Point> h;
    std::cout << h(Point{2, 3}) << '\n';
    return 0;
}

Специализация по значению

Параметры шаблона, не являющиеся типами, можно специализировать для конкретных значений, что полезно при создании таблиц на этапе компиляции.

#include <iostream>

template <int N>
struct Fib { static const int value = Fib<N-1>::value + Fib<N-2>::value; };

template <>
struct Fib<0> { static const int value = 0; };

template <>
struct Fib<1> { static const int value = 1; };

int main() {
    std::cout << Fib<10>::value << '\n';
    return 0;
}

Сохраняйте единообразие поведения

Специализация должна сохранять тот же концептуальный контракт, что и основной шаблон; изменяться должна только реализация. Иначе вызывающий код будет работать неожиданно.

#include <iostream>

template <typename T>
T zero() { return T{}; }

template <>
int zero<int>() { return 0; }

int main() {
    std::cout << zero<int>() << ' ' << zero<double>() << '\n';
    return 0;
}

Быстрая проверка

Проверьте, насколько хорошо Вы понимаете синтаксис полной специализации.

Итоги

Вы узнали о полной специализации:

она предоставляет отдельную реализацию для одного конкретного типа
записывается с помощью template <> и конкретного типа
компилятор всегда отдаёт предпочтение точной специализации
работает для функций, классов, отдельных членов и конкретных значений

Далее Вы познакомитесь с частичной специализацией, которая сопоставляет шаблоны типов.

Часто задаваемые вопросы

Урок «Полная специализация» бесплатный?

Да — полный текст урока «Полная специализация» бесплатно доступен здесь в веб-версии. Чтобы практиковать его интерактивно (встроенный редактор кода и ИИ-репетитор 24/7) и разблокировать остальной курс C++ Academy, подпишись на CoddyKit PRO. Курс C++ Academy содержит 4 уроков всего.

Чему я научусь в уроке «Полная специализация»?

Настраивайте шаблоны для конкретного типа Ты практикуешь C++ Academy с помощью реального кода, который запускаешь прямо в браузере, и ИИ-репетитор 24/7 отвечает на твои вопросы во время урока.

Нужен ли мне опыт, чтобы начать C++ Academy?

Предыдущий опыт не требуется. C++ Academy на CoddyKit структурирован для всех уровней — от новичков до продвинутых, поэтому ты можешь начать отсюда или с самого начала и учиться в своем темпе. Это урок 1 из 4.

Сколько времени занимает урок «Полная специализация»?

Большинство уроков CoddyKit занимают около 5–10 минут. Каждый из них компактный и интерактивный, поэтому ты постоянно делаешь прогресс и продолжаешь с того же места в веб-версии и приложении.

Можно ли писать и запускать код в этом уроке C++ Academy?

Да. Каждый урок C++ Academy включает встроенный редактор кода, поэтому ты пишешь и запускаешь реальный код прямо в браузере и получаешь моментальную обратную связь от AI — локальная установка не требуется.

Все уроки этого курса

← Назад к C++ Academy