为何模板模板函数重载优先于带concept的重载？是否符合C++标准？

你提供的代码中，调用foo(std::vector<int>{})时，预期匹配基于container_type概念的重载(1)，但实际匹配了模板模板参数的重载(2)，导致static_assert失败。该行为完全符合C++标准，核心原因是模板重载决议的「部分排序」规则。

代码重现 #

#include <iostream>
#include <concepts>
#include <vector>

template <typename T>
concept container_type = requires(T& t) {
    typename T::value_type;
    typename T::reference;
    typename T::iterator;
    { t.begin() } -> std::same_as<typename T::iterator>;
    { t.end() } -> std::same_as<typename T::iterator>; 
};

// overload (0), fallback case
template <typename T>
constexpr int foo(const T& o) {
    return 0;
}

// overload (1), using the concept
constexpr int foo(const container_type auto& o) {
    return 1;
}

// overload (2), using template template parameter
template <typename T, template <typename ...> typename C > 
constexpr int foo(const C<T>& o) {
    return 2;
}

int main()
{
    std::vector<int> a {1,3,3,44,55,5,66,76};
    static_assert(foo(a) == 1); // 断言失败，实际返回2
    return 0;
}

编译命令：g++ -std=c++20 -O2 -Wall -pedantic -pthread

原因解释 #

C++模板重载决议中，当多个可行模板存在时，会通过部分排序判断哪个模板更「特化」，更特化的模板会被优先选择：

• 重载(1)的本质是template <container_type T> constexpr int foo(const T& o)，它接受所有满足container_type概念的类型——包括模板实例（如std::vector<int>）和非模板自定义容器类。
• 重载(2)接受所有类模板的实例化类型（如std::vector<int>、std::list<double>等），但不接受非模板的容器类。

判断特化程度的核心逻辑：

1. 用重载(2)的实参（比如std::vector<int>）可以推导出重载(1)的模板参数T（因为std::vector<int>满足container_type）。
2. 用重载(1)的实参（比如一个自定义的非模板容器类）无法推导出重载(2)的模板参数C和T——因为该类型不是类模板的实例。

根据C++标准的部分排序规则，重载(2)比重载(1)更特化，因此会被优先选中。

让重载(1)优先的方法 #

如果需要让基于概念的重载(1)成为优先匹配，可以给重载(2)添加约束，缩小其适用范围，比如限制它仅处理满足container_type的类模板实例：

// 修改重载(2)，仅匹配满足container_type的类模板实例
template <typename T, template <typename ...> typename C > 
requires container_type<C<T>>
constexpr int foo(const C<T>& o) {
    return 2;
}

此时若仍需让重载(1)优先，可以进一步调整约束逻辑，比如给重载(1)添加更具体的概念限定，或者通过requires子句排除重载(2)与重载(1)的重叠场景。

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