C++20概念：当模板参数符合多个概念时，选择哪个模板专门化？

Question

#include <concepts>
#include <iostream>

template<class T>
struct wrapper;

template<std::signed_integral T>
struct wrapper<T>
{
    wrapper() = default;
    void print()
    {
        std::cout << "signed_integral" << std::endl;
    }
};

template<std::integral T>
struct wrapper<T>
{
    wrapper() = default;
    void print()
    {
        std::cout << "integral" << std::endl;
    }
};

int main()
{
    wrapper<int> w;
    w.print(); // Output : signed_integral
    return 0;
}

Answer 1

这是因为概念可以比其他概念更加专门化，有点像模板自己排序的方式。这称为约束的偏序

在概念的情况下，当它们包括等价的约束时，它们相互合并。例如，std::integrate和std::signed_integrate是如何实现的：

template<typename T>
concept integral = std::is_integral_v<T>;

template<typename T> //   v--------------v---- Using the contraint defined above
concept signed_integral = std::integral<T> && std::is_signed_v<T>;

将约束规范化后，编译器将相反的表达式归结为：

template<typename T>
concept integral = std::is_integral_v<T>;

template<typename T>
concept signed_integral = std::is_integral_v<T> && std::is_signed_v<T>;

>

析取子句p_i包含合取子句q_j当且仅当p_i中存在原子约束p_ia，而q_j中存在原子约束q_jb，使得p_ia包含q_jb，以及

一个原子约束A包含另一个原子约束B，当且仅当A和B相同时，使用[temp.constr.atomable]中描述的规则。

这描述了编译器用于排序约束的包含算法，因此也包括概念。