Question

编译：

struct str {};

namespace a
{
    void foo(str s) {}
}
namespace b
{
    void foo(str s) {}

    void bar(str s) { foo(s); }
}
int main(int, char**)
{
    return 0;
}

但这没有（结构定义在名称空间a内移动）

namespace a
{
    struct str {};

    void foo(str s) {}
}
namespace b
{
    void foo(a::str s) {}

    void bar(a::str s) { foo(s); }
}
int main(int, char**)
{
    return 0;
}

我得到的错误是

bad.cpp: In function ‘void b::bar(a::str)’:
bad.cpp:12: error: call of overloaded ‘foo(a::str&)’ is ambiguous
bad.cpp:10: note: candidates are: void b::foo(a::str)
bad.cpp:5: note:                 void a::foo(a::str)

由于a :: foo不在范围内，因此对foo的调用只能引用b :: foo，这似乎是合理的。是否有充分的理由让编译失败（如果是这样，它是什么），或者是（两个主要编译器的）实现中的缺陷？

Answer 1

这是因为名称查找，特别是Argument-Dependent Lookup (ADL)的工作方式。在决定哪些函数可能是解析您的调用的候选函数时，编译器将首先在以下位置查找名称：

发生函数调用的命名空间;
定义参数类型的名称空间。

如果在这些名称空间中找不到具有该名称的函数，编译器将继续检查进行调用的名称空间的父名称空间。

那么你问题的例子中发生了什么？

在第一种情况下，str在全局命名空间中定义，并且没有名为foo()的函数。但是，命名空间中有一个调用发生（b）：因此编译器找到了有效名称，名称查找停止，重载解析开始。

但是，只有一个候选功能！所以这里的任务很简单：编译器调用b::foo()。

另一方面，在第二种情况下，str在a命名空间中定义，并且在调用foo(s)时，编译器将再次查看调用的命名空间make（b）并在命名空间中定义了参数类型（str） - 这次是a。

所以现在有两个函数，它们具有匹配的名称，用于解析调用：输入重载决策！唉，这两个功能同样好（完全匹配，不需要转换）。因此，电话不明确。

为什么g ++和clang在这种情况下会破坏名称空间抽象？

1 个答案: