为什么C++类内定义的友元函数需要额外在类外声明

你遇到的这个现象是C++标准明确规定的：在类内部定义的友元函数，默认只能通过参数依赖查找（ADL）找到，普通的非限定名称查找无法直接匹配到。

这个设计的核心原因主要有三个：

• 避免意外污染全局名称空间
  友元声明的核心作用是授予外部实体访问类内部成员的权限，本身不是为了对外发布函数接口。如果类内定义的友元默认能被全局查找到，意味着任何人只要在任意类内部写一个友元函数定义，就会直接把这个函数名注入到全局作用域，很容易引发同名函数冲突，也完全违背了封装和作用域隔离的设计原则。
  举个很简单的反例，如果多个无关类都在内部定义了同名的友元函数void fun()，要是这些函数都能被全局直接调用，编译时必然会出现重复定义冲突，完全不可用。

• 匹配友元的典型使用场景
  绝大多数友元函数的使用场景都是操作当前类的对象，比如重载输入输出运算符、自定义类的运算符逻辑，这类函数天然就会携带当前类类型的参数，刚好可以通过ADL查找到，不需要额外暴露到全局作用域。
  比如下面的代码是完全合法的：

#include <iostream>
class A {
    int val = 10;
    friend std::ostream& operator<<(std::ostream& os, const A& a) {
        return os << a.val;
    }
};

int main() {
    A a;
    std::cout << a; // 正常编译运行，ADL会自动到A的作用域查找operator<<
}

这种设计既保证了常用场景的易用性，又不会额外引入多余的全局名称。

• 保留显式暴露的选择权
  如果你确实需要让类内定义的友元函数可以被普通查找找到，只需要在类的外部、全局作用域补充一条对应的函数声明即可，相当于你主动告知编译器“我确认要把这个函数暴露到全局”，避免了隐式注入导致的意料之外的问题。
  你给出的示例代码只要加一行声明就能正常运行：

class A {
    friend void fun(){};
};
void fun(); // 补充全局声明，普通查找就能匹配到类内定义的fun

int main() {
    fun(); // 正常编译
}

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