主页 / coding / 问题 / 79122760
Accepted
user1166
Asked: 2024-10-24 23:54:48 +0800 CST

内置类型与用户定义类型的参数相关查找

  • 772

我的代码：

template <typename T>
void func(T v)
{
    func2(v);
}
    
struct S {};
    
void func2(int) {}
void func2(S) {}
    
int main()
{
    func(1);  // error here
    func(S{}); // OK
}

错误：

<source>: In instantiation of 'void func(T) [with T = int]':
<source>:14:9:   required from here
   14 |     func(1);  // error here
      |     ~~~~^~~
<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++

2 个回答

  1. Best Answer

    基本类型不适用于 ADL。来自cppreference

    否则，对于函数调用表达式中的每个参数，都会检查其类型，以确定它将添加到查找中的关联命名空间和类集。

    1. 对于基本类型的参数，相关的命名空间和类集为空。

    因此func2(int);有一个空集，因此出现编译器错误。

    对于类案例，我们有

    1. 对于类类型（包括联合）的参数，集合包括：

      a) 该课程本身。

      b) 如果该类是完整的，则其所有直接和间接基类。

      c) 如果该类是另一个类的成员，则为它所属的类。

      d) 添加到集合中的类的最内层封闭命名空间。

    并且引入的是项目 d，void func2(S) {}因为它与 位于同一个命名空间中S。

    • 5

  2. 正如您在ADL 文档中看到的：

    参数相关查找 (ADL)，也称为 Koenig 查找1 ，是用于查找函数调用表达式中的非限定函数名称的规则集，包括对重载运算符的隐式函数调用。这些函数名称在其参数的命名空间中查找 ...

    （重点是我的）

    S和func2位于同一命名空间中。但int并非如此，因此 ADL 不适用。

    注意：
    正如@NathanOliver 的回答中详细解释的那样，基本类型不被视为 ADL 全局命名空间的一部分，因此即使您的代码不在命名空间中，上述内容仍然成立。

    • 2

相关问题