Используйте концепции для проверки наследования от шаблонного класса с частично известными параметрами шаблона. ⇐ C++

[Anonymous]

Для следующей системы типов

Код: Выделить всё

template 
struct Base { ... };

struct Derived1 : Base { ... };
struct Derived2 : Base { ... };

Мне хотелось бы иметь возможность писать функции, которые принимают параметры, полученные из Base, ограничивая при этом некоторые (нет, все) первое N параметров шаблона в Base (где N может быть равно нулю). Моя идея состоит в том, чтобы использовать для этого концепции C++ (хотя я открыт для других подходов!). По сути, я ищу что-то вроде

Код: Выделить всё

template 
concept FromBase = requires ...

таким образом, что я могу писать такие функции

Код: Выделить всё

void foo(FromBase auto param);               // accepts anything derived from `Base`
void foo(FromBase auto param);        // accepts `Derived1` and `Derived2`
void foo(FromBase auto param); // accepts `Derived1`, but not `Derived2`

То есть, полученная концепция должна обеспечивать разрешение перегрузки, чтобы наличие большего количества совпадающих аргументов шаблона приводило к более высокой специфичности?
Как бы я это сделал с понятиями? Или это вообще возможно с C++? Обратите внимание, что я специально ищу решение, которое «легко для глаз и ума», т. е. в идеале я не хочу использовать N различных концепций для поддержки N потенциальных параметров.
Бонусный вопрос: возможно ли это также со смешанными параметрами шаблона типа/не типа в Base?
EDIT: Разъяснено, что концепции должны принимать участие в разрешении перегрузки, от более общего к более конкретному.

Подробнее здесь: https://stackoverflow.com/questions/785 ... ally-known