C++ 和不完整的朋友类 顺便说一句，当需要不存在的朋友类时，有一个很好的例子公共 API 应该比实现它们的代码更稳定

如何解决C++ 和不完整的朋友类 顺便说一句，当需要不存在的朋友类时，有一个很好的例子公共 API 应该比实现它们的代码更稳定

我环顾四周，寻找在 C++ 编译器中做出的关于我所谓的想象中的朋友的选择背后的基本原理。不幸的是，我没有找到任何解释，所以我请教专家。

我想知道为什么 C++ 不抱怨以下代码。类和方法表明朋友实际上并不存在，但如果你编译程序，它会编译并运行。

#include <iostream>

class TrueFriend
{
    friend class NotExistingClass;
    friend class AnotherNotExistingClass;
    friend int NotExistingFunc();
  public:
     void TellAboutYou() { std::cout << "I have a lot of friends" << std::endl; }
};

int main(int argc,char **argv)
{
   TrueFriend instance;
   instance.TellAboutYou();
   return 0;
}

解决方法

没有理由让这段代码无法编译。友元声明足以声明类型。并且在您的代码中不需要定义。也许这样会更清楚：

class NotExistingClass;
class AnotherNotExistingClass;
int NotExistingFunc();

class TrueFriend
{
     friend NotExistingClass;
     friend AnotherNotExistingClass;
     friend int NotExistingFunc();
   public:
     void TellAboutYou() { std::cout << "I have a lot of friends" << std::endl; }
};

具有相同的效果：声明了类和函数，但没有定义可用。您可以在此处了解前向声明的优点以及有时需要它们的原因：What are forward declarations in C++?

例如，考虑两种类型的 A 和 B，它们是共同的朋友。这是您需要前向声明的场景，因为标头不能相互包含：

// A.h
class B;
class A{ friend B;};

// B.h
#include "A.h"
class B{ friend A;};

写A.h的一种更短的方式是

class A{ friend class B; };

现在考虑您开始一个仅使用 A 而不是 B 的新项目。您包括 A.h，从不使用 B，一切都很好。

PS：正如评论中提到的，friend 对于您的问题并不是真正必要的。声明但未定义的类型和函数并不少见，有时也无法避免。

,

我想知道为什么 C++ 不抱怨以下代码。

C++ 是一种编程语言规范。

您可以阅读一些 C++ 标准，例如 n3337（或更新的标准）。该规范没有提到“投诉”。

GCC 是一个或多或少实现了 C++ 的编译器。您可以添加自己的 GCC plugin 发出您想要的诊断信息。

这样的 GCC 插件会减慢编译速度。

您可以尝试使用 Clang static analyzer。因为它是开源的，所以你可以改进它。

顺便说一句，当需要不存在的朋友类时，有一个很好的例子。

您正在设计一个 GUI 库（例如 FOX）。在某些情况下，某些小部件未实现（例如，被某些 #ifdef HAVE_FOO_FEATURE 删除），但它们的类需要是某个现有类的朋友。想想一些与声音相关的小部件的例子：在没有扬声器的 PC 上，它没有意义。或者想想硬件上的一些OpenGL 相关小部件， 不支持 OpenGL。或者一些黑白屏幕上的彩色小部件......

或者您的 C++ 代码已被 GNU autoconf 配置。在某些情况下，某些类会被禁用。

或者您正在编写一个库，并且与您的团队共同决定将未来一个 C++ 类命名为 NotExistingClass 并且您的同事 John 负责实施它的原因是在假期、分配到更紧急的工作或生病。

同样，在某些 void some_missing_member_function() ... class WorkInProgessClass { 内声明 } 并在几周后实现该 WorkInProgessClass::some_missing_member_function 是合理的，当你真正需要它时。

公共 API 应该比实现它们的代码更稳定。

基本原理是，在由团队开发的项目中，您希望（在文档和stable 头文件中）指定通用的 API，并在以后实现它。几个月后，您会发现根本不需要某些已定义并记录在案的功能。

一旦您团队中的 Isabel（开发人员）使用WorkInProgessClass::some_missing_member_function，她将立即实施它（否则，linker 会抱怨）。同样，如果她声明了一个转发 class NotExistingClass 的对象，链接器会发出一些错误（可能：调用/使用未定义的 NotExistingClass::NotExistingClass() 构造函数...）

我喜欢使用 g++ -Wall -Wextra -g 使用 RefPerSys 编译 C++ 项目（如 GCC），如果收到您梦寐以求的警告，我会很生气。

另一个非常相关的例子是缺少 virtual 方法（在某些抽象超类中声明为 virtual void foo(void) =0;）以及在运行时从插件加载的具体子类（在 Linux 上，使用 dlopen(3)...） . AFAIK、Qt 和 FLTK 正在这样做。