c++笔记之继承，多态，虚函数杂谈

1.基类中成员的继承

在某本书上看到“子类拥有父类所有非private的属性和功能”，当时就在想，那private的成员和方法呢？能被继承吗？

上网搜了好久，各种说法都有，有的说不能继承；有的说能继承，但是不能访问；有的说不能访问，所以不能算继承………………

后来自己写了几段代码来验证了一下。

首先声明，我并不知道继承的具体定义是什么，也不知道基类的成员在子类中表现出来的这种特性算不算继承，所以本文将尽量不使用“继承”这个词

1.1 基类的私用成员在派生类中是存在的

这个可以用代码验证如下：

#include <iostream>
using namespace std;

class animal {
    public:
        animal() : _name("unknow"){
        }
        animal(const string &name) : _name(name) {
        }
        void jiao() const {
            cout << "I`m an animal, my name is " << _name << endl;
        }
    private:
        string _name;
};

class cat : public animal {
    public:
        cat() : animal() {
        }
        cat(const string &name) : animal(name) {
        }
};

int main()
{
    cat mycat("miaomiao");
    mycat.jiao();
    return 0;
}

代码1.1

在ubuntu10.04下用g++编译运行的结果如下：

mapuser@ubuntu:~/Documents$ g++ test1.cc 
mapuser@ubuntu:~/Documents$ ./a.out 
I`m an animal, my name is miaomiao

可以看到派生类cat中确实存在基类animal的私有变量_name。

1.2基类的私有成员在派生类中不能直接访问，只能通过公有的方法来访问
验证代码如下：

#include <iostream>
using namespace std;


class animal {
    public:
        animal() : _name("unknow"){
        }
        animal(const string &name) : _name(name) {
        }
        void jiao() const {
            cout << "I`m an animal, my name is " << _name << endl;
        }
        void setName(const string &name) {
            _name = name;
        }
        string getName() const {
            return _name;
        }
    private:
        string _name;
};


class cat : public animal {
    public:
        cat() : animal() {
        }
        cat(const string &name) : animal(name) {
        }
};


int main()
{
    cat mycat("miaomiao");
    mycat.jiao();
    mycat._name = "mimi";
    mycat.setName("mimi");
    cout << mycat.getName() << endl;
    return 0;
}

代码1.2  animal类增加了方法setName和getName，主函数加了几句话。

这段代码编译结果如下：

mapuser@ubuntu:~/Documents$ g++ test1.cc 
test1.cc: In function ‘int main()’:
test1.cc:20: error: ‘std::string animal::_name’ is private
test1.cc:35: error: within this context

编译出错，说_name是私有变量。
把第35行，即    
    mycat._name = "mimi";
注释掉，再编译：

mapuser@ubuntu:~/Documents$ g++ test1.cc 
mapuser@ubuntu:~/Documents$ ./a.out 
I`m an animal, my name is miaomiao
mimi

如果觉得不好理解。。我觉得可以这样类比一下，cat不是animal的派生类，而是一个全新的类，不过cat类中有一个成员是animal类的实例：

class cat {
    private:
        animal a;
..................
};

所以cat类中有animal的全部成员，但是不能直接访问私有变量。
当然这肯定是不对的，只能用来帮助理解吧 ╮(╯▽╰)╭


2.多态和虚函数
以前一直没搞懂一件事情：在基类中定义一个函数func，派生类又定义了一个一样的（返回类型和参数类型）函数func；此时基类中的函数func声明为虚函数和没有声明为虚函数到底有什么区别？。。。


现在把自己的理解写出来，如果有不对请大家指出：
首先注意这样一个事实：可以用派生类来初始化指向基类的指针或引用，以上述animal和cat类为例：
以下语句是合法的

animal *pa;
cat mycat("miaomiao");
pa = &mycat;
animal &ra = mycat;

代码2.1

但是为什么可以这样呢？因为派生类中含有基类的全部信息。所以当用派生类来初始化指向基类的指针或引用时，指向的是派生类中的基类部分。如图：
animal:       | virtual func1;  func2   |         
cat :             | virtual  func1; func2   |     func2      |
上图中cat类包含了animal；类的两个函数func1和func2，其中func1是虚函数，func2不是虚函数，cat还自己定义了func2。
代码2.1中的pa和ra指向的都是cat中的前面那一部分。


那么多态和虚函数是怎么回事呢？
个人理解如下：
animal中的func1定义为虚函数，在cat类中对其进行重写，重写的func1函数将替换cat类中属于基类部分的func1。
animal中俄func2没有定义为虚函数，在cat类中对其进行重写(这个是不是叫重写？)，重写的func2并不替换cat类中属于基类不封的func2，而是在cat自己的空间生成这个func2
所以ra和pa调用func1将调用cat中重写的函数，调用func2将调用animal中的func2。
验证代码如下：

#include <iostream>
using namespace std;


class animal {
    public:
        animal() : _name("unknow"){
        }
        animal(const string &name) : _name(name){
        }
        virtual void jiao() const {
            cout << "I`m an animal, my name is " << _name << endl;
        }
        void zou() const {
            cout << "I`m an animal, I`m walking" << endl;
        }
    protected:
        string _name;
};


class cat : public animal {
    public:
        cat() : animal() {
        }
        cat(const string &name) : animal(name) {
        }
        void jiao() const {
            cout << "I`m a cat, my name is " << _name << endl;
        }
        void zou() const {
            cout << "i`m a cat, I`m walking" << endl;
        }
};


int main()
{
    animal *pa;
    animal a("AAA");
    cat c("CCC");
    pa = &a;
    pa->jiao();
    pa->zou();
    pa = &c;
    pa->jiao();
    pa->zou();
    return 0;
}

代码2.2

编译运行结果如下：

mapuser@ubuntu:~/Documents$ g++ test1.cc 
mapuser@ubuntu:~/Documents$ ./a.out 
I`m an animal, my name is AAA
I`m an animal, I`m walking
I`m a cat, my name is CCC
I`m an animal, I`m walking