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

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

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

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

if constexpr появился в C++17, чтобы условная компиляция внутри шаблонных функций и методов не требовала громоздких перегрузок, тегов или SFINAE. Он сделал ветвление по свойствам типов локальным и более читаемым, но не заменил специализации классов.

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

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

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

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

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

if constexpr работает внутри тела функции, метода или другой допустимой контекстом конструкции. Если условие истинно, другая ветвь отбрасывается для целей инстанцирования. Зависимые ошибки в отброшенной ветви обычно не приводят к ошибке, но синтаксис и некоторые не зависящие от шаблонных параметров имена всё равно должны быть корректными.

Главное различие — область действия выбора. Частичная специализация может изменить тип как целое, а if constexpr не меняет уже объявленную структуру класса. Поэтому нельзя объявить поле только в одной ветви if constexpr; можно лишь условно выполнять код, использующий заранее существующие члены.

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

Минимальный пример:

#include <type_traits>

struct Empty {};

template<class T>
struct Holder {
    T value;

    void reset() {
        if constexpr (std::is_arithmetic_v<T>)
            value = T{};
        else
            value = T{};
    }
};

template<class T>
struct Holder<T*> {
    T* value;
    void reset() { value = nullptr; }
};

Для арифметического типа используется одна реализация метода, а для указателя выбирается уже другая структура Holder<T*>. В специализации поле и поведение могут быть полностью изменены; if constexpr сам по себе такого изменения не даёт.

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

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

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

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

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

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

Можно ли использовать if constexpr для изменения набора полей класса?

Нет. Ветвь if constexpr может находиться в теле метода, конструктора или другой подходящей конструкции, но не создаёт условных объявлений полей. Все поля класса определяются самим выбранным определением класса. Если набор полей должен зависеть от типа, используют частичную специализацию, композицию с условным вспомогательным типом или другие типовые конструкции.

Всегда ли отброшенная ветвь if constexpr полностью игнорируется компилятором?

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

Почему для условного поведения иногда выбирают специализацию класса, даже если if constexpr короче?

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