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

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

В C++20 частичная специализация с более сильным ограничением может быть выбрана как более специализированная, но только если компилятор устанавливает отношение subsumption между ограничениями. Одной логической очевидности недостаточно: ограничения должны быть связаны через нормализованные атомарные ограничения. Если ограничения несравнимы, использование шаблона становится неоднозначным.

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

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

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

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

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

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

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

Компилятор сначала проверяет соответствие образцу частичной специализации, затем её ограничение. После этого он сравнивает подходящие специализации по частичному упорядочиванию и отношению subsumption ограничений.

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

#include <type_traits>

template<class T>
struct Box { static constexpr int kind = 0; };

template<class T>
concept Number = std::is_arithmetic_v<T>;

template<class T>
concept Integral = Number<T> && std::is_integral_v<T>;

template<Number T>
struct Box<T> { static constexpr int kind = 1; };

template<Integral T>
struct Box<T> { static constexpr int kind = 2; };

Для Box<int> подходят обе специализации, но Integral включает ограничение Number и добавляет более узкое условие. Поэтому выбирается специализация с Integral, и kind равен 2.

Важно, что компилятор не доказывает произвольные логические следствия. Если два концепта независимо определены через разные выражения, хотя одно условие фактически влечёт другое, отношение subsumption может отсутствовать. Тогда специализации считаются несравнимыми.

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

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

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

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

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

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

1. Достаточно ли того, что одно ограничение логически влечёт другое?

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

2. Что произойдёт, если обе частичные специализации подходят, но их ограничения несравнимы?

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

3. Может ли более сильное ограничение выбрать специализацию, если её образец типа не совпадает?

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