无法将匿名命名空间内函数声明为命名空间类的友元？

问题重现 #

尝试将匿名命名空间内的函数声明为其他命名空间中类的友元时，GCC 13.1.1编译报错：

出错代码 #

namespace {
void afunc(auto&);
}

namespace aspace{
class aclass{
    int a;
    friend void afunc(auto&); // 试图将匿名命名空间的afunc声明为友元
};
}

namespace {
void afunc(auto& ref){
    ref.a = 12;
}

void bfunc(aspace::aclass& ref) {
    afunc(ref); // 编译报错：调用歧义
}
}

编译错误信息 #

error: call of overloaded ‘afunc(aspace::aclass&)’ is ambiguous
note: candidate: ‘void {anonymous}::afunc(auto:16&) [with auto:16 = aspace::aclass]’
note: candidate: ‘void aspace::afunc(auto:17&) [with auto:17 = aclass]’

原因分析 #

问题核心在于匿名命名空间特性和友元声明的作用域规则：

1. 匿名命名空间的成员具有内部链接，且每个翻译单元的匿名命名空间都是唯一的，无法通过显式命名空间名称引用。
2. 在aspace::aclass中写friend void afunc(auto&);时，由于未指定命名空间限定，编译器会默认在aspace命名空间中注入新的函数声明，而非引用匿名命名空间中已存在的afunc。
3. 调用afunc(ref)时，当前匿名命名空间的afunc在作用域内，同时通过参数依赖查找（ADL），编译器会找到aspace中被友元声明注入的afunc，两个候选函数导致调用歧义。

结论：这是C++标准规则导致的，并非GCC缺陷 #

C++标准规定，友元声明未显式指定命名空间时，会在类所在的命名空间中声明该函数。而匿名命名空间无法被显式引用，因此无法通过常规语法将其成员函数声明为其他命名空间类的友元，必然会引发歧义。

可行解决方案 #

1. 给匿名命名空间赋予显式名称（推荐） #

通过命名空间名称精准定位目标函数，避免编译器注入额外的函数声明：

namespace bspace{
void afunc(auto&);
}

namespace aspace{
class aclass{
    int a;
    friend void bspace::afunc(auto&); // 显式指定命名空间
};
}

namespace bspace{
void afunc(auto& ref){
    ref.a = 12;
}

void bfunc(aspace::aclass& ref) {
    afunc(ref); // 无歧义
}
}

2. 将友元函数直接定义在类内部 #

如果函数逻辑简单，可直接在类的友元声明中定义函数，规避跨命名空间引用问题：

namespace aspace{
class aclass{
    int a;
    friend void afunc(auto& ref){
        ref.a = 12;
    }
};
}

namespace {
void bfunc(aspace::aclass& ref) {
    afunc(ref);
}
}

3. 使用模板函数并通过ADL匹配（替代方案） #

将afunc改为模板函数，利用ADL特性让编译器匹配到匿名命名空间的实现，需确保不会引入其他同名模板：

namespace {
template<typename T>
void afunc(T& ref){
    ref.a = 12;
}
}

namespace aspace{
class aclass{
    int a;
    template<typename T>
    friend void afunc(T&); // 声明模板友元
};
}

namespace {
void bfunc(aspace::aclass& ref) {
    afunc(ref);
}
}

内容的提问来源于stack exchange，提问作者AKL