如何解决名称查找,实例化点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 举报,一经查实,本站将立刻删除。