通过 const 引用传递时，C++ 不调用派生类函数

Question

以下是我的代码摘要：

基类：

#include <iostream>
using namespace std;
class Base {
public:
    Base() { cout << "Base constructor" << endl; }
    ~Base() { cout << "Base destructor" << endl; }
    virtual void func(void) const { cout << "base" << endl; }
};

派生类：

#include "Base.h"
class Derived : public Base {
public:
    Derived() { cout << "Derived constructor" << endl; }
    ~Derived() { cout << "Derived destructor" << endl; }
    void func(void) const { cout << "derived" << endl; }
};

测试类：

#include "Derived.h"

class Test {
public:
    const Base& base;
    Test(const Base& _base) : base(_base) { cout << "Test constructor" << endl; }
    void test() { base->func(); }
    ~Test() { cout << "Test destructor" << endl; }
};

测试的主要功能：

#include "Test.h"
int main(void) {
    Test* t = new Test(Derived());
    t->test();
    return 0;
}

当我运行main函数时，func的Base版本被调用。

但是，如果我将 main 函数更改为以下内容：

#include "Test.h"
int main(void) {
    Derived d;
    Test* t = new Test(d);
    t->test();
    return 0;
}

func 的Derived 版本被正确调用。 我还尝试将 Test 中的 const Base& base 更改为 Base* base。然后使用

构造 Test

Test* t = new Test(new Derivec())

事实证明，func的Derived版本也被正确调用了。

我在想，如果我使用引用或指针，多态性就会起作用。

谁能解释一下为什么第一个版本没有正确调用派生类方法？

非常感谢您的帮助！

Answer 1

你有一个悬空引用问题。

Test* t = new Test(Derived());

您正在使用Derived 类型的临时对象来构造t。 Test的构造函数返回后临时对象被删除。

因此，您的程序具有未定义的行为。

如果你使用

Derived d;
Test* t = new Test(d);

您会得到预期的行为，因为 t 没有悬空引用。

---

还要注意

void test() { base->func(); }

不应编译，因为 base 是一个参考。这些行必须是：

void test() { base.func(); }