C++20中概念约束函数的排序规则是什么？

Question

编译器如何准确地使用规则来估计函数的约束程度？当混合不受约束和受约束的过载时，这些规则如何与常规过载解决方案相互作用？

Answer 1

为了简单起见，在重载解析过程中：

首先，所有没有约束条件是可行的，但约束条件不满足的函数都被认为是不可行的。

因此，可行重载集包含函数、模板函数和满足约束的约束模板函数。

null

例如：

template <Concept1 T> foo(T&&);
template <Concept2 T> foo(const T&);
template <Concept3 T> foo(const T&);

 void g(){
    int i=10;
    const int& j =i;

    foo (j) // the compiler will check the 2 last foo 
            //to see if one is more constrained than the other
    foo (i) //the first foo is selected even if the second or third foo could look like they are more constrained
    }

如果编译器能够证明，对于任何可能的模板参数集，如果满足T1的约束，则满足T2的约束，则模板T1的约束比模板T2的约束更大。它检查是否可以证明：

constraints of T1 statisfied  ==>  constraints of T2 satisfied

其中==>表示暗示。