C++内存分布
内存分布
典型的C/C++内存表示有以下几部分构成
- Text segment,存放代码段和只读常量的区域
- Initialized data segment,通常叫做数据段,已经初始化的静态变量和全局变量存放的区域,如static int i = 5、全局变量int j = 10都存放在数据段
- Uninitialized data segment(bss),未初始化的静态变量或者全局变量存放在bss(Block Started by Symbol)段,并且用0进行初始化。
- Heap,动态内存分配时数据存放的位置
- Stack,栈顶指针方向从自顶向下,与堆的方向相反,
参考:https://www.geeksforgeeks.org/memory-layout-of-c-program/
存储持续性、作用域、链接性
这里引入3个概念:
- 存储持续性(storage duration)
- 作用域(scope)
- 链接性(linkage)
存储持续性
存储持续性就是数据保存在内存中的时间,C++11中有四种方案来存储数据。
- 自动存储持续性,在函数定义中声明的变量(包括函数参数)的存储持续性为自动的。这些变量在函数或代码段开始时创建,执行完函数或代码块时,它们的内存被释放。
- 静态存储持续性,被static修饰的变量其内存在所有程序结束时才释放。
- 线程存储持续性(C++11增加),如果变量是使用关键字thread_local 声明的,则其生命周期与所属的线程一样长。
- 动态存储持续性,使用new运算符分配的内存一直存在,直到使用delete运算符将其释放或是程序结束。这种方式分配的内存,有时将其称为自由存储区或者是堆。
作用域、链接性
作用域即变量所作用的范围
链接性是指变量与其他单元如何实现共享
c++有5种变量存储方式:
在声明变量中有存储说明符(storage class specifier)或CV-限定符(cv-qualifier)。
存储说明符:
- auto(C++11 表示自动类型判断)
- register(C+11 指出变量是自动的)
- static,变量不在任何函数中声明时链接性表示为内部链接性(即可以被文件内的所有单元访问),在某个函数中使用static声明时无链接性
- extern,其他文件访问某个文件中的某个变量必须使用extern来引用声明(reference declaration)
- thread_local(C++11新增)
- mutable,用它来指出,即使结构(或类)变量为const,其某个成员也可以被修改。
CV-限定符:
-
const,它表明,内存被初始化后,程序便不能再对它进行修改
-
volatile(不常用),关键字 volatile 表明,即使程序代码没有对内存单元进行修改,其值也可能发生变化
#include <stdio.h>
int g; //全局变量,对应第四种存储方式
static int s_g = 5; //对应第五种存储方式
const int fingers = 10; //与static int finger = 10,一样其链接性表现为内部
extern const int f; //引用声明其他文件的变量f
void fun()
{
int i = 5; //局部变量,对应第一种存储方式
register int m = 0; //对应第二种存储方式
static int j = 0; //静态局部变量,对应第三种存储方式
....
}
int main() { ... }
动态内存分配
C++使用new关键字进行动态内存分配(dynamic memory allocation),这一部分内存单元称为堆(heap)或是自由存储区(free storage)。new关键字有两种使用方法,一是常规new运算符,二是定位(placement)new运算符。定位new运算符是在指定进行内存的分配,常规new运算符则是在堆分配内存,举个例子:
#include <iostream>
#include <new> //使用new运算的特性,需要引进该文件
#include <cstring> //使用strcpy
struct chaff
{
char dross[20];
int slag;
};
const int size = 256;
char buff[size]; //缓冲区
int main()
{
const int N = 2;
//定位new运算符:指定内存单元位置
chaff *cf1 = new (buff) chaff[2]; //在buff缓冲区分配单元给cf1指针
//常规new运算符:在堆中分配内存单元
chaff *cf2 = new chaff[2]; //常规方法在堆开辟单元
char ds1[][20] = { "dross1", "dross2"};
char ds2[][20] = { "ndross1", "ndross2"};
std::cout << "缓冲区buff地址 " << (void*) buff << std::endl;
std::cout << "new(buff)的地址 " << cf1 << std::endl;
std::cout << "new的地址 " << cf2 << std::endl;
std::cout << std::endl;
for(int i = 0; i < N; i++)
{
strcpy(cf1[i].dross,ds1[i]); //字符串的复制
cf1[i].slag = i;
strcpy(cf2[i].dross,ds2[i]); //字符串的复制
cf2[i].slag = i + 2;
}
for(int i = 0; i < N; i++)
{
std::cout << cf1[i].dross << ' '
<< cf1[i].slag << std::endl;
std::cout << cf2[i].dross << ' '
<< cf2[i].slag << std::endl;
}
return 0;
}
输出结果:
全局变量buff数组在内存的bss段分配了空间,可以看到使用定位new运算符在buff所在内存单元进行内存的分配,而常规new运算符则是堆分配内存单元。