c++ - Koenig 查找的基本原理

Question

Koenig 查找的基本原理是什么？

无法避免将其视为使您的代码更难阅读且更不稳定的东西。

他们不能定义 Koenig 查找，使其仅适用于特定情况(即:非成员运算符)或明确要求时吗？

Answer 1

IIRC 最初的动机是能够编写

std::cout << 42;

无需资格 std::operator<<(std::ostream&, int)明确地。

如果你想禁用参数依赖查找，你可以明确限定函数名，即。使用 std::swap而不是 swap防止swap在其参数存在的任何 namespace 中查找。

ADL 也可以与 SFINAE 一起使用，以在编译时测试是否为特定类型定义了某个函数(我会让你把它作为一个练习来解决，Stackoverflow 上至少有一个关于这个的问题)。