为什么程序会这样写输出？

Question

我想知道为什么这个c++程序的输出是X:f1？是否调用了 y 对象，调用 Y 的 f1() 是否合乎逻辑？不应该继承吗？我很困惑...

    class X {
    public:
        void f1() { cout<<"X:f1"<<endl;}
    };
    class Y : public X {
    public:
        void f1() { cout<<"Y:f1"<<endl;}
    };
    Y* y = new Y();
    void f(X* x) { x -> f1(); }
    int main () { f (y);
    system("pause");
    return 1;
    }

以及如何更改 f() 函数的主体和在输出中获取 Y:f1 所需的参数？

Answer 1

由于X::f1 不是virtual，对它的调用是静态调度的，即在这种情况下，它们是基于x 的静态类型（即X）而不是动态类型调度的它（在这种情况下是Y）。

换一种说法，因为X::f1 不是virtual，所以当您调用f(y) 时x 指向Y 的实例这一事实没有被考虑在内——编译器调度所有调用到X::f1 到X 的f1，不管x 指向的对象的动态（即运行时）类型。

与其他语言（例如 Java）不同，C++ 中的成员函数默认不是 virtual - 您必须明确指定您希望子类能够覆盖它们。

要获得您期望的输出，您需要将 virtual 限定符添加到 X::f1 - 您无法按照您的建议仅通过更改 f 的主体来实现您想要的，因为您正在丢弃有关x 的动态类型的信息，但在这种特殊情况下，您可以更改f 的参数以接受Y* 而不是X*。

Answer 2

您遇到此问题是因为该函数未声明为虚拟函数。您需要将virtual 限定符添加到X 的f1 以允许子类覆盖它。

class X {
public:
    virtual void f1() { cout<<"X:f1"<<endl;}
};

class Y : public X {
public:
    virtual void f1() { cout<<"Y:f1"<<endl;}
};

如果你不这样做，Y 的f1 只有在编译器知道对象的类型时才会被调用。当您将其转换为X* 时，情况并非如此。这是您观察到的行为：

Y* y = new Y;
y->f1(); // prints "Y:f1"
X* x = y;
x->f1(); // prints "X:f1"!

Answer 3

以及如何更改 f() 函数的主体和获取所需的参数 Y:f1 在输出端？

您的问题的实际答案是：

void f(Y* y) { y -> f1(); }

虽然在派生类中存在同名同签名的非虚方法并没有太大的意义，除了会产生难以捕捉的问题。

Answer 4

我以这种方式在我的编译器中尝试了你的代码

#include<iostream>
using namespace std;
class X {
public:
     virtual void f1() { cout<<"X:f1"<<endl;}
  // ^^^^^^^ Note my changes here!
};
class Y : public X {
public:
    void f1() { cout<<"Y:f1"<<endl;}
};

Y* y = new Y();
void f(X* x) { x -> f1(); }

int main () {
    f(y);
    return 1 ;
}

输出是Y:F1 而不是X:F1 你说再试一次，