虚函数的迷思

[wjb_yd]

class A
{
public:
virtual void f() { }
}；

class B ： public A
{
public:
virtual void f() { }
}；

int main()
{
A *p=new B;
p->f();
return 0;
}

大家都知道，每个类有个虚表，每个对象中有个虚指针
当执行到p->f()时，编译器会动态的根据vptr找到vtable，然后在固定的索引位置找到B::f()的地址，调用它
这种间接的调用会有效率上的损失

那么，为什么编译器不能在符号表中跟踪p指向的实际类型，从而在执行p->f()的时候，静态的决议为B::f()呢？？？
这种想法实现起来很困难么？？？

[liumingrong]

如果你有一个函数

void test(A* a)
{
a->f(); //这里应该怎么静态决议呢？
}

A *p1 = new B;
A *p2 = new A;
test(p1);
test(p2);

语法本来就是上下文无关的，是没有记忆的

[wuyu637]

那样的可操作性太低。就是会有很多更复杂的问题出现，

[星羽]

#include "iostream"
using namespace std;

class A 
{ 
public :
    virtual void f() { } 
};

class B : public A 
{ 
public : 
    virtual void f() { } 
};

class C : public A 
{ 
public :
    virtual void f() { } 
};


int main()
{
    int n = 0;

    cin>>n;

    A* p = NULL;

    if (n > 0)
        p = new B;
    else
        p = new C;

    // 请问你编译器在编译的时候如何跟踪 p

    return 0;
}

[K行天下]

虚函数就是要实现动态绑定

[BaihowFF]

再怎么着编译器也是电脑啊...不是人脑...无法达到智能化...
而且就算编译器智能化...不是说不能早绑定...那需要更多的时间和算法去计算...本来C++的编译器的速度就够慢了...更加复杂化的不应该是编译器了...而是库...

[bfhtian]

多态性决定了需要动态编译，用静态的方法很难确定吧，支持3楼

[wjb_yd]

3l说的有道理，结贴~