C++模板函数重载异常行为：__declval参数类型差异导致编译失败问题

核心是函数重载决议的转换序列歧义，结合C++整数转换等级规则、模板特化实例化逻辑共同导致，具体拆解如下： #

前置规则铺垫 #

• 你写的declval<int>;是直接引用函数模板declval的int特化，编译器必须先完成该特化的实例化，确定其完整签名才能识别这个表达式。
• 实例化declval<int>时，需要先计算其尾随返回类型decltype(__declval<int>(0))，这一步会触发__declval重载集的决议。
• C++重载决议中，参数转换的优先级从高到低为：精确匹配 > 整数提升 > 普通整数转换，相同优先级的转换会被判定为歧义。

不同场景的对比分析 #

1. 仅存在__declval(long)重载的场景 #

只有一个候选重载，无需决议，直接匹配成功，所以代码编译正常。

2. 同时存在__declval(long)和__declval(char)重载的场景 #

传入的实参0的类型是int：

• 若当前编译环境为LLP64模型（Windows系统默认），int和long均为32位宽度，int转long不属于「整数提升」，属于「普通整数转换」；
• int转char本身就属于「普通整数转换」；
  两个候选重载的参数转换优先级完全相同，触发重载决议歧义，无法计算declval<int>的返回类型，因此编译器无法识别declval<int>这个表达式，抛出你看到的错误。

3. 将__declval(char)改为__declval(int)的场景 #

实参0是int类型，和__declval(int)的参数完全匹配，转换优先级高于__declval(long)的整数转换，重载决议明确选择第二个重载，无歧义，因此编译正常。 #

补充：如果你在LP64模型（Linux/macOS默认，long为64位，int为32位）下编译第二个场景的代码，int转long属于「整数提升」，优先级高于int转char的普通转换，重载决议会明确选择第一个重载，不会触发歧义，代码也可以正常编译。

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