是什么让某些东西成为 C++ 中的抽象类？

Question

可能的重复：
具体类之间有什么区别和一个抽象类？

我正在 Visual C++ 2008 中编写一些代码，并在我正在阅读的一本书中做练习，当我将光标悬停在其中一个类上时，它告诉我这是一个抽象类。现在我知道它是一个抽象类，因为这就是本练习的目的，但我很好奇是什么让 Intelisense 知道它是一个抽象类。

我做了一点功课，发现可能是因为我在这个类中有两个虚函数，其中一个是纯虚函数。

纯虚拟是一个致命的赠品，还是有其他东西可以告诉您您正在处理或查看抽象类？

Answer 1

纯虚拟是一个致命的赠品吗

在 C++ 中， ？是的。由于它没有 abstract 关键字或等效关键字，因此使类抽象的常见习惯用法是在其中声明一个纯虚函数（这会阻止实例化）。*

出于同样的原因，在 C++ 中没有接口和抽象类之间有很大区别 - C++接口只是一个仅包含纯虚函数的类。

*更新：防止类实例化的另一种方法是将其构造函数声明为protected 或private。后者意味着它也不能被子类化，但前者并不阻止子类化，因此理论上受保护的构造函数也可以是抽象类的标志一种强制子类化的方法。然而，我在实践中从未见过这种情况。我相信这是因为抽象类被设计为可扩展的，这在实践中几乎总是意味着它具有虚函数。我们之所以希望它是抽象的，是因为它的某些部分的实现尚不清楚，因此它需要在其子类中定义。这正是纯虚函数的用途。

Answer 2

使类抽象的唯一因素是它是否具有一个或多个未实现的纯虚函数（可能是派生函数）。

struct A {                    // abstract
    virtual void f() = 0;
};

struct B : public A {        // abstract
};

struct C : public B {        // not abstract
    void f() {}
};

请注意，A 还应该有一个（可能不是纯的）虚拟析构函数。

也可以实现纯虚函数，但这种情况非常罕见：

struct D {
    virtual void f() = 0;
};

函数必须在类外部定义：

void D :: f() {}

但类仍然是抽象的。

Answer 3

我不会说我是 C++ 方面的专家，但我会说你已经掌握了它。纯虚方法的存在意味着该类无法实例化，因此是抽象的。如果您的所有方法都是纯虚拟的（即没有实现），那么它将是一个接口，在这种情况下您只需要头文件。