了解整个功能模板超载分辨率的过程

Question

我发现超负荷分辨率过程是我在C ++中学到的更为复杂的过程，因此请记住，这个话题对我来说很难轻松理解，因此请耐心等待。

我在这里有两个示例，我试图单独解析每个示例，并了解编译器实际上从呼叫开始到过载模板的实际要做的事情，直到确定哪个过载是最佳的可行。

第一个示例＃1

template <class T> void f(const T&); // F1: reference to const T
template <class T> void f(const T*); // F2: pointer to const T
f((int*)0);

// matching F1:
// deduction: P = const T&, A = int* --> const T& = int* --> T = int*
// instantiates: void f(int *const&); A = int*, P = int *const&
// S1 conversion: int* --> int* const& (identity conversion?)

// matching F2:
// P = const T*, A = int* --> const T* = int*; T = int;
// instantaies: void f(const int*); A = int*, P = const int*;
// S2 conversion: int* --> const int* (qualification conversion)

per [over.ics。等级] /3/3.2

标准转换序列s1是一个更好的转换序列 标准转换序列S2如果

• （3.2.1）S1是适当的子序列 s2（比较规范形式的转换序列 由12.2.4.2.2定义，不包括任何LVALUE转换；这 身份转换序列被认为是任何的子序列 非身份转换序列）
• [..]

s1是s2的适当子序列：这是身份转换是资格转换的正确子序列，因为身份转换顺序被认为是成为任何非身份转换序列的子序列。

和per [over.match.best.general]/2 ：

给定这些定义，可行的函数f1被定义为 与其他可行函数更好的功能f2如果所有参数 i，ICSI（F1）不比ICSI（F2）更差的转换序列，然后是

• （2.1） - 对于某些参数J，ICSJ（f1）是一个更好的转换序列>
• [..]

更好的转换 f1（这是身份转换）“ 不好”，比f2的所有参数的隐式转换（这是资格转换）和至少有一个参数的f1其隐式转换优于f2参数的相应隐式转换。那么可行的函数f1是比可行函数f2更好的功能。因此，f1的专业化是通过过载分辨率为给定呼叫选择的。

我的问题：

• 我是否正确解析了整个过程？
• 编译器此时是否需要执行部分顺序？如果是，为什么？即使我们从IC中知道f1是最好的可行候选人？

---

第二个示例＃2

template <class T> void f(const T&); // F1: reference to const T
template <class T> void f(T*);       // F2: pointer to T
f((int*)0);

// matching F1:
// deduction: P = const T&, A = int* --> const T& = int* --> T = int*
// instantiates: void f(int *const&); A = int*, P = int *const&
// S1 conversion: int* --> int* const& (identity conversion)

// matching F2:
// deduction: P = T*, A = int* --> T* = int*; T = int
// instantaies: void f(int*); A = int*, P = int*
// S2 conversion: int* --> int* (identity conversion)

在[over.ics.rank] /3/3.2中都没有规则。这是s1和s2是身份转换。

然后，编译器将转到下一步以检查 [[ over.match.best.general]/2 。的确，ICSI（F1）并不比ICSI（F2） 更糟糕，但是2.1 bullet不满足，因为iCSI （f1）不是ICSI（F2）更好的转换序列。 f1参数的隐式转换序列实际上与f2的参数相同（即不糟糕）。

编译器不断检查[over.match.best.general]/2中的规则，直到击中子弹 2.5 说：

• [..]
• （2.5） - f1和f2是功能模板专业化， F1的功能模板比F2的模板更专业 根据部分订购规则[..]

我不会经历部分订购的整个过程，而是会总结一切。

调整功能签名：

void f(T);  // Tem1
void f(T*); // Tem2

转换功能签名：

void f(U1);  // Tra1
void f(U2*); // Tra2

匹配tem1针对tran2：

void f(T);  // Tem1
void f(U2*); // Tra2

// T = U2* - OK: T can be deduced from U2*

匹配tem2针对tran1：

void f(T*); // Tem2
void f(U1);  // Tra1

// T* = U1 - error: T cannot be deduced

SO模板由 tran1： tra2比tran1引用的模板更专业：f2比f1。因此，f2的专业化将由给定呼叫的过载分辨率选择。

我的问题：

• 我是否正确解析了整个过程？
• 我认为（可能是不正确的）是，在模板参数扣除后，编译器为两个过载以匹配ICS过程的P/A对的专业化。现在，编译器是否再次为更专业的模板生成专业化？

---

相信我，在发布此问题之前，我搜索了一个涵盖整个过程的问题。我需要知道的是，我是否在想正确，以及我提供的所有报价是否都应用于示例。

抱歉花了很长时间，并提前感谢。