之前结束了类与对象:今天进行下面部分内容的学习
具体说明:
下面根据具体代码来看:
int globalVar = 1;//全局变量,在静态区 static int staticGlobalVar = 1;//全局静态变量,在静态区 int main() { static int staticVar = 1;//局部静态变量,在静态区。作用域只在这个函数内,但是生命周期是在整个程序 int localVar = 1;//局部变量,在栈 int num1[10] = { 1, 2, 3, 4 };//局部变量,在栈 char char2[] = "abcd"; //局部变量,在栈。 //其实[]这个符号:是把位于常量区的"abcd",拷贝到栈上,再去指向 const char* pChar3 = "abcd";//pChar3在栈上,但是是直接指向常量区的"abcd"。所以*pChar3在常量区 int* ptr1 = (int*)malloc(sizeof(int) * 4);//ptr1这个指针变量还是在栈,但是*ptr1是在堆上 int* ptr2 = (int*)calloc(4, sizeof(int)); int* ptr3 = (int*)realloc(ptr2, sizeof(int) * 4); free(ptr1); free(ptr3); return 0; }
那全局变量和全局静态变量的区别是??
全局变量具有外部链接性,可以被其他文件中的函数访问。
静态全局变量具有内部链接性,只能被声明它的文件内的函数访问(本文件)
异同点:
更加详细的介绍大家可以移步于我的文章:
C语言内存管理方式在C++中可以继续使用,但有些地方就无能为力(特别是关于自定义变量),因此C++又提出了自己的内存管理方式:通过new和delete操作符进行动态内存管理
在C++中,new和delete是用于动态内存管理的运算符,它们提供了对malloc、calloc、realloc和free等C语言内存管理函数的更高级的封装和功能。
与C语言中的malloc和free相比,new和delete的优势在于:
直接上代码:
int main() { // 动态申请一个int类型的空间 int* a = new int; // 动态申请一个int类型的空间并初始化为11 int* b = new int(11); // 动态申请3个int类型的空间 int* c = new int[3]; // 动态申请10个int类型的空间,并进行部分初始化 int* d = new int[10]{ 1,2,3 }; delete a; delete b; delete[] c; delete[] d; return 0; }
内置类型的对象申请释放,new和malloc除了用法上,没有区别
但是malloc不方便解决动态申请的自定义类型对象的初始化问题,不会调用构造函数
class A { public: A(int a=0) :_a(a) {} ~A() { cout << "调用了~A()" << endl; } private: int _a; }; int main() { //动态申请一个A类型的空间 A* pa1 = new A(1); //动态申请3个A类型的空间 A a1; A a2; A a3; A* pa2 = new A[3]{ a1, a2, a3 }; //可以直接写成以下两种 A* pa3 = new A[3]{ A(1), A(2), A(3) };//匿名对象 //再少点 A* pa4 = new A[3]{ 1,2 ,3 };//隐式类型转换,有单形参的构造函数支持 delete pa1; delete[] pa2; delete[] pa3; return 0; }
new的本质:开空间+调用构造函数初始化
delete的本质:析构函数+释放空间
new和delete是用户进行动态内存申请和释放的操作符,operator new 和operator delete是系统提供的全局函数,new在底层调用operator new全局函数来申请空间,delete在底层通过operator delete全局函数来释放空间
大家注意啊,这两个函数不是重载,只是祖师爷把他们命名为这个,他们是全局函数。
void* __CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc) { void* p; while ((p = malloc(size)) == 0) if (_callnewh(size) == 0) { static const std::bad_alloc nomem; _RAISE(nomem); } return (p); } void operator delete(void* pUserData) { _CrtMemBlockHeader* pHead; RTCCALLBACK(_RTC_Free_hook, (pUserData, 0)); if (pUserData == NULL) return; _mlock(_HEAP_LOCK); __TRY pHead = pHdr(pUserData); _ASSERTE(_BLOCK_TYPE_IS_VALID(pHead->nBlockUse)); _free_dbg(pUserData, pHead->nBlockUse); __FINALLY _munlock(_HEAP_LOCK); __END_TRY_FINALLY return; }
看到:其实operator new 实际也是通过malloc来申请空间。operator delete 最终是通过free来释放空间的
二者其实就是对malloc和free进行了封装,加上了抛出异常的修饰
如果申请的是内置类型的空间,new和malloc,delete和free基本类似,不同的地方是:
new/delete申请和释放的是单个元素的空间,new[]和delete[]申请的是连续空间,而且new在申请空间失败时会抛异常,malloc会返回NULL。
- new的原理
- 调用operator new(跟malloc效果一样)函数申请空间
- 在申请的空间上执行构造函数,完成对象的构造
- delete的原理
- 在空间上执行析构函数,完成对象中资源的清理工作(先调用析构函数,释放成员变量申请的空间,不然会找不到)
- 调用operator delete函数释放对象的空间
- new TYPENAME[N]的原理
- 调用operator new[]函数,在operator new[]中实际调用operator new函数完成N个对象空间的申请(一次性申请)
- 在申请的空间上执行N次构造函数
- delete[]的原理
- 在释放的对象空间上执行N次析构函数,完成N个对象中资源的清理
- 调用operator delete[]释放空间,实际在operator delete[]中调用operator delete来释放空间
但是要注意一件事:
class Stack { public: Stack(int capacity = 3) { cout << "调用了构造函数" << endl; _a = new int[capacity]; _top = 0; _capacity = capacity; } ~Stack() { cout << "~Stack()" << endl; delete _a; _a = nullptr; _top = -1; _capacity = 0; } private: int* _a; int _top; int _capacity; }; int main() { Stack* a1 = new Stack[10]; cout << sizeof(*a1); delete[] a1; return 0; }
实际上开了124个字节,大家回想怎么会多4个呢?不是 10 ∗ 12 10*12 10∗12吗?
那四个字节来储蓄申请了几个对象,这里就是10
定位new表达式是在已分配的原始内存空间中调用构造函数初始化一个对象。
使用格式:
new (place_address) type或者new (place_address) type(initializer-list)
place_address必须是一个指针,initializer-list是类型的初始化列表
使用场景:
定位new表达式在实际中一般是配合内存池使用。因为内存池分配出的内存没有初始化,所以如果是自定义类型的对象,需要使用new的定义表达式进行显示调构造函数进行初始化
class Stack { public: Stack(int capacity = 3) { cout << "调用了构造函数" << endl; _a = new int[capacity]; _top = 0; _capacity = capacity; } ~Stack() { cout << "~Stack()" << endl; delete _a; _a = nullptr; _top = -1; _capacity = 0; } private: int* _a; int _top; int _capacity; }; int main() { Stack* s1 = (Stack*)operator new(sizeof(Stack)); //都知道构造函数不能显示调用 //s1->Stack(); //但是可以使用定位new显示调用构造函数 new(s1)Stack(2); //但是析构函数可以 s1->~Stack(); operator delete (s1); return 0; }
malloc/free和new/delete的共同点是:都是从堆上申请空间,并且需要用户手动释放。不同的地
方是:
前5条是用法上面的区别
最后一条是原理上的区别
这次内容就到这里啦,下次会带来模版相关的知识,感谢大家支持!!!