名称查找，实例化点POI和基本类型

问题描述

以下代码针对X进行编译，但不针对double进行编译：

struct X{};

void foo(double);
void foo(X);

namespace NN { 
struct A{};
void foo(A)
{
  foo(double{});  // error: foo not found
  foo(X{});
}

}

这里的问题似乎是，ADL加入了X，但没有加入两倍。可以通过将foo(A)从namespace NN中移出来解决此问题。但这会带来麻烦，如果您需要按照以下代码片段将名称lokup延迟到POI：

void foo(double);

template<class T>
void bar(T x) { foo(x); }

namespace NN {
template<class T> struct A {};

template<class T>
void foo(const A<T>& x)
{
  using ::foo;  // this is required
  foo(T{});
}

}

void baz() { bar(NN::A<double>{}); }

在这里您无法将void foo(const A<T>& x)从namespace NN中移出，因为这样bar找不到正确的foo（并且它无法编译）。 我想打破此周期的唯一解决方案是在using ::foo重载中显式添加foo。

问题：这是该问题的规范解决方案，还是有更好的解决方案？

有人可能会说，在foo实现中可能需要一个命名空间列表。 OTOH，也许只需要基本类型，因为对于其他类型（即使在全局范围内），适当的功能也应在重载集中。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）