下面, 我们来看一下C++中最简单的多态程序:
#include <iostream>
using namespace std;
class Animal
{
private:
int weight;
public:
virtual void eat()
{
cout << "eat" << endl;
}
};
class People : public Animal
{
private:
string language;
public:
void eat()
{
cout << "chi huo" << endl;
}
};
void fun(Animal *a)
{
a->eat();
}
int main()
{
People me;
fun(&me); // chi huo
return 0;
}
这是指针形式的向上类型转换, 而我们又知道, 在C++中,引用是通过指针来实现的, 所以, 上面的代码也可以转换为等价的引用形式:
#include <iostream>
using namespace std;
class Animal
{
private:
int weight;
public:
virtual void eat()
{
cout << "eat" << endl;
}
};
class People : public Animal
{
private:
string language;
public:
void eat()
{
cout << "chi huo" << endl;
}
};
void fun(Animal &a)
{
a.eat();
}
int main()
{
People me;
fun(me); // chi huo
return 0;
}
好, 我们来看看非指针、引用形式的向上类型转换:
#include <iostream>
using namespace std;
class Animal
{
private:
int weight;
public:
virtual void eat()
{
cout << "eat" << endl;
}
};
class People : public Animal
{
private:
string language;
public:
void eat()
{
cout << "chi huo" << endl;
}
};
void fun(Animal a)
{
a.eat();
}
int main()
{
People me;
fun(me); // eat
return 0;
}
可以看到, 程序的结果是eat, 而不是chi huo, 这又是为什么呢? 原来, 是对象被切片了, 被切割了。 当发生a=me;赋值操作的时候, 由于a和me的容量并不相同(a小me大), 所以a仅仅能容纳me的一部分, 对于编译器来说, 当发生a=me;后, 在fun内部, me的信息丢失了, 即me被切割了, 编译器的眼中全是Animal类型的a。 所以编译器丝毫感觉不到me的存在, a就是a了, 因此, 上面程序的结果自然就是eat.
上面的现象就是对象的切片, 实际上, 对象的切片容易让程序产生错误, 也无法实现预定的多态功能。 所以, 要避免对象切片, 那该怎么办呢? 不让Animal创建对象不就行了么, 对, 就是这样, 用纯虚函数来做。 让代码产生编译器错误, 强迫程序猿改正错误, 如下:
#include <iostream>
using namespace std;
class Animal
{
private:
int weight;
public:
virtual void eat() = 0;
};
class People : public Animal
{
private:
string language;
public:
void eat()
{
cout << "chi huo" << endl;
}
};
void fun(Animal a) // error
{
a.eat();
}
int main()
{
People me;
fun(me);
return 0;
}
这样, 就有了编译错误, 从而强迫程序猿修改, 避免非指针、引用形式的向上类型转换 (对象切片)。