具有继承性的编译器行为

Compiler behavior with inheritance

本文关键字：编译器 继承性      更新时间：2023-10-16

当我在C++中用完强制转换时，我有一个关于编译器行为的问题。例如，我有一个简单的代码：

class Animal {
public:
Animal() {}
void talk() {
std::cout << "I am an animal" << std::endl;
}
};
class Dog :public Animal {
public:
Dog(){}
void talk() {
std::cout << "I am a dog" << std::endl;
}
void eat() {
std::cout << "eating" << std::endl;
}
}; 
int main()
{
Animal* animal = new Dog();
animal->talk();//Output is "I am an animal"
//animal->eat();//Compilation error.
return 0;
}

我的问题是，当我运行这个程序时，编译器首先去哪里？它是在Animal类中查找方法，然后因为我没有使用virtual，它调用Animal的talk()方法，还是先检查Dog类中是否存在该方法，然后调用Animal的方法？

给定您的代码，animal->talk()将始终调用Animal::talk()。因为animal是Animal *并且Animal::talk()不是虚拟的。

现在，如果您将Animal::talk()设为虚拟，animal->talk()将调用Dog::talk()。通常，这是通过在animal的vtable上查看运行时来完成的，以查看对象的真实类型，然后调用最合适的talk()函数。但是，由于上面有Animal *animal = new Dog()，编译器可以选择通过跳过vtable查找来优化调用，并直接调用Dog::talk()，因为在编译时该类型是已知的。

相关文章：