Краткий ответ

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

Исторический контекст

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

Такое разделение сохраняет разные роли механизмов: специализация описывает реализацию шаблона класса для семейства типов, а перегрузка выбирает функцию среди нескольких кандидатов.

Постановка проблемы

Предположим, обобщённой функции нужна особая логика для всех указателей. Интуитивное решение — объявить частичную специализацию функции для типа, являющегося указателем, но синтаксически это невозможно.

Нельзя заменить частичную специализацию явной специализацией: явная специализация относится к одному точно определённому набору шаблонных аргументов, а не ко всему семейству типов. Кроме того, явная специализация функции не создаёт отдельный кандидат перегрузки и может неожиданно зависеть от уже выбранной первичной функции.

Подробное решение

Вместо частичной специализации функции применяют перегрузку. Отдельная перегрузка принимает указатель, а общая — произвольный тип. При вызове механизм разрешения перегрузок сравнивает кандидатов и выбирает более подходящий.

Другой вариант — перенести вариативную часть в класс и частично специализировать его. Функция остаётся единой точкой входа, а класс выбирает реализацию по структуре типа.

#include <iostream>
#include <type_traits>

template<class T>
void print(T) { std::cout << "обычный тип"; }

template<class T>
void print(T*) { std::cout << "указатель"; }

int main() {
    int value = 0;
    print(&value);
}

Здесь print(T*) — не специализация, а самостоятельная перегрузка функции-шаблона. Она участвует в разрешении перегрузки наравне с общей версией и оказывается более подходящей для аргумента-указателя.

Concepts и requires дают более декларативный вариант ограничения перегрузок. Вспомогательный класс со специализациями полезнее, когда выбор должен быть отделён от вызова, когда реализация сложная или когда нужно хранить состояние и типовые вычисления.

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

Ситуация из практики

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

Перегрузки функций дают простой API и естественно используют разрешение перегрузок. Их минус — при большом числе взаимосвязанных случаев может стать трудно поддерживать приоритеты и ограничения.

Частично специализированный класс-диспетчер позволяет централизовать выбор реализации и избежать конфликтов перегрузок. Минус — появляется дополнительный уровень типов и вспомогательный интерфейс.

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

Что кандидаты часто упускают

Можно ли считать перегрузку функции частичной специализацией?

Нет. Перегрузка создаёт новую функцию-шаблон и участвует в разрешении перегрузки. Частичная специализация изменяла бы реализацию уже существующего шаблона для семейства аргументов, но для функций такой механизм отсутствует.

Почему явная специализация функции не решает ту же задачу?

Явная специализация задаётся для полностью определённых шаблонных аргументов. Она может изменить реализацию, например, только для int, но не описывает общий случай вроде «любой указатель». Она также не добавляется как независимый кандидат перегрузки, поэтому не может служить полноценным аналогом частичной специализации.

Когда лучше выбрать вспомогательный класс, а не перегрузку?

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