ADL的陷阱是什么？
前段时间我读了一篇文章，解释了依赖于参数的查找的几个缺陷，但是我再也找不到了。 这是关于获得你不应该访问的东西或类似的东西。 所以我想在这里问：ADL的陷阱是什么？
依赖于参数的查找存在一个巨大的问题。 例如，考虑下面的工具：
#include <iostream> namespace utility { template <typename T> void print(T x) { std::cout << x << std::endl; } template <typename T> void print_n(T x, unsigned n) { for (unsigned i = 0; i < n; ++i) print(x); } } 这很简单，对吧？ 我们可以调用print_n()并将其传递给任何对象，它将调用print来打印对象n次。
其实，事实certificate，如果我们只看这个代码，我们完全不知道 print_n会调用什么函数。 它可能是这里给出的printfunction模板，但它可能不是。 为什么？ 依赖于参数的查找。
举一个例子，假设你写了一个类来表示一个独angular兽。 出于某种原因，你还定义了一个名为print （这是个巧合！）的函数，它只是通过写入一个解除引用的空指针来引起程序崩溃（谁知道你为什么这样做，这并不重要）：
namespace my_stuff { struct unicorn { /* unicorn stuff goes here */ }; std::ostream& operator<<(std::ostream& os, unicorn x) { return os; } // Don't ever call this! It just crashes! I don't know why I wrote it! void print(unicorn) { *(int*)0 = 42; } }
接下来，你写一个创build一个独angular兽的小程序，并打印它四次：
int main() { my_stuff::unicorn x; utility::print_n(x, 4); }
你编译这个程序，运行它，然后…崩溃。 “什么？！没办法，”你说：“我只是打电话给print_n ， printfunction打印四次独angular兽！ 是的，这是真的，但它没有调用你期望它printfunction。 它叫做my_stuff::print 。
为什么select了my_stuff::print ？ 在名称查找过程中，编译器发现print调用的参数是unicorntypes，它是在名称空间my_stuff声明的类types。
由于依赖于参数的查找，编译器在search名为print候选函数时包含该名称空间。 它findmy_stuff::print ，然后在重载parsing过程中将其选为最好的可行候选：不需要转换来调用任一候选print函数， my_stuff::print模板函数优于函数模板，所以非模板函数my_stuff::print是最好的搭配
（如果您不相信这一点，您可以按照原样编译代码，并查看ADL的实际运行情况。）
是的，依赖于参数的查找是C ++的一个重要特性。 实质上需要实现某些语言特性（如重载操作符）的期望行为（考虑stream库）。 也就是说，这也是非常非常有缺陷的，可能会导致非常难看的问题。 有几个build议来解决依赖于参数的查找，但是没有一个被C ++标准委员会接受。
