#include<iostream>
#include<cstring>
using namespace std;
class WARN
{
private:
string str;
public:
WARN(string str="\0"):str(str){}
~WARN(){cout << "WARN析构"<<endl;}
virtual void what(){cout << str << endl;}
};
class WARNN :public WARN
{private:
string str;
public:
WARNN(string str): WARN(str){ this->str = str; }
~WARNN(){cout << "WARNN析构"<<endl;}
virtual void what() { cout << str + "!" << endl; }
};
int main()
{
try {throw WARNN("异常");}
catch (WARNN &WNN)
{
WARN WN = WNN;
WARN &W1 = WN;
WARN &W2 = WNN;
W2.what();}
catch (WARN& WN)
{WN.what();}
}
01.创建派生类对象时,先创建基类对象,若派生类构造函数没有初始化其基类部分,相当于调用基类默认构造函数(当基类没有默认构造函数时,必须在派生类构造函数中初始化其基类部分)(从构造函数角度看,WARN(str)和string str="\0"选其一即可,WARN(str)是为了使用虚函数).
02.析构派生类对象时,先析构其派生类部分。
03.基类引用可以指向基类对象和派生类对象,即WARN&WN可指向WARN对象或者WARNN对象,若把catch(WARN& WN)放在catch(WARNN&WNN)前面,则不会调用派生类异常类。
04.
只有派生类的对象可以赋值给基类的对象,反之,则不可以。这是因为基类对象a的成员比派生类对象b的成员少。所以基类对象赋值给派生类对象时会出错。例如:
Father a ; // 基类对象
Son b ; // 派生类对象
a = b ; // 可以
b = a ; // 不可以
基类的指针可以指向派生类对象,但是反过来则不行,派生类的指针不可以指向基类的指针。这是为什么呢?这是因为派生类的对象所占的存储空间通常要比基类的对象大,原因就是派生类除了继承基类的成员之外,还拥有自己的成员,所以基类的指针操作派生类的对象时,由于基类指针会向操作基类对象那样操作派生类对象,而基类对象所占用的内存空间通常小于派生类对象,所以基类指针不会超出派生类对象去操作数据。
同样的道理,基类的引用可以作为派生类对象的别名,但是反过来则不行,派生类的引用不可以作为基类对象的别名。例如:
Father a ; // 基类对象
Son b ; // 派生类对象
Father *pa = &b ; // 可以
Son *pb = &a ; // 不可以
Father a ; // 基类对象
Son b ; // 派生类对象
Father &f = b ; // 可以
Son &s = a ; // 不可以
04.在catch(WARNN&WNN)中测试了虚函数:
派生类对象能给基类对象赋值,是将派生类对象中的基类部分一一对应赋给基类对象,若无: WARN(str)则其中的基类部分的str为‘\0’。
W2.what();通过引用调用函数,编译器只看到w2是基类引用是不够的,要看前文中w2引用的是什么类型的对象才能确定调用什么类型的方法,这是多态性中的动态联编。
首先析构catch中临时创建的基类对象,这个过程在catch结束时发生。
然后析构throw丢出的派生类对象的派生类部分。
最后析构trhow丢出的派生类对象的基类部分。
#include<iostream>
#include<vector>
using namespace std;
class big
{
public:
bool operator()(int a)
{
return a > 5;
}
};
int main()
{
big big5;
vector<int> v;
v.push_back(1);
v.push_back(3);
v.push_back(6);
vector<int>::iterator it= find_if(v.begin(), v.end(), big5);
cout << *it;
}
vector::iterator it= find_if(v.begin(), v.end(), big5);与
vector::iterator it= find_if(v.begin(), v.end(), big());等效
find_if()的第三个参数是谓词的函数名,谓词即返回值为bool类型的函数,big的()是来建立了一个匿名对象。