1.类的默认成员函数
默认成员函数就是用户没有显示实现编译器会自动生成的成员函数称为默认成员函数。一个类,我们在不写的情况下编译器会默认生成6个默认成员函数,分别是构造函数,析构函数,拷贝构造函数,拷贝赋值运算符重载和取地址运算符重载。
1.1构造函数
构造函数在C++中是一中特殊的成员函数,需要特别注意的是构造函数虽然名称叫构造,但是它主要任务并不是开空间创建对象而是在创建对象时初始化对象。构造函数具有以下几个关键特点:
1.构造函数的名称必须与类名完全相同(包括大小写)
2.无返回值(包括void)
3.构造函数可以重载
4.如果类中没有定义构造函数,则C++编译器会自动生成一个无参的默认构造函数,一旦用户显式定义编译器将不再生成。
5.无参构造函数、全缺省构造函数、我们不写构造是编译器默认生成的构造函数都叫做默认构造函数。但是这三个函数有且只有一个存在,不能同时存在。无参构造函数和全缺省构造函数虽然构成函数重载,但是调用时会存在歧义。要注意默认构造函数不只是编译器默认生成的那个构造函数,实际是上无参构造函全缺省构造函数也是默认构造函数。总而言之就是不传参就可以调用的勾走函数就叫默认构造函数。
6.我们不写编译器默认生成的构造,对内置类型成员变量的初始化没有要求,也就是说内置类型成员变量的初始化是不确定的,看编译器。对于自定义类型的成员变量,要求调用这个成员变量都默认构造函数初始化。如果这个成员变量没有默认构造函数,那么就会报错,我们要初始化这个成员变量需要用初始化列表才能解决,初始化列表我们以后会讲解。
微提示:C++把类型分为内置类型和自定义类型。内置类型就是语言提供的原生数据类型,如:int/char/double等,自定义类型就是我们使用class/struct等关键字字节定义的类型。
class date
{
public:
//无参构造函数
date()
{
_year = 1;
_month = 1;
_day = 1;
}
//带参构造函数
date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
void print()
{
cout << _year << "/" << _month << "/" << _day << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
date d1;
d1.print();
return 0;
}
微提示:在上述代码中类date 定义了一个对象d1并自动调用了无参构造函数
class date
{
public:
//无参构造函数
date()
{
_year = 1;
_month = 1;
_day = 1;
}
//带参构造函数
date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
void print()
{
cout << _year << "/" << _month << "/" << _day << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
date d1();
d1.print();
return 0;
}
微提示:当我们在使用无参构造函数时,在定义对象时我们不可以在在对象后面加上括号
class Date
{
public:
//带参构造函数
Date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
void Print()
{
cout << _year << "/" << _month << "/" << _day << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1;
d1.Print();
return 0;
}
解析:在这个代码中我们使用的是带参数的构造函数但是在编译时编译器报错了,
错误为 “Date”: 没有合适的默认构造函数可用
这说明了带参数的构造函数不是默认构造函数
class date
{
public:
//无参构造函数
date()
{
_year = 1;
_month = 1;
_day = 1;
}
//带参构造函数
date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
void print()
{
cout << _year << "/" << _month << "/" << _day << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
date d1;
d1.print();
date d2(2024, 7, 24);//调用带参构造函数
d2.print();
return 0;
}
微提示:带参构造函数的调用值需要再定义对象的时候同时传参就行了
由于构造函数可以重载,所以我们可以定义一个全缺省构造函数,如下例:
class date
{
public:
//无参构造函数
date()
{
_year = 1;
_month = 1;
_day = 1;
}
//带参构造函数
date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
//全缺省函数
date(int year = 1, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
void print()
{
cout << _year << "/" << _month << "/" << _day << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
date d1;
d1.print();
date d2(2024, 7, 24);
d2.print();
date d3(2024);
d3.print();
return 0;
}
微提示:由于无参构造函数和全缺省构造函数是重载函数,所以两者不能同时出现否者会出现调用歧义,编译器不种地调用哪一个构造函数。
class date
{
public:
//全缺省函数
date(int year = 1, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
void print()
{
cout << _year << "/" << _month << "/" << _day << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
date d3(2024);
d3.print();
return 0;
}
微提示:全缺省函数函数如果给了实参就使用实参,否者使用默认参数。我们在定义时值给了实参2024,所以打印的结果就是年是实参,其他参数是默认参数
2.析构函数
析构函数和构造函数的功能相反,析构函数不是完成堆对象本身的销毁C++规定对象在销毁时会自动调用析构函数完成堆对象中资源的清理释放工作。
析构函数的特点:
1.析构函数的名称由波浪号(~)后跟类名组成
2无参数无返回类型。
析构函数不接受任何类型,也不能被重载,没有任何任何类型,甚至连void都不写
3.每个类都只有一个析构函数。如果尝试为类定义多个析构函数编译器会报错
4.若未显示定义,编译器会自动生成默认的析构函数
5.跟构造函数类似,我们不写编译器自动生成的析构函数对内置类型成员不做处理,自定义类型成员会调用他的析构函数
6.我们显示写的析构函数,对于自定义类型成员也会调用他的析构,也就是说自定义类型成员无论什么情况下都会自动调用析构函数
7.如果类中没有申请资源是,析构函数可以不写,直接使用编译器生成的默认析构函数;如果默认生成的析构就可以用也就不需要显示写析构;但是由资源申请时,一定要自己写析构,否者会造成资源泄露。
class Date
{
public:
int year;
int month;
int day;
//构造函数
Date(int y, int m, int d)
{
y = year;
m = month;
d = day;
}
//析构函数
~Date()
{
//在这个例子中,析构函数不执行任何操作
//因为Date类不包含需要手动清理的资源
}
};
微提示:在这个代码中我们没有动态的申请空间(如使用malloc等)来开辟空间所以我们可以不写析构函数
3.拷贝构造函数
如果一个构造函数的第一个参数是自身类型的引用而且任何额外的参数都有默认值,则该构造函数也叫做拷贝构造函数,也就是说拷贝构造是一个特殊的构造函数。
拷贝构造的特点:
- 拷贝构造函数是构造函数的一个重载。
- 拷贝构造函数的参数第一个参数是类类型对象的引用,使用传值调用编译器直接报错,因为语法逻辑上会引发无穷递归调用。
- C++规定自定义类型对象进行拷贝行为必须调用拷贝构造,所以这里自定义类型传值传参和传值返回都会调用拷贝构造完成。
- 若为显式定义拷贝构造,编译器会自动生成拷贝构造函数。自动生成的拷贝构造对内置类型成员变量会完成浅拷贝(一个字节一个字节的拷贝),对自定义类型成员变量会调用他的拷贝构造。
- 传值返回会产生一个临时对象调用拷贝构造,传值引用返回,返回的是返回对象的别名(引用),没有产生拷贝。但是如果返回对象是一个当前函数局部域的局部对象,函数结束就销毁了