如何用C++概念实现模板类继承检查及部分模板参数匹配？

原类型系统 #

template <typename U, typename V>
struct Base { /* ... */ };

struct TypeA {};
struct TypeB {};
struct TypeC {};

struct Derived1 : Base<TypeA, TypeB> { /* ... */ };
struct Derived2 : Base<TypeA, TypeC> { /* ... */ };

需求目标 #

实现一个FromBase概念，支持：

• FromBase auto：接受所有继承自任意Base实例化的类型
• FromBase<TypeA> auto：接受Derived1、Derived2这类继承自Base<TypeA, *>的类型
• FromBase<TypeA, TypeB> auto：仅接受Derived1这类继承自Base<TypeA, TypeB>的类型
• 重载决议时，匹配的模板参数越多，优先级越高（遵循泛化到特化的规则）

实现方案 #

1. 辅助Trait：检测派生关系并提取模板参数 #

先写一个模板特化的Trait，用来判断类型是否继承自Base的某个实例，并提取对应的模板参数：

#include <concepts>
#include <type_traits>

template <typename T>
struct is_base_instance : std::false_type {};

// 特化：匹配所有继承自Base<U,V>的类型
template <typename U, typename V, typename Derived>
struct is_base_instance<Derived> : std::true_type
    requires std::derived_from<Derived, Base<U, V>>
{
    using first_param = U;
    using second_param = V;
};

template <typename T>
constexpr bool is_base_instance_v = is_base_instance<T>::value;

2. 实现FromBase概念 #

通过概念的偏特化，分别实现不同参数数量的匹配逻辑：

// 基础版本：匹配所有Base派生类（无参数限制）
template <typename T, typename... Args>
concept FromBase = is_base_instance_v<T>;

// 匹配前1个模板参数
template <typename T, typename U>
concept FromBase<T, U> = is_base_instance_v<T> && 
    std::same_as<typename is_base_instance<T>::first_param, U>;

// 匹配前2个模板参数
template <typename T, typename U, typename V>
concept FromBase<T, U, V> = is_base_instance_v<T> && 
    std::same_as<typename is_base_instance<T>::first_param, U> &&
    std::same_as<typename is_base_instance<T>::second_param, V>;

3. 测试重载函数 #

现在可以按照需求编写重载函数，编译器会自动选择最匹配的版本：

void foo(FromBase auto param) {
    // 优先级最低：匹配所有Base派生类
}

void foo(FromBase<TypeA> auto param) {
    // 优先级中等：匹配Base<TypeA, *>的派生类
}

void foo(FromBase<TypeA, TypeB> auto param) {
    // 优先级最高：仅匹配Base<TypeA, TypeB>的派生类
}

int main() {
    Derived1 d1;
    Derived2 d2;

    foo(d1); // 调用第三个foo（最严格匹配）
    foo(d2); // 调用第二个foo
}

重载优先级说明 #

C++的概念匹配遵循更特化约束优先的规则：

• FromBase<T,U,V>比FromBase<T,U>更特化，因为它多了一层参数匹配
• FromBase<T,U>比FromBase<T>更特化
  因此当多个重载都满足时，编译器会自动选择约束最严格的版本，完全符合需求。

附加问题：支持混合类型/非类型模板参数吗？ #

可以支持，只需要调整辅助Trait和概念的匹配逻辑即可。例如，如果Base包含非类型参数：

// 修改后的Base
template <typename U, int N>
struct Base { /* ... */ };

// 对应的辅助Trait特化
template <typename U, int N, typename Derived>
struct is_base_instance<Derived> : std::true_type
    requires std::derived_from<Derived, Base<U, N>>
{
    using first_param = U;
    static constexpr int second_param = N;
};

// 调整后的概念：匹配非类型参数用常量表达式比较
template <typename T, typename U, int N>
concept FromBase<T, U, N> = is_base_instance_v<T> && 
    std::same_as<typename is_base_instance<T>::first_param, U> &&
    (is_base_instance<T>::second_param == N);

这样就能适配混合类型和非类型模板参数的Base，核心逻辑是在Trait中提取对应参数（类型/非类型），并在概念中用对应的方式比较。

内容的提问来源于stack exchange，提问作者Michael Schlottke-Lakemper