内置类型与用户定义类型的实参依赖查找差异问题排查

示例代码 #

template <typename T>
void func(T v)
{
    func2(v);
}
    
struct S {};
    
void func2(int) {}
void func2(S) {}
    
int main()
{
    func(1);  // 此处报错
    func(S{}); // 正常
}

报错信息 #

<source>: In instantiation of 'void func(T) [with T = int]':
<source>:14:9:   required from here
   14 |     func(1);  // 此处报错
      |     ~~~~^~~
<source>:4:10: error: 'func2' was not declared in this scope, and no declarations were found by argument-dependent lookup at the point of instantiation [-fpermissive]
    4 |     func2(v);
      |     ~~~~~^~~
<source>:10:6: note: 'void func2(S)' declared here, later in the translation unit
   10 | void func2(S) {}
      | 

问题 #

为何针对内置类型调用func2时查找失败，而用户定义类型却能正常执行？

原因解析 #

核心差异来自C++的**依赖名称查找（ADL，Argument-Dependent Lookup）**规则，以及模板实例化阶段的名称查找逻辑：

• 模板func<T>定义时，func2属于依赖于模板参数T的名称，这类名称的查找不会在模板定义时进行，而是延迟到模板实例化的时机。
• 实例化时的名称查找分为两步：
  1. 普通查找：仅查找模板定义点（即func函数所在位置）之前已经可见的名称。在这个例子里，func定义时，func2的两个重载都还没声明，所以普通查找找不到任何func2。
  2. ADL查找：根据函数实参的类型关联的命名空间/类域，额外查找对应域内的函数：
     • 对于用户定义类型S：S属于当前全局命名空间，ADL会扫描全局命名空间中所有在实例化点（main中调用func(S{})）之前声明的func2重载，因此能找到void func2(S)。
     • 对于内置类型int：内置类型没有关联的用户命名空间，ADL不会触发额外查找。此时只能依赖普通查找，但普通查找无结果，因此报错。

解决方法 #

如果要让func(1)正常运行，只需将func2的声明移到模板func定义之前，比如：

// 先声明func2的重载
void func2(int);
struct S;
void func2(S);

template <typename T>
void func(T v)
{
    func2(v);
}

// 再定义函数和结构体
struct S {};
void func2(int) {}
void func2(S) {}

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