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();

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 – 当auto遇到多态和虚函数时,什么是正确的行为？全部内容，希望文章能够帮你解决c – 当auto遇到多态和虚函数时,什么是正确的行为？所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。