不将“虚拟析构函数放入接口内”根据定义，使它不再是一个接口？

Question

所以这就是我所在的框。我想了解为什么“接口类中的虚拟析构函数”很重要。如果你能坚持到最后，你就会明白为什么这些东西要用引号引起来……我也想让所有词汇都绝对正确。到目前为止，我所处的过程是这样的：

1. 有时你有基类，有时你有从基类继承的派生类。

   有时你有基类

2. 如果您有一个基指针，它发现自己指向一个派生对象，并且您还希望从该指向派生对象的基指针进行的成员函数调用的行为就像它具有实际上是从派生对象调用的，那么您调用的成员函数最好在基类中声明为 virtual。

3. 接口是任何仅纯虚函数的类。如果从这个接口类派生一个新类并实现所有纯虚函数，那么您最终可以创建派生类的实例。

4. 你永远不可能拥有接口类的实例，但你可以拥有指向接口类的指针的实例。

5. 如果你有一个指向接口类的指针，它实际上指向派生类的一个对象（实际上，我想如果#4是正确的，它总是必须的），并且如果你决定删除通过指针调用该对象，那么如果您的接口类中没有“虚拟析构函数”，则您销毁派生对象的意图将仅作为销毁基对象（即接口类）的调用来执行，并且因为没有虚拟析构函数，事情永远不会到达派生对象的析构函数被实际调用的地步——从而导致内存泄漏。

唷。好的，如果听起来不错，请回答我的问题。像这样在接口中声明一个虚拟析构函数就足够了：

virtual ~iFace();

这对我来说看起来是错误的...所以如果你像这样使析构函数成为纯虚拟的，会发生什么：

virtual ~iFace() = 0;

因为它们只是声明，所以执行这些中的任何一个都算作是“接口类中的虚拟析构函数”？你甚至可以有一个已声明但未定义的析构函数吗？只有当它是纯虚拟的我才会猜测...

无论如何，所以回到标题问题...我真的会尽快...这是金钱镜头...如果你的“虚拟析构函数在里面你的接口类”至少需要一个像这样的空定义：

virtual ~iFace() {};

那么该成员函数不是纯虚拟的（不可能是因为你给了它一个定义），因此你的类不再是一个接口（它不仅仅 包含纯虚拟成员函数）。

这意味着，如果您为接口定义了虚拟析构函数，那么您就不再拥有接口（而只是一些抽象基类）。这只是语言滥用吗？我明白发生了什么事吗？

注意：这一切都来自于问自己“什么是接口？”然后阅读这个问题的答案：如何在 C++ 中声明接口？

希望这不是太长的步行或太短的车程，但我决心完全理解这些概念及其相关词汇。

Answer 1

为什么抽象类析构函数应该是虚拟的并且有一个定义？

在指向的多态基类指针上调用delete派生类对象 &基类没有虚拟析构函数会导致未定义行为。

因此，您确实需要将多态基类的析构函数声明为virtual。一旦你显式声明你的析构函数是虚拟的，你就需要为其提供一个定义。这是因为编译器默认为每个类生成（定义）一个析构函数，但如果您显式声明析构函数，则编译器不会这样做，而是让您为自己的析构函数提供定义。这是有道理的，因为编译器将显式声明视为您想要在析构函数中执行一些重要操作（即使您不需要这样做）的指示，并且它通过强制您提供给您提供这样做的机会的定义。

---

神话1：
C++ 中有一种叫做接口的东西。

NO
C++ 作为一种语言不提供接口
您所说的接口在C++中被称为抽象类。 抽象类用于模拟C++中Interface的行为。

什么是抽象类？
根据定义，抽象类应该具有至少一个纯虚函数。

---

神话2：
抽象类中的所有函数都必须是纯虚函数。

不
抽象类并不要求其中的所有函数都是纯虚函数。如果抽象对象至少具有一个纯虚函数，则无法创建它。不过，正如您正确提到的，您可以创建指向它的指针。

---

误区3：
纯虚函数不能有定义。

不
纯虚函数有一个定义是完全有效的。

---

