c – 为什么不是这种多态？

发布时间：2020-12-16 10:43:14 所属栏目：百科来源：网络整理

导读：#include cstdio#include cstringclass A{public: virtual void foo() { puts("A"); }};class B : public A{public: void foo() { puts("B"); }};int main(){ A a; B b; memcpy(a,b,sizeof (b)); (a)-foo();} 解决方法你不应该像那样混淆非POD类型.特别是,C

#include <cstdio>
#include <cstring>

class A
{
public:
    virtual void foo()
    {
        puts("A");
    }
};

class B : public A
{
public:
    void foo()
    {
        puts("B");
    }
};

int main()
{
    A a;
    B b;
    memcpy(&a,&b,sizeof (b));
    (&a)->foo();
}

解决方法

你不应该像那样混淆非POD类型.特别是,C标准说memcpying非POD会导致未定义的行为,在您的情况下,显示为继续看到类型为A的行为.

在您的特定情况下,编译器“知道”a的“静态类型”和“动态类型”都是A(因为它的类型不能“合法地”改变 – 你的技巧是非法的),所以没有虚拟调度执行,但直接调用a.foo()(因此你覆盖vptr的技巧没有效果).

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!