Koenig查找或参数依赖查找描述了C ++编译器如何查找不合格的名称 。简单来说:如果在函数的名称空间中定义了一种或多种参数类型,则不必为函数限定名称空间。
例如:
namespace MyNamespace
{
class MyClass {};
void doSomething(MyClass);
}
MyNamespace::MyClass obj; // global object
int main()
{
doSomething(obj); // Works Fine - MyNamespace::doSomething() is called.
}
在上面的示例中,既没有使用using
声明也没有使用using
指令,但是编译器仍然可以通过应用Koenig查找将正确的不合格名称doSomething()
识别为在名称空间MyNamespace
中声明的函数。
它是如何工作的?
该算法告诉编译器不仅要查看本地作用域,还要查看包含参数类型的名称空间。因此,在上面的代码中,编译器发现对象obj(它是函数doSomething()
的参数)属于命名空间MyNamespace
。因此,它将查看该命名空间以找到doSomething()
的声明。
Koenig查找的优点是什么?
如上面的简单代码示例所示,Koenig查找为程序员提供了便利和易用性。如果没有Koenig查找,那么程序员将不得不负担重复指定完全限定名称的费用,或者使用大量using声明。
为什么批评Koenig查找?
过度依赖Koenig查找会导致语义问题,有时会使程序员措手不及。
考虑std :: swap的示例,它是交换两个值的标准库算法。使用Koenig查找时,使用此算法时必须谨慎,因为:
std::swap(obj1,obj2);
可能不会显示以下行为:
using std::swap;
swap(obj1, obj2);
使用ADL,调用哪个版本的交换函数将取决于传递给它的参数的名称空间。
如果存在命名空间A,并且存在A::obj1
,A::obj2
和A::swap()
,则第二个示例将导致对A::swap()
的调用,这可能不是用户想要的。
此外,如果由于某种原因同时定义了A::swap(A :: MyClass&,A :: MyClass&)
和std::swap(A::MyClass&,A::MyClass&)
,则第一个示例将调用std::swap(A::MyClass&,A::MyClass&)
,但是第二个将无法编译,因为swap(obj1, obj2);
会模棱两可。
上述完整例子如下:
#include <iostream>
namespace A {
template<typename T>
class smart_ptr {
public:
smart_ptr() noexcept : ptr_(nullptr) {
}
smart_ptr(const T &ptr) noexcept : ptr_(new T(ptr)) {
}
smart_ptr(smart_ptr &rhs) noexcept {
ptr_ = rhs.release(); // 释放所有权,此时rhs的ptr_指针为nullptr
}
smart_ptr &operator=(smart_ptr rhs) noexcept {
swap(rhs);
return *this;
}
void swap(smart_ptr &rhs) noexcept { // noexcept == throw() 保证不抛出异常
using std::swap;
swap(ptr_, rhs.ptr_);
}
T *release() noexcept {
T *ptr = ptr_;
ptr_ = nullptr;
return ptr;
}
T *get() const noexcept {
return ptr_;
}
private:
T *ptr_;
};
// 提供一个非成员swap函数for ADL(Argument Dependent Lookup)
template<typename T>
void swap(A::smart_ptr<T> &lhs, A::smart_ptr<T> &rhs) noexcept {
lhs.swap(rhs);
}
}
// 开启这个注释,会引发ADL冲突
//namespace std {
// // 提供一个非成员swap函数for ADL(Argument Dependent Lookup)
// template<typename T>
// void swap(A::smart_ptr<T> &lhs, A::smart_ptr<T> &rhs) noexcept {
// lhs.swap(rhs);
// }
//
//}
int main() {
using std::swap;
A::smart_ptr<std::string> s1("hello"), s2("world");
// 交换前
std::cout << *s1.get() << " " << *s2.get() << std::endl;
swap(s1, s2); // 这里swap 能够通过Koenig搜索或者说ADL根据s1与s2的命名空间来查找swap函数
// 交换后
std::cout << *s1.get() << " " << *s2.get() << std::endl;
}
本篇学习自: https://stackoverflow.com/questions/8111677/what-is-argument-dependent-lookup-aka-adl-or-koenig-lookup