类内实现的友元函数为何仅在参数为类类型时可正常调用？

核心原因：参数依赖查找（ADL） #

你遇到的现象是C++中**参数依赖查找（Argument-Dependent Lookup，简称ADL）**的典型表现，结合类内友元函数的声明规则共同导致：

1. 类内友元函数的声明特性
   在String类内部定义的友元函数display(String&)，它的函数声明仅存在于String类的作用域中，并不会自动被添加到全局作用域。正常情况下全局作用域中没有该函数的声明，直接调用本应失败，但ADL机制改变了这个结果。

2. 带String&参数时的调用逻辑
   当你在main中调用display(s)时，参数s是String类型。根据ADL规则，编译器查找函数名时，除了当前作用域和已导入的命名空间，还会去参数类型所在的作用域（也就是String类的作用域）里查找匹配的函数。
   此时编译器在String类中找到了友元函数display(String&)的声明，因此可以成功匹配并调用，程序也就正常输出了What。

3. 无参调用时的失败原因
   如果把display改成无参函数，调用时没有任何参数，ADL机制无法触发——因为没有参数类型可以用来关联到某个特定作用域。编译器只会在全局作用域和已导入的命名空间中查找display，但全局作用域中并没有这个函数的声明，所以就会报‘display’ was not declared in this scope的错误。

验证补充 #

• 若在String类外部添加全局声明：

  void display(String&);
  

  那么即使不依赖ADL，全局作用域中也能找到函数声明，调用display(s)同样可以成功。
• 注意：友元函数不属于类的成员函数，不能通过String::display的方式调用。

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