c – 当auto遇到多态和虚函数时,什么是正确的行为?

前端之家收集整理的这篇文章主要介绍了c – 当auto遇到多态和虚函数时,什么是正确的行为?前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
class B {
    public:
    virtual void f(){
        printf("B\n");
    }
};
class D : public B { 
    public:
    void f() {
        printf("D\n");
    }
};

int main(void)  
{  
    B* d = new D();
    d->f();
    auto b = *d; 
    b.f();
}

对于d-> f();,输出为D.这是正确的.
但是对于b.f();,输出是B.这是对的吗?

解决方法

Is this right?

没错,类型是在编译时推断出来的. auto使用相同的template argument deduction规则进行类型推导,基于静态类型,不会考虑动态多态.

对于这种情况,d的类型是B *,那么* d的类型是B,所以b的类型只是B.然后* d将是slicing copied到b,对于bf()B :: f()应该是调用.

代码等同于以下可能更清楚的代码.

B b = *d;
b.f();

猜你在找的C&C++相关文章