解决C++嵌套模板参数函数的基类匹配歧义问题

错误原因 #

你遇到的基类匹配歧义，本质是编译器推导模板模板参数Base时存在多个合法候选：以foo_impl为例，它的父类foo_derived<int>、祖父类foo_base<int>都符合Base<T>的形式，编译器无法确定应该匹配哪一层基类。
你之前写的concept逻辑完全错误：!std::is_same<std::is_same<Base<T>, foo_base<T>>, std::is_same<Base<T>, bar_base<T>>>::value的实际含义是「判断Base<T>是foo_base和Base<T>是bar_base这两个布尔值是否不相等」，和你期望的「仅允许foo_base、bar_base作为Base参数」的需求完全不符，所以无法生效。

可行解决方案 #

方案1：保留模板模板参数写法，修复concept约束 #

直接在concept中限制Base模板只能是foo_base或bar_base，编译器会自动过滤不符合要求的候选基类，消除推导歧义：

#include <iostream>
#include <concepts>

// 原有类定义保持不变
template <typename T>
struct foo_base
{
    T a;
};

template <typename T>
struct foo_derived: public foo_base<T>
{

};

struct foo_impl: public foo_derived<int>
{

};

template <typename T>
struct bar_base
{
    T a;
};

template <typename T>
struct bar_derived : public bar_base<T>
{
};

struct bar_impl : public bar_derived<int>
{
};

// 修复后的concept：仅允许Base是foo_base或bar_base
template <typename T, template <class> typename Base>
concept is_allowed_base = 
    std::same_as<Base<T>, foo_base<T>> || 
    std::same_as<Base<T>, bar_base<T>>;

// 加约束后编译器只会匹配foo_base/bar_base的基类，消除歧义
template <typename T, template <class> typename Base>
requires is_allowed_base<T, Base>
void useBase(const Base<T>& Arg)
{
    std::cout << Arg.a << std::endl;
}

int main()
{
    foo_impl foo{.a = 1}; // 初始化赋值方便验证
    bar_impl bar{.a = 2};

    useBase(foo); // 正常输出1
    useBase(bar); // 正常输出2
    return 0;
}

方案2：简化模板写法，直接约束入参类型 #

如果不需要显式暴露模板模板参数，可以简化写法，直接约束入参必须继承自foo_base或bar_base，写法更简洁：

template<typename T>
concept allowed_arg = 
    requires(T t) { []<typename U>(const foo_base<U>&){}(t); } ||
    requires(T t) { []<typename U>(const bar_base<U>&){}(t); };

template<allowed_arg T>
void useBase(const T& Arg)
{
    std::cout << Arg.a << std::endl;
}

内容的提问来源于stack exchange，提问作者Jonas Hjulstad