在全局命名空间中声明一个返回模板类的友元函数

Question

我在命名空间中声明了一个函数，当它被定义为友元时，会引发编译器错误。

#include <string>
#include <vector>

namespace Example
{
    std::vector<std::string> GetNames();
}

class MyClass
{
    public:
        MyClass() : 
                name("data")
        {}

    private:
        std::string name;

    friend std::vector<std::string> ::Example::GetNames();
};

编译失败，报错

'class std::vectorstd::__cxx11::basic_string' 中的

'Example' 没有命名类型 朋友 std::vectorstd::string ::Example::GetNames(); ^~~~~~~ main.cpp:25:2: 错误：预期 ';'类定义后

然而，如果我从::Example::GetNames() 中删除全局命名空间标识符::，它将顺利编译。

当由于嵌套命名空间而需要从全局命名空间开始时，我该如何处理这个问题？

Answer 1

编译器不会按照您的预期评估您的朋友声明。相反，编译器会读取以下内容：

    friend std::vector<std::string>::Example::GetNames();

它认为您要在 vector 类中声明位于命名空间 Example 内的函数 GetNames。
这就是为什么当您删除 :: 时，编译器可以查找命名空间 Example 本身并在全局命名空间中找到它。

您想要告诉编译器有一个名为 Example 的全局命名空间是在函数声明周围放置括号：

    friend std::vector<std::string> (::Example::GetNames)();

现在，这将根据您的需要进行评估。