没有缺少C ++中的命名空间限定符的错误

Question

我正在研究一个小型C ++项目，并且遇到了一些关于命名空间的行为，这些行为对我来说似乎很奇怪。 我已经在名称空间my_project定义了我的所有类和函数：

// point.hpp:
namespace my_project {
    template <size_t dim> class Point { /* snip */ };
}

// convex_hull.hpp:
namespace my_project {
    std::vector<size_t> convex_hull(const std::vector<Point<2> >& xs);
}

然后，我去为所有内容编写测试：

// convex_hull_test.cpp:

#include <my_project/convex_hull.hpp>

using my_project::Point;

int main()
{
  Point<2> p1 = /* snip */;
  std::vector<Point<2> > xs = {p1, p2, p3, p4, p5, p6};
  std::vector<size_t> hull = convex_hull(xs);

  /* snip */
  return 0;
}

一切都很好，但是第二天我再次看了一下，意识到我应该写这行：

  std::vector<size_t> hull = my_project::convex_hull(xs);

因为我从没在任何地方using my_project::convex_hull 。 但是，当我编译此符号时，使用未定义符号没有任何错误。 为什么我可以在没有名称空间前缀的情况下使用此功能 ？

对于我定义的其他几个函数也是如此。 当我using my_project::Point;下线时 我确实在使用没有命名空间限定的Point出错。 关于名称空间限定的功能，类或模板是否有不同的规则？ 规则是否相同，表明还有其他奇怪的事情要发生？

我在多台计算机上使用clang，g ++和icc进行了尝试。 我试图构造一个最小的测试用例，但是编译器抛出了我认为在这种情况下应该出现的错误。

Answer 1

xs的类型必须在名称空间my_project可用。 发生的事情称为依赖参数的查找 。

C ++标准允许它。 如果要防止ADL，请尝试

std::vector<size_t> hull = (convex_hull)(xs);

加上括号可防止依赖于参数的查找，请尝试编译器进行投诉。

编辑： 基于OP的编辑

请参阅Alan Stokes对这个答案的评论。