Animal::makeNoise() 设置为虚函数时，必须显式指定其为虚函数。final 的，那么它可以是 final 虚拟函数。也就是说，一个类可以重写虚拟函数并将其设置为 final 以防止进一步的重写，但是在继承树中该函数仍然是虚拟的。 - Sergei Tachenovvirtual如何工作以及其所有微妙之处的一切。目标只是简单陈述C++和Java在virtual默认值方面设计哲学上的高层次差异。 - Barryfinal函数不是虚函数是不正确的，也许你可以修正一下这个问题？ - Sergei Tachenovanimal makeNoise() = 0; /*Indicates this function contains no implementation.
and must be implemented by derived classes in order to function.*/
再次强调，只要基类中包含了 'virtual'，派生类在继承成员时并不需要将其标记为 'virtual'。
在Java中，您也可以使用虚拟方法。 它提高了软件的松耦合性。
例如，您可以使用一个库，但不知道它们内部使用哪种动物。有一种动物实现您不知道，但您可以使用它，因为它是一种动物。您可以使用library.getAnimal方法获取该动物。现在，您可以使用他们的动物而不知道它发出什么噪音，因为他们必须实现makeNoise方法。
编辑：所以回答您的问题，C++需要显式声明，在Java中则是隐式的。因此，这是一种特定于语言的怪癖。
virtual，而在Java中不需要这样做——它们会自动成为虚方法。 - Sergei Tachenov你可以说这是语言规则之一，必须这样做。
但这样做有其好处。
当尝试验证使用Animal的代码时，编译器知道Animal上存在哪些函数。可以在不检查所有派生自Animal的类的情况下判断代码是否正确。因此，该代码不需要依赖于所有这些派生类。如果从Animal派生一个新类，但忘记实现makeNoise函数，那么这是新类中的错误，而不是使用Animal基类的代码中的错误，编译器可以指向该错误。如果Animal中没有声明虚函数，则无法确定是调用代码还是新类出现了错误。
关键点在于，由于C++具有静态类型，这些错误将在编译时被捕获。其他语言可以允许动态类型，这可能会使某些事情变得更容易，但是这些错误只能在运行时被发现。
class Animal {
public:
void sound() { std::cout << "splat\n"; }
virtual void appearance() { std::cout << "animaly\n"; }
};
class Cat {
public:
void sound() { std::cout << "meow\n"; }
virtual void appearance() { std::cout << "furry\n"; }
};
int main() {
Animal a;
Cat c;
Animal* ac = new Cat;
a.sound(); // splat
a.appearance(); // animaly
c.sound(); // meow
c.appearance(); // furry
ac->sound(); // splat
ac->appearance(); // furry
}
当您想编写一个泛化于"动物"而不是要求特定派生类指针的函数时，就会出现这种情况。
makeNoise()方法的老鼠，会发生什么？ - Martin York