3.4.2 从 n3290 草案中查找依赖于参数的名称

Question

ISO 草案 n3290 第 3.4.2 节第 1 段中的一点：

当函数调用中的后缀表达式是unqualified-id时，可能会搜索在通常的非限定查找过程中未考虑的其他命名空间，并且在这些命名空间中，可能会找到不可见的名称空间范围友元函数声明。对搜索的这些修改取决于参数的类型（对于模板模板参数，则取决于模板参数的命名空间）。

在这里他们说“这些对搜索的修改取决于参数/模板模板参数/模板参数的命名空间的类型”......任何人都可以用一个例子来解释吗？我尝试使用参数类型..请使用模板模板参数类型进行解释模板参数类型的命名空间

Answer 1

考虑一个简单的非限定函数调用：

foo(x);

ADL 意味着不仅在封闭范围和调用所在的命名空间中查找 foo，而且还在 x< 类型的命名空间中查找/代码>。例如，如果 x 是 std::vector，则还会搜索命名空间 std。因此：

int main() {
    std::vector<int> x,y;
    swap(x,y);
}

可以，并且将调用 std::swap() 。

查找还取决于任何模板参数的命名空间，因此如果 x 是 std::vector 则 mynamespace也包含在查找中。因此

namespace mynamespace {
    struct myclass {};
    void foo(std::vector<mynamespace::myclass> const&){}
}

int main() {
    std::vector<mynamespace::myclass> x;
    foo(x);
}

将调用mynamespace::foo()。

最后，查找还扩展到用作模板模板参数的任何模板的名称空间。例如，

namespace mynamespace {
    template<typename T>
    struct mytemplate
    {};

    template<typename T>
    void bar(T const&) {}
}

template<template<typename> class T>
struct wrapper {};

int main() {
    wrapper<mynamespace::mytemplate> x;
    bar(x);
}

即使 wrapper 位于全局命名空间中，也会找到 mynamespace::bar，因为 x 使用的模板模板参数是 mynamespace::mytemplate。