C++：什么情况下函数应该声明为纯虚函数

在C++中，函数应该在以下情况下声明为纯虚函数：

1. 抽象基类：当你希望定义一个基类，该基类不能被实例化，只能作为其他类的基类时，你应该在基类中声明至少一个纯虚函数。这样的基类被称为抽象基类。纯虚函数通过在函数声明后添加 “= 0” 来定义，表示该函数在基类中没有实现，派生类必须提供实现。

2. 强制派生类实现：如果你希望所有派生类都实现某个特定功能，而该功能在基类中没有意义或无法提供通用实现，你应该将该功能声明为纯虚函数。这将强制所有派生类提供该函数的实现。

3. 实现接口多态：纯虚函数是实现接口多态性的一种方式。通过定义一个包含纯虚函数的接口（即抽象基类），你可以创建一组具有共同接口的派生类。这些派生类可以根据需要实现纯虚函数，从而实现运行时多态性。

需要注意的是，包含纯虚函数的类是抽象基类，不能直接实例化。只有当一个类提供了所有纯虚函数的实现时，它才能被实例化。这通常是通过创建派生类并提供纯虚函数的实现来实现的。

此外，析构函数也可以声明为纯虚函数，但必须在基类中提供定义。这是因为当删除一个指向派生类的基类指针时，会首先调用派生类的析构函数，然后调用基类的析构函数。如果基类的析构函数是纯虚函数且没有定义，编译器将无法找到要调用的函数体，从而导致链接错误。因此，即使析构函数是纯虚函数，也需要在基类中提供一个实现（可以是空的）。