关于在执行不合格调用时使用名称与使用命名空间的歧义

Question

我知道这会是不明确的，

#include <boost/hana/fwd/equal.hpp>
#include <range/v3/algorithm/equal.hpp>
#include <vector>

int main() {
    std::vector<int> v{1,2,3};
    using namespace boost::hana;
    using namespace ranges;
    equal(v, v);
}

因为在 boost::hana 和 ranges 命名空间中都有一个 equal 。

然而，我认为这也含糊不清：

#include <boost/hana/fwd/equal.hpp>
#include <range/v3/algorithm/equal.hpp>
#include <vector>

int main() {
    std::vector<int> v{1,2,3};
    using namespace boost::hana;
    using ranges::equal;
    equal(v, v);
}

但根据 GCC 和 Clang ，情况并非如此。

这是为什么？

Answer 1

摘要2

让我们查看示例中的第二个摘要的工作原理，因为您已经知道为什么第一个摘要会产生模棱两可的错误的原因。

来自使用指令的文档：：

仅在命名空间范围和块范围中允许使用领域。从 不合格的名称查找使用方向性之后，直到出现的范围结束， namespace-name中的每个名称都可以看到在最近的封闭名称空间中声明，其中包含使用指导和名称空间名称。

使用指示性不会向其出现的声明区域添加任何名称（与使用删除不同），因此不会阻止相同的名称被声明。

这意味着使用指令的不在声明区域中引入名称（示例中 main 函数无非），而是转到最近的封闭式名称空间（哪个是示例中的全局名称空间）。

现在，当不合格的查找发生对呼叫表达式均等（v，v）; 从遇到呼叫表达式的点上向上，并找到相等的版本是根据使用声明区域中的声明引入的（ main ），因此搜索停止。因此，使用此版本已被使用。

一个人为的例子可能有助于澄清情况：

#include <iostream>
namespace X 
{
    void func(){std::cout<<"X version called"<<std::endl;}
}
namespace Y 
{
    void func(){std::cout<<"Y version called"<<std::endl;};
}
int main()
{
    using namespace X;
    using Y::func;
    
    func(); //calls Y version
    return 0;
}

demo

---

snippet 1

snippet 1 smippet 1在示例中也可以根据示例中的示例来理解上面引用的陈述。特别是，您在摘要1中遇到模棱两可的错误，因为两个命名空间范围和 boost :: hana 具有称为 quode>等于的函数同样排名。因此，当不合格的名称查找发生在 call expression quare（v，v）遇到表达式，并找到名为均等的函数，由于两个名称空间，它们在全局名称中可见。此外，由于两者都同样排名，因此我们会得到上述模棱两可的错误。

一个人为的例子可能有助于澄清情况：

#include <iostream>
namespace X 
{
    void func(int)
    {
        std::cout<<"X version func called"<<std::endl;
    }
    
    void foo()
    {
        std::cout<<"X version foo called"<<std::endl;
    }
}
namespace Y 
{
    void func(double)
    {
        std::cout<<"Y version func called"<<std::endl;
    }
    void foo()
    {
        std::cout<<"Y version foo called"<<std::endl;
    }
}
int main()
{
    using namespace X ;
    using namespace Y;
    
    func(3); //calls X's func 
    func(5.5);//calls Y's func
    
    foo();//fails due to ambiguity
    return 0;
}

demo