1.类的6个默认成员函数
如果一个类中什么成员都没有,简称为空类(空类大小为1)。
空类中真的什么都没有吗?并不是,任何类在什么都不写时,编译器会自动生成以下6个默认成员函数。
默认成员函数:用户没有显式实现,编译器会生成的成员函数称为默认成员函数。
class Date {};
2. 构造函数
构造函数是用于初始化对象的特殊成员函数。虽然名称为“构造”,但它的主要任务是初始化对象的成员变量,而不是为对象分配内存。构造函数的使用对于确保对象在创建时处于有效状态至关重要。
2.1 函数名与类名相同
构造函数的名字必须与类名相同。这是C++的语法要求
解释:构造函数的名字与类名相同,使得编译器能够识别它是用于初始化对象的函数,而不是普通的成员函数。
示例:
class MyClass {
public:
MyClass() { /* 构造函数体 */ }
}
2.2 无返回值
构造函数没有返回值,甚至不能声明void。这是C++语言规定的,构造函数的唯一目的是初始化对象,因此不需要返回任何值。
解释:构造函数的任务是初始化对象,而不是返回数据。返回值的存在会违背构造函数的设计目的。
示例:
class MyClass {
public:MyClass() { /* 构造函数体,无返回值 */ }
};
2.3 对象实例化时系统会自动调用
构造函数在对象实例化时自动调用。开发者不需要显式调用构造函数,编译器会在对象创建时自动执行它。
解释:构造函数的自动调用确保了对象在创建时立即处于有效状态。无论对象是作为局部变量、全局变量还是动态分配的变量,构造函数都会在创建时运行。
示例:
MyClass obj; // 调用构造函数
2.4 构造函数可以重载
构造函数可以重载,即同一个类中可以有多个构造函数,它们的参数列表必须不同。这允许对象在创建时根据不同的需求进行不同的初始化。
解释:通过构造函数的重载,可以灵活地初始化对象。例如,一个类可以有无参构造函数和带参构造函数,以满足不同的初始化需求。
示例:
class MyClass {
public:
MyClass() { /* 无参构造函数 */ }
MyClass(int x) { /* 带参构造函数 */ }
};
2.5 默认构造函数的生成规则
如果类中没有显式定义构造函数,编译器会自动生成一个无参的默认构造函数。但一旦用户定义了任何构造函数,编译器就不再生成默认构造函数。
解释:默认构造函数提供了一个基本的初始化方式。如果用户定义了其他形式的构造函数(如带参数的),编译器认为用户不再需要默认构造函数,因此不会自动生成。
示例:
class MyClass {
// 没有显式定义构造函数,编译器会生成默认的无参构造函数
};
MyClass obj; // 调用默认构造函数
2.6 无参构造函数与全缺省构造函数的关系
无参构造函数、全缺省构造函数、默认生成的构造函数不能同时存在。如果定义了无参构造函数或全缺省构造函数,编译器将不会再生成默认构造函数。
解释:这三种构造函数提供了相似的功能,即初始化对象而不需要显式提供参数。为了避免冲突,它们只能存在其中之一。
示例:
class MyClass {
public:
MyClass() { /* 无参构造函数 */ }
// MyClass(int x = 0) { /* 全缺省构造函数,不能与无参构造函数同时存在 */ }
};
注意:无参构造函数、全缺省构造函数、编译器自动默认生成的构造函数全都叫默认构造函数!!!总结来说,可以不传参的就是默认构造函数,这三个不能同时存在,但是默认构造函数可以和带参的构造函数同时存在(即上文所说的函数重载),例如半缺省、没有缺省值等的普通构造函数。
#include <iostream>
using namespace std;class MyClass {
public:// 全缺省构造函数,即默认构造函数MyClass(int x = 10, int y = 20) {cout << "Called MyClass(int x = 10, int y = 20)" << endl;cout << "x = " << x << ", y = " << y << endl;}// 普通带参构造函数(没有缺省值)MyClass(double z) {cout << "Called MyClass(double z)" << endl;cout << "z = " << z << endl;}
};
int main() {MyClass obj1; // 调用全缺省构造函数MyClass obj2(100); // 调用全缺省构造函数,因为100是int类型MyClass obj3(3.14); // 调用普通的带参构造函数return 0;
}
2.7 内置类型与自定义类型成员变量的初始化
如果是编译器自动生成的默认构造函数对内置类型成员变量的初始化没有要求,其值不确定。对于自定义类型的成员变量,编译器会调用它们的默认构造函数进行初始化。
解释:内置类型(如int、char)的成员变量如果没有显式初始化,其值可能是未定义的。自定义类型的成员变量则必须通过其默认构造函数初始化。
示例:(这里是初始化列表,在这个系列的之后博客会讲到)
class MyClass {
public:
MyClass() : _value(0) { /* 初始化内置类型成员变量 */ }
private:
int _value;
std::string _name;// 自动调用std::string的默认构造函数
}:
示例代码梳理
以下是展示上述特点的详细代码示例:
这里只是为了方便写的示例哈,如前文所述,无参和全缺省的默认构造函数只能存在一种
#include<iostream>
using namespace std;class Date {
public:// 1. 无参构造函数Date() {_year = 1;_month = 1;_day = 1;}// 2. 带参构造函数Date(int year, int month, int day) {_year = year;_month = month;_day = day;}// 3. 全缺省构造函数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;// 调用带参构造函数Date d2(2025, 1, 1);// 调用全缺省构造函数Date d3;d1.Print();d2.Print();return 0;
}
通过这个详细的解析和示例代码,我们可以清晰地理解C++类的默认成员函数和构造函数的特点及其作用。这样,开发者可以根据具体需求灵活地使用和自定义这些函数,以便更好地控制对象的生命周期和资源管理。
3. 析构函数
析构函数是与构造函数功能相反的一个函数,它用于在对象生命周期结束时释放资源。C++中规定,析构函数会在对象销毁时自动调用,以完成对象中资源的清理工作。这一特性使得C++能够有效地管理内存和其他资源,防止资源泄漏。
3.1 析构函数名
析构函数的名称是类名的前面加上一个“~”符号,这是C++语法中的规定。它用于明确表示该函数是析构函数。
解释:析构函数的名字与类名相同,但在前面加上“~”符号,这使得编译器能够识别这是一个析构函数.
示例:
class MyClass {
public:
~MyClass() {
// 析构函数体
}
};
3.2无参数无返回值
析构函数不接受任何参数,也没有返回值。它的唯一任务是清理对象的资源。
解释:由于析构函数是系统自动调用的,因此它不能有参数,也不需要返回任何值.
示例:
class MyClass {
public:
~MyClass() {
// 无参数,无返回值
}
};
3.3一个类只能有一个析构函数
每个类只能定义一个析构函数。如果类中没有显式定义析构函数,系统会自动生成一个默认的析构函数。
解释:C++规定,一个类只能有一个析构函数,因为一个对象只能在生命周期结束时被销毁一次。
示例:
class MyClass {
public:
~MyClass() {
// 只能有一个析构函数
}
};
3.4 自动调用析构函数
当一个对象的生命周期结束(如对象超出作用域或显式删除对象)时,系统会自动调用析构函数来清理资源。
解释:析构函数的自动调用确保了对象在被销毁时可以正确地释放资源,防止资源泄漏。
示例:
class MyClass {
public:
~MyClass() {
cout << "Object is being destroyed" << endl;
}
};int main() {
MyClass obj; // 当obj超出作用域时,系统会自动调用析构函数
return 0;
}
3.5 析构函数对内置类型成员
如果类中没有显式定义析构函数,编译器会自动生成一个默认析构函数。这个默认析构函数对内置类型的成员变量不做任何处理。
解释:对于内置类型(如int、char等),默认析构函数不需要释放资源。但对于自定义类型的成员,编译器生成的析构函数会调用这些成员的析构函数。
示例:
class MyClass {
private:
int _value;
public:
// 编译器自动生成的析构函数对内置类型不做处理
};
3.6 显式写析构函数情况
如果显式定义了析构函数,对于自定义类型的成员变量,它们的析构函数也会被自动调用。
解释:当显式定义析构函数时,C++确保所有自定义类型的成员都会在对象销毁时调用其析构函数,正确地释放资源。
示例:
class MyClass {
private:
std::string _name; // 自定义类型成员
public:
~MyClass() {
// 自定义类型的成员变量会自动调用其析构函数
}
};
3.7 析构函数可以不写的情况
如果类中没有动态分配的资源或其他需要手动释放的资源,可以不显式定义析构函数,使用编译器生成的默认析构函数。
解释:对于没有动态资源的类,编译器生成的析构函数已经足够使用,不需要额外的析构逻辑。
示例:
class MyClass {
private:
int _value; // 没有动态资源,编译器生成的析构函数已足够
};
3.8局部析构顺序
在一个局部作用域内定义的多个对象,C++规定后定义的对象会先调用析构函数。
解释:这一规则确保了对象按照“后进先出”的顺序销毁,符合栈的逻辑。
示例:
class MyClass {
public:
~MyClass() {
cout << "Destructor called" << endl;
}
};int main() {
MyClass obj1;
MyClass obj2;
// obj2会在obj1之前被销毁
return 0;
}
示例代码梳理
以下是完整展示上述析构函数特点的详细代码示例:
#include<iostream>
using namespace std;typedef int STDataType;class Stack {
public:Stack(int n = 4) {_a = (STDataType*)malloc(sizeof(STDataType) * n);if (_a == nullptr) {perror("malloc申请空间失败");return;}_capacity = n;_top = 0;}~Stack() { // 自定义析构函数,释放动态分配的内存cout << "~Stack()" << endl;free(_a);_a = nullptr;_top = _capacity = 0;}private:STDataType* _a;size_t _capacity;size_t _top;
};// 两个Stack实现队列
class MyQueue {
public:MyQueue() : pushst(), popst() {}// 默认析构函数自动调用两个Stack成员的析构函数// 显式定义的析构函数,也会自动调用Stack成员的析构函数/*~MyQueue() {}*/private:Stack pushst;Stack popst;
};int main() {Stack st;MyQueue mq; // MyQueue的析构函数会自动调用pushst和popst的析构函数return 0;
}
4. 拷贝构造函数
拷贝构造函数是一种特殊的构造函数,它用于通过已有对象来创建一个新的对象。在C++中,如果构造函数的第一个参数是自身类类型的引用,并且任何额外的参数都有默认值,那么这个构造函数就是拷贝构造函数。
4.1拷贝构造函数是构造函数的一个重载
拷贝构造函数实际上是构造函数的一种重载形式,它与普通构造函数的区别在于其参数类型和目的。解释:拷贝构造函数的定义方式与普通构造函数类似,但它的第一个参数必须是同类对象的引用,用于创建新对象时进行对象的复制。
示例:
class MyClass {
public:
MyClass(int value) {
_value = value;
} { } // 普通构造函数MyClass(const MyClass& other) { // 拷贝构造函数
_value = other._value;
}private:
int _value;
};
4.2拷贝构造函数的第一个参数必须是类类型对象的引用
拷贝构造函数的第一个参数必须是类类型的引用,不能是传值,因为传值会导致编译器不断调用拷贝构造函数,最终引发无限递归,导致编译错误。解释:通过引用传递对象可以避免不必要的拷贝操作,并且能够直接访问原对象的内容。这种设计是为了防止调用拷贝构造函数时再次触发拷贝,从而引发无限递归。
示例:
class MyClass {
public:MyClass(const MyClass& other) { // 正确:使用引用作为参数_value = other._value;}// MyClass(MyClass other) { // 错误:传值会导致无限递归// _value = other._value;// }private:int _value;
};
4.3. 调用拷贝构造函数
在C++中,当自定义类型对象需要被拷贝时(如传值传参或返回对象时),系统会自动调用拷贝构造函数。这是C++管理对象生命周期的一个基本机制。
解释:无论是通过值传递一个对象,还是从函数中返回一个对象,C++都会调用拷贝构造函数来创建新的对象副本。这确保了对象能够被正确地拷贝和初始化。
示例:
void Func(MyClass obj) {// 传值调用,自动调用拷贝构造函数
}MyClass ReturnObject() {MyClass temp(10);return temp; // 返回对象时,自动调用拷贝构造函数
}int main() {MyClass obj1(10);MyClass obj2 = obj1; // 调用拷贝构造函数Func(obj1); // 调用拷贝构造函数MyClass obj3 = ReturnObject(); // 调用拷贝构造函数return 0;
}
4.4. 编译器会自动生成拷贝构造函数
如果类中没有显式定义拷贝构造函数,编译器会自动生成一个默认的拷贝构造函数。这个默认的拷贝构造函数会对内置类型成员变量进行浅拷贝,对自定义类型成员变量调用它们的拷贝构造函数。
解释:编译器生成的默认拷贝构造函数能够满足大部分情况下的需求,尤其是对于没有指针成员或动态资源的类。然而,对于涉及动态分配的资源,浅拷贝不合适,需要自定义拷贝构造函数来实现深拷贝。(如下会讲)
示例:
class SimpleClass {
public:
int _value;// 未显式定义拷贝构造函数,编译器会生成默认的拷贝构造函数
};int main() {
SimpleClass obj1;
obj1._value = 42;
SimpleClass obj2 = obj1; // 自动生成的拷贝构造函数
return 0;
}
4.5. 编译器自动生成的拷贝构造函数
如果类成员全部是内置类型(如int、char),编译器自动生成的拷贝构造函数可以完成所需的拷贝,无需显式定义。然而,如果类成员包含指针或动态资源,编译器生成的浅拷贝可能不合适,需要自定义实现深拷贝。
解释:浅拷贝只会复制指针的地址,而不会复制指针所指向的数据。这在动态内存管理中可能导致多个对象共享同一块内存,从而引发资源释放时的冲突。因此,对于涉及动态内存的类,通常需要自定义深拷贝构造函数。
示例:
class Stack {
public:Stack(int size) {_data = new int[size];_size = size;}// 自定义拷贝构造函数,实现深拷贝Stack(const Stack& other) {_data = new int[other._size];//之后在内存管理会讲到_size = other._size;for (int i = 0; i < _size; ++i) {_data[i] = other._data[i];}}~Stack() {delete[] _data; // 析构函数释放资源}private:int* _data;int _size;
};
4.6 拷贝构造函数在传值返回时的行为
当通过传值返回一个对象时,会产生一个临时对象,系统会调用拷贝构造函数来完成对象的复制。然而,传引用返回不会调用拷贝构造函数,而是返回对象的引用。
解释:在C++中,通过值返回对象时,编译器会调用拷贝构造函数来创建返回值的副本。如果通过引用返回对象,则没有拷贝发生。然而,引用返回需要确保返回的对象在函数结束后仍然存在,否则会导致悬空引用。
示例:
MyClass ReturnByValue() {MyClass temp(10);return temp; // 调用拷贝构造函数,返回对象副本
}MyClass& ReturnByReference() {static MyClass temp(10); // 使用static,确保返回的引用有效return temp; // 返回引用,不调用拷贝构造函数
}int main() {MyClass obj1 = ReturnByValue(); // 调用拷贝构造函数MyClass& obj2 = ReturnByReference(); // 不调用拷贝构造函数return 0;
}
示例代码梳理
以下是展示上述拷贝构造函数特点的详细代码示例:#include<iostream>
using namespace std;class Date {
public:Date(int year = 1, int month = 1, int day = 1): _year(year), _month(month), _day(day) {}// 自定义拷贝构造函数Date(const Date& d) {_year = d._year;_month = d._month;_day = d._day;}void Print() const {cout << _year << "-" << _month << "-" << _day << endl;}private:int _year;int _month;int _day;
};void Func1(Date d) {d.Print();
}Date Func2() {Date tmp(2024, 7, 5);return tmp; // 返回值传递,调用拷贝构造函数
}int main() {Date d1(2024, 7, 5);Func1(d1); // 传值传参,调用拷贝构造函数Date d2(d1); // 显式调用拷贝构造函数d2.Print();Date d3 = d1; // 另一种形式的拷贝构造d3.Print();Date ret = Func2(); // 调用拷贝构造函数ret.Print();return 0;
}
通过这些代码示例和解释,我们可以深入理解C++中拷贝构造函数的特性及其应用场景。这些知识点对编写高效、安全的C++代码至关重要,特别是在处理自定义类型和动态资源时,掌握拷贝构造函数的用法可以有效防止潜在的错误和资源泄漏。