快速理解c++编译器名称查找规则koenig lookup(ADL)-CSDN博客

本文链接：https://blog.csdn.net/zjc_game_coder/article/details/78200332

什么是koenig lookup ? 先来看一段简单的代码：

#include <iostream>

using namespace std;

namespace A
{
	struct X{};
	void g(X)
	{
		cout << "A...\n";
	}
}

int main()
{
	A::X x;
	A::g(x);
}

这段代码运行后，控制台显示：A...

如果把main函数中“A::g(x)”改成"g(x)"？编译一定会报错，因为g函数是定义在A命名空间中的，如果不说清楚，那就不知道这个函数从哪来的，所以编译器会报错：未定义函数g。

实则不然！代码依然可以运行，控制台依然显示：A...

为什么呢？

这就是koenig lookup在搞事情了，这个名称背后的规则是这样的：当编译器在编译这段代码的时候，不仅会在current scope和global scope寻找这个函数，同样会在函数的形参声明的地方去寻找这个函数，因为g的形参是X，X在A命名空间中，所以编译器会根据形参的位置去A中寻找函数g，找到！所以这段代码可以运行成功。

koenig lookup也叫做argument dependent lookup(ADL)。

注意：ADL只对namespace起作用。也就是说，如果，把这里的namespace A 改成 class A，其他不变，那么这样就会编译失败！编译器查找阿顺序：current scope->global scope->使用ADL。这三者是有优先级的，最后使用ADL，放大招。如果在之前（ADL之前）就找到了对应的名称，那么就不找了，停止找。