cpp/object_oriented/virtual_function

[giscus[bot]]

cpp/object_oriented/virtual_function

编程指北: 计算机系统学习指南, 操作系统, 计算机网络, C++, Java, 算法, 数据结构

https://csguide.cn/cpp/object_oriented/virtual_function.html

[AntiO2]

第一段代码乱了。应该是

class Point {
public:
	Point(float xval );
	virtual ~Point();
	float x() const;
	static int PointCount();
protected:
	virtual ostream& print( ostream &os ) const;
	float _x;
	static int _point_count;
};

[MuShouler]

其中第一条很重要，当我们使用派生类的指针去访问/调用虚函数时，实际上并未发生动态多态，因为编译时就能确定对象类型为派生类型，然后直接生成调用派生类虚函数的代码即可，这种叫做静态绑定。
派生类的指针去访问调用/访问虚函数的时候不也是查的虚函数表吗，同样也是动态绑定吧。只有通过对象本身去调用函数的时候才是静态绑定吧。

[AndrewGuo0930]

确实，如果是下面这样，通过对象本身（非指针/引用）调用虚函数，则触发静态绑定

class Base {
public:
    virtual void func() { cout << "Base::func" << endl; }
};

class Derived : public Base {
public:
    void func() override { cout << "Derived::func" << endl; }
};

int main() {
    Derived d;
    d.func();
    return 0;
}

如果是下面这样，通过派生类的指针调用虚函数，实际还是通过虚函数表动态查找函数地址，采用的是动态绑定

class Base {
public:
    virtual void func() { cout << "Base::func" << endl; }
};

class Derived : public Base {
public:
    void func() override { cout << "Derived::func" << endl; }
};

int main() {
    Derived d;
    Derived* ptr = &d;
    ptr->func();
    return 0;
}

[liguangcheng]

最上面Point类的对象模型有问题，vptr在float x的前面