父子间的赋值问题

  • 子类对象可以当作父类对象使用(兼容性)

    • 子类对象可以直接赋值给父类对象
    • 子类对象可以直接初始化父类对象
    • 父类指针可以直接指向子类对象
    • 父类引用可以直接引用子类对象

编程实验: 子类对象的兼容性

#include <iostream>

using namespace std;

class Parent
{
public:
    int mi;
    
    void add(int i)
    {
        mi += i;
    }
    
    void add(int a, int b)
    {
        mi += (a + b);
    }
};

class Child : public Parent
{
public:
    int mv;
    
    void add(int x, int y, int z)
    {
        mv += (x + y + z);
    }
};

int main()
{
    Parent p;
    Child  c;
    
    p = c;                  // 子类对象赋值父类对象
     
    Parent p1(c);           // 子类对象初始化父类对象
    
    Parent& rp = c;         // 父类引用子类对象
    Parent* pp = &c;        // 父类指针指向子类对象
    
    rp.mi = 100;
    rp.add(5);              // 注意这里!
    rp.add(10, 10);
     
    // pp->mv = 1000;        // Error
    // pp->add(1, 10, 100);  // Error

    return 0;
}
编译输出:
无错误,无警告

分析 1:
rp.add(5);  rp.add(10, 10); 
子类对象与父类对象中都定义了 add 函数,使用父类类型引用调用父类同名成员函数,为什么没有发生同名覆盖呢?

分析 2:
pp->mv = 1000; pp->add(1, 10, 100); 
子类对象中定义了成员变量 int mv; 与 void add(int x, int y, int z); 使用父类指针指向子类对象,进行调用为什么编译器报错呢?

test.cpp: In function ‘int main()’:
test.cpp:48: error: ‘class Parent’ has no member named ‘mv’
test.cpp:49: error: no matching function for call to ‘Parent::add(int, int,     int)’
test.cpp:10: note: candidates are: void Parent::add(int)
test.cpp:15: note:                 void Parent::add(int, int)
  • 当使用父类指针( 引用 ) 指向子类对象时

    • 子类对象退化为父类对象
    • 只能访问父类中定义的成员
    • 可以直接访问被子类覆盖的同名成员

特殊的同名函数

  • 子类中可以重定义父类中已经存在的成员函数
  • 这种重定义发生在继承中,叫做函数重写【子类与父类成员函数的函数类型相同】
  • 函数重写是同名覆盖的一种特殊情况
class Parent
{
public:
    void print()
    {
        cout << "I'm Parent." << endl;
    }
};

函数重写 ==>

class Child : public Parent
{
public:
    void print()
    {
        cout << "I'm Child" << endl;
    }
};

思考

当函数重写遇上赋值兼容会发生什么?

编程实验: 赋值兼容的问题

#include <iostream>

using namespace std;

class Parent
{
public:
    void print()
    {
        cout << "I'm Parent." << endl;
    }
};

class Child : public Parent
{
public:
    void print()
    {
        cout << "I'm Child." << endl;
    }
};

void how_to_print(Parent* p)
{
    p->print();
}

int main()
{
    Parent p;
    Child  c;
    
    how_to_print(&p);    // Expected to print: I'm Parent 
    how_to_print(&c);    // Expected to print: I'm Child 
    
    return 0;
}
输出:
I'm Parent.
I'm Parent.

现象:
how_to_print(&c); 为什么不是期望的输出呢?这让我们在使用时产生困惑,甚至产生软件错误!
  • 问题分析

    • 编译期间,编译器只能根据指针的类型判断所指向的对象
    • 根据赋值兼用, 编译器认为父类指针指向的是父类对象
    • 因此,编译结果只可能是调用父类中的同名函数

void how_to_print(Parent* p)
{
    p->print();
}

在编译这个函数的时候,编译器不可能知道指针 p 究竟指向了什么。但是编译器没有理由报错(语法正确)。于是,编译器认为最安全的做法是调用父类的 print 函数, 因为父类和子类肯定都有相同的 print 函数。

问题

编译器的处理方法是合理的吗? 是期望的吗?

合理,非期望!

(将在下一课中说明解决方法...)

小结

  • 子类对象可以当作父类对象使用(赋值兼容)
  • 父类指针可以正确的指向子类对象
  • 父类引用可以正确的代表子类对象
  • 子类中可以重写父类中的成员函数

以上内容参考狄泰软件学院系列课程,请大家保护原创!


TianSong
734 声望138 粉丝

阿里山神木的种子在3000年前已经埋下,今天不过是看到当年注定的结果,为了未来的自己,今天就埋下一颗好种子吧