为什么const修饰会导致指针参数的特化模板不再被优先匹配？

问题核心原因：函数重载匹配的优先级规则，优先于模板特化程度判定 #

要理解这个差异，首先要明确C++函数重载匹配的执行顺序：

1. 先筛选所有能完成模板参数推导的候选函数
2. 按参数匹配的等级排序，优先选择匹配等级更高的重载
3. 只有当多个重载的匹配等级完全相同时，才会判定哪个模板更特化，选择更特化的版本

无const限定的场景

两个模板对传入的int*参数都是精确匹配：

• 第一个模板推导X=int*, Y=int*，参数类型直接匹配int*
• 第二个模板推导X=int, Y=int，参数类型X*也直接匹配int*
  二者匹配等级相同，所以进入特化程度判定，第二个仅接受指针参数，约束更严格，因此被选中。

加const限定后的场景

两个模板都能完成推导，但匹配等级不同：

• 第一个模板的const X是顶层const（修饰参数本身，而不是指针指向的内容），推导X=int*后，参数类型为int* const。重载决议中顶层const不影响匹配等级，因此传入int*属于精确匹配。
• 第二个模板的const X*是底层const（修饰指针指向的内容），推导X=int后，参数类型为const int*。传入int*到const int*需要做一次底层const资格转换，匹配等级比精确匹配低一级。

此时第一个模板的匹配等级更高，重载决议会直接选中第一个模板，根本不会进入模板特化程度的判定环节，也就不会选第二个更特化的指针版本，最终因为指针相加的非法操作编译报错。

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