c++ - 当 auto 遇到多态和虚函数时，正确的行为是什么？

Question

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。 这样对吗？

Answer 1

Is this right?

没错，类型是在编译时推导的。 auto使用与 template argument deduction 相同的规则对于类型推导，基于静态类型，不考虑动态多态。

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

代码等价于下面，可能更清晰。

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