为什么我需要一个带定义的纯虚函数？
代码胜于雄辩，所以这是一个简单的例子：
警告：未编译的代码仅供演示

class IMyInterface
{
    int i;
    int j;
    public:
        virtual void SetMembers(int ii, int jj)=0;
};

/*The pure virtual function cannot be inline in the class definition*/
/*So this has to be here*/
void IMyInterface::SetMembers(int ii, int jj)
{
    i = ii;
    j = jj;
}

class Myclass: public IMyInterface
{
    int k;
    int l;
    public:
        virtual void SetMembers(int ll, int m, int a, int b)
        {
             k = ll;
             l = m;
             IMyInterface::SetMembers(a,b);
         }
};

int main()
{

    MyClass obj;
    obj.SetMembers(10,20,30,40);
    return 0;
}

Answer 2

C++ 没有本机接口实体。接口作为常规类实现。

因此，在 C++ 中，使类成为接口的因素并不是具有普遍共识的东西。就我个人而言，我认为如果一个类没有数据成员，没有用户声明的构造函数，并且它的所有函数都是纯虚拟的 - 除了它的析构函数之外 - 并且它的所有基类（如果有的话）也是一个接口接口。如果一个类不太适合所有这些属性，我可能会将其称为“胖”接口（通常不是赞美！）。

如果要通过指向基类（例如“接口”类）的指针删除动态分配的多态类，则基类析构函数必须声明为虚拟。这意味着它必须是用户声明的析构函数，而不是隐式声明的非虚拟析构函数。

一旦显式声明析构函数，就必须为其提供实现。 （当您销毁任何派生类的实例时，无论基类析构函数是否声明为纯虚拟、虚拟或非虚拟，都将始终使用基类析构函数。）这纯粹是 C++ 语言实现细节。这并不意味着你的基类不再是一个“接口”，如果你有一个接口类，那么析构函数的实现很可能在任何情况下都是空的 - 你没有成员或基类会员们要担心的事。

如果您的接口至少有一些纯虚函数，那么将析构函数标记为纯函数并没有真正的优点，您的接口类已经是一个抽象类。派生类析构函数在技术上不会覆盖基类析构函数，因此您不需要派生类提供用户声明的析构函数或类似的内容。

将析构函数声明为纯虚拟还会使您无法在类定义中提供内联析构函数的定义，尽管这是一个小细节。

Answer 3

“接口是任何仅具有纯虚函数的类”

——C++ 中的概念称为抽象类。抽象类是具有至少一个纯虚函数的类。但它并不要求其所有成员函数都是纯虚拟的。您无法实例化任何抽象类。

“这意味着如果您为您的
接口，那么你不再有接口（而只是一些
抽象基类）。这只是语言滥用吗？我是吗
明白发生了什么事吗？”

-- 相反，你必须为析构函数提供一个定义，即使它是纯虚的，因为析构函数在继承层次结构中总是以自下而上的方式调用。

< em>标准 12.4：

析构函数可以声明为 virtual (10.3) 或 pure virtual (10.4)；如果在程序中创建了该类或任何派生类的任何对象，则析构函数应为定义。

示例：

class A
{
public:
   // this is stil a pure virtual function
   // when there is a definition
   virtual ~A() = 0;
};

class B: public A
{};

int main()
{
   // fail to link due to missing definition of A::~A()
   B b;
}

Answer 4

1. 好的。
2. 好的;如果基类中的成员函数未声明为 virtual，则调用基类中的成员函数；如果成员函数在基类中既没有定义也没有声明为纯虚函数，则会出现错误。
3. 在 C++ 中，没有像 Java 和 C# 那样的接口； C++ 中的抽象基类将接口和抽象类结合在一起，就像后两种语言中存在的那样。如果 C++ 类至少具有一个纯虚成员函数，则该类是抽象的。
4. 将接口替换为抽象类。
5. 从形式上讲，如果基类的析构函数未声明为虚拟，则无法假设从指向基类的指针中删除派生类会发生什么情况。

鉴于这一切，一般来说，您的抽象基类已经有一些纯虚拟成员函数，这确保了不可能实例化它，因此通常的做法是定义一个不执行任何操作的内联虚拟析构函数。