1. 拷贝构造函数
功能:可以让一个对象给另一个对象进行初始化,将该对象的内容拷贝过去。不写时编译器会自动生成一个默认的拷贝构造函数,默认的拷贝构造函数会将源对象的内容按字节拷贝到新对象。
例子:
Rect::Rect(const Rect& r)
{
width = r.width;
height = r.height;
}
浅拷贝和深拷贝
浅拷贝:
class TestClass {
string *s;
public:
TestClass(const TestClass& other);
};
TestClass::TestClass(const TestClass& other) {
s = other.s;
}
经过浅拷贝之后,两个对象中的s都会指向同一块空间,一个对象对其进行修改,会影响到另一个对象,且它们在析构的时候容易产生二次删除的错误。
深拷贝:
class TestClass {
string *s;
public:
TestClass(const TestClass& other);
};
TestClass::TestClass(const TestClass& other) {
s = new string(*other.s);
}
经过深拷贝之后,两个对象中的s指向的是两块不同的空间,它们的内容是相同的,但是互不影响。
2. 赋值函数
功能:在使用赋值运算符将一个对象赋值给另一个对象的时候会被调用。编译器的默认实现也是按字节拷贝。
与拷贝构造注意区分:
TestClass a;
TestClass b = a; // 拷贝构造
TestClass c;
c = a; // 赋值
在赋值函数中,需要判断自身是否与赋值源是否是同一个对象:
TestClass& operator=(const TestClass& other) {
if (this == &other) {
return *this;
}
delete s;
s = new string(*other.s);
return *this;
}
如果不加这层判断,将自己赋值给自己的时候容易出错,因为在执行delete s时,会将自身的s释放,之后再进行s = new string(*other.s)时就会出错,因为此时other.s其实就是自身的s。
3. 析构函数
功能:在一个对象要被销毁的时候会被调用。在析构函数中一般进行资源的清理和释放等等。
例子:
TestClass::~TestClass() {
delete s;
}
4. 堆与栈
函数中的局部变量,都在栈上创建,储存在栈上,当离开函数的作用域时,栈空间会被回收,栈上的对象也都会被销毁。而动态分配出来的内存,都会存放在堆空间中,不会被自动回收,需要手动进行回收。
int main() {
int a; // 栈上
int *c = new int(1); // 堆上
delete c; // 进行手动空间回收
return 0;
}
5. 模板
功能:使类或者函数可以应对于多种类型的情况。
例子:
template<typename T, int N>
class Container {
T data[N];
};
Container<int, 10> a;
Container<double, 20> b;
这样Container这个类就可以灵活存储各种类型的元素。
template<typename T>
const T& max(const T& a, const T& b) {
return a < b ? b : a;
}
max(1, 2);
max(1.0, 2.0);
这样max函数就可以灵活应对于不同的类型。