C++友元函数定义规则、可见性及重载匹配相关疑问

友元函数的核心规则 #

首先明确C++标准中关于类内定义友元函数的两个基础规则：

• 归属规则：类内声明/定义的友元函数不属于类成员，其所属作用域为类所在的外围命名空间。你示例中的S定义在全局命名空间，因此内部的友元f(C&)本质就是全局命名空间下的函数。
• 可见性规则：类内定义的友元函数默认是隐藏可见的，不会被普通名字查找直接找到，仅两种场景下会被纳入查找范围：
  1. 所属的外围命名空间下存在该函数的显式声明
  2. 调用该函数时触发ADL（参数依赖查找），且函数参数包含友元所在类的相关类型，此时ADL会自动扫描类内部的友元声明

两个报错的原因解释 #

报错1：functions that differ only in their return type cannot be overloaded #

C++的函数重载规则只依据参数列表区分不同函数，不允许仅返回值不同的函数共存。
你在全局命名空间显式声明了std::false_type f(C&);时，编译器会校验全局作用域下是否已有同参数列表的函数。此时S内部定义的友元f(C&)虽然默认隐藏，但确实是全局作用域下已存在的实体，和你外部声明的函数参数完全一致、仅返回值不同，因此直接触发冲突报错。

报错2：use of undeclared identifier 'f' #

注释掉外部的f声明后：

1. 普通名字查找在全局作用域找不到任何f的声明
2. 你调用f(c)的参数是C类型，C和友元所在的S没有任何关联，ADL只会扫描C所在的全局作用域，不会去S内部查找友元，因此S内的f不会被纳入重载集合

两种查找路径都找不到f，因此触发未声明错误。

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