Question

我的代码有问题。我有两个课程，A和B，B继承A。我也在两个类中都重载了运算符<<。

一切正常，我没有编译错误，但似乎有些不对劲。据我了解多态性，当我在使用new创建子类时使用指向基类的指针时，调用方法应该与子类匹配，而不是基类。

对于以下代码，

#include <iostream>
using namespace std;

class A
{
    protected:
        int a;

    public:

    A(int aa) : a(aa) {};

    virtual void show(ostream& o) const
    {
        o << "a  = " << a << "\n";
    }
};

ostream& operator << (ostream& os, const A &o)
{
    o.show(os);
    return os;
}

class B : public A
{
    private:
        int b;
    public:
        B(int bb, int aa) : A(aa), b(bb){}
        int getb() const {return b;}
};

ostream & operator << ( ostream & os, const B & o)
{
    os << static_cast <const A &>(o);
    os << "\n";
    os << "b = " << o.getb() << "\n";
    return os;
}

int main()
{
    A *o1 = new B(2,3);
    cout << *o1;

    cout << "---------------------\n";

    B *o2 = new B(2,3);
    cout << *o2;

    return 0;
}

主要：

A *o1 = new B(2,3);
cout << *o1;

显示a = 3，而不是显示a = 3 b = 2（调用应该与子类匹配，而不是基类）。问题是，我需要在每个子类中实现<<和>>运算符，但我认为它们的行为并不像它们应该的那样。

该计划的输出：

即使使用重新定义的show方法的修改后的代码也会显示错误的结果，但此时并未显示a：

#include <iostream>
using namespace std;

class A
{
protected:
    int a;

public:

    A(int aa) : a(aa) {};

    virtual void show(ostream& o) const
    {
        o << "a  = " << a << "\n";
    }
};

ostream& operator << (ostream& os, const A &o)
{
    o.show(os);
    return os;
}

class B : public A
{
private:
    int b;
public:
    B(int bb, int aa) : A(aa), b(bb) {}
    int getb() const
    {
        return b;
    }

    void show(ostream& o) const
    {
        o << "b  = " << b << "\n";
    }
};

ostream & operator << ( ostream & os, const B & o)
{
    os << static_cast <const A &>(o);
    o.show(os);
    return os;
}

int main()
{
    A *o1 = new B(2,3);
    cout << *o1;

    cout << "---------------------\n";

    B *o2 = new B(2,3);
    cout << *o2;

    return 0;
}

enter image description here

Answer 1

你必须在派生类B中实现虚函数show：

class B: public A
{
     public:
         // some code here
         virtual void show(ostream& o) const
        {
            o << "b  = " << b << "\n";
        } 
};

Answer 2

当我使用new创建子类时使用指向基类的指针，调用方法应该与子类匹配，而不是基类

当您调用成员函数（＆＃34;方法＆＃34;在某些其他语言中）时，它会执行，但operator<<不是成员函数 - 它是一个重载的自由函数。 /> 选择重载时，只使用编译时已知的类型。

由于o1是A*，*o1是A&，因此会选择A&的重载。

你这样做了一点＆＃34;向后＆＃34 ;;对于调用虚拟operator<<的基类，您只需要一个 show，然后在派生类中重写show。

像这样：

class A
{
    // ...
    virtual void show(ostream& o) const
    {
        o << "a  = " << a << "\n";
    }
};

ostream& operator << (ostream& os, const A &o)
{
    o.show(os);
    return os;
}

class B : public A
{
    // ...
    void show(ostream& o) const override
    {
        A::show(o); // Do the "A part".
        o << "b  = " << b << "\n";
    }
};

遵循operator>>的相同模式。

多态性不适用于指针，运算符＆lt;＆lt;重载，继承，C ++

2 个答案: