分类： C/C++
2006-11-15 14:45:43
CSDN - 技术社区 - C/C++ C语言
主 题： 关于内存分配
作 者： kookworm ()
等 级：
信 誉 值： 100
所属社区： C/C++ C语言
问题点数： 10
回复次数： 30
发表时间： 2006-10-29 9:21:07
程序：
main()
{
char *p="abcd",*q;
*q="abcdefg";
}
其中指针p和q应该在栈中分配内存，那么两个字符串的内存到底是在哪里分配，由谁来完成的?
wanfustudio(雁南飞:雁无留踪之意，水无取影之心) ( ) 信誉：97 Blog 2006-10-29 9:25:20 得分: 0
p,q在栈上
－－－－
常量在常量区分配
Top
wanfustudio(雁南飞:雁无留踪之意，水无取影之心) ( ) 信誉：97 Blog 2006-10-29 9:26:09 得分: 0
c/c++编程基础篇之浅析堆&栈
五大内存分区
在C++中，内存分成5个区，他们分别是堆、栈、自由存储区、全局/静态存储区和常量存储区。
栈，就是那些由编译器在需要的时候分配，在不需要的时候自动清楚的变量的存储区。里面的变量通常是局部变量、函数参数等。
堆，就是那些由new分配的内存块，他们的释放编译器不去管，由我们的应用程序去控制，一般一个new就要对应一个delete。如果程序员没有释放掉，那么在程序结束后，操作系统会自动回收。
自由存储区，就是那些由malloc等分配的内存块，他和堆是十分相似的，不过它是用free来结束自己的生命的。
全局/静态存储区，全局变量和静态变量被分配到同一块内存中，在以前的C语言中，全局变量又分为初始化的和未初始化的，在C++里面没有这个区分了，他们共同占用同一块内存区。
常量存储区，这是一块比较特殊的存储区，他们里面存放的是常量，不允许修改
一般认为在c中分为这几个存储区：
1. 栈 －－有编译器自动分配释放
2. 堆 －－ 一般由程序员分配释放，若程序员不释放，程序结束时可能由OS回收
3. 全局区（静态区） －－ 全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域，未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。程序结束释放。
4. 另外还有一个专门放常量的地方。程序结束释放
在函数体中定义的变量通常是在栈上，用malloc, calloc, realloc等分配内存的函数分配得到的就是在堆上。在所有函数体外定义的是全局量，加了static修饰符后不管在哪里都存放在全局区（静态区）,在所有函数体外定义的static变量表示在该文件中有效，不能extern到别的文件用，在函数体内定义的static表示只在该函数体内有效。另外，函数中的"adgfdf"这样的字符串存放在常量区。
比如：
代码:
int a = 0; //全局初始化区
char *p1; //全局未初始化区
main()
{
int b; //栈
char s[] = "abc"; //栈
char *p2; //栈
char *p3 = "123456"; //123456\0在常量区，p3在栈上。
static int c = 0； //全局（静态）初始化区
p1 = (char *)malloc(10);
p2 = (char *)malloc(20);
//分配得来得10和20字节的区域就在堆区。
strcpy(p1, "123456");
//123456\0放在常量区，编译器可能会将它与p3所指向的"123456"优化成一块。
}
还有就是函数调用时会在栈上有一系列的保留现场及传递参数的操作。
栈的空间大小有限定，vc的缺省是2M。栈不够用的情况一般是程序中分配了大量数组和递归函数层次太深。有一点必须知道，当一个函数调用完返回后它会释放该函数中所有的栈空间。栈是由编译器自动管理的，不用你操心。
堆是动态分配内存的，并且你可以分配使用很大的内存。但是用不好会产生内存泄漏。并且频繁地malloc和free会产生内存碎片（有点类似磁盘碎片），因为c分配动态内存时是寻找匹配的内存的。而用栈则不会产生碎片。
在栈上存取数据比通过指针在堆上存取数据快些。
一般大家说的堆栈和栈是一样的，就是栈(stack)，而说堆时才是堆heap. 栈是先入后出的，一般是由高地址向低地址生长。
--------------------------------------------------------------------------------
Top
wanfustudio(雁南飞:雁无留踪之意，水无取影之心) ( ) 信誉：97 Blog 2006-10-29 9:26:14 得分: 5
转载的另外一篇：
堆(heap)和栈(stack)是C/C++编程不可避免会碰到的两个基本概念。首先，这两个概念都可以在讲数据结构的书中找到，他们都是基本的数据结构，虽然栈更为简单一些。
在具体的C/C++编程框架中，这两个概念并不是并行的。对底层机器代码的研究可以揭示，栈是机器系统提供的数据结构，而堆则是C/C++函数库提供的。
具体地说，现代计算机(串行执行机制)，都直接在代码底层支持栈的数据结构。这体现在，有专门的寄存器指向栈所在的地址，有专门的机器指令完成数据入栈出栈的操作。
机制的特点是效率高，支持的数据有限，一般是整数，指针，浮点数等系统直接支持的数据类型，并不直接支持其他的数据结构。因为栈的这种特点，对栈的使用在程序中是非常频繁的。对子程序的调用就是直接利用栈完成的。机器的call指令里隐含了把返回地址推入栈，然后跳转至子程序地址的操作，而子程序中的ret指令则隐含从堆栈中弹出返回地址并跳转之的操作。C/C++中的自动变量是直接利用栈的例子，这也就是为什么当函数返回时，该函数的自动变量自动失效的原因。
和栈不同，堆的数据结构并不是由系统(无论是机器系统还是操作系统)支持的，而是由函数库提供的。基本的malloc/realloc/free函数维护了一套内部的堆数据结构。当程序使用这些函数去获得新的内存
空间时，这套函数首先试图从内部堆中寻找可用的内存空间，如果没有可以使用的内存空间，则试图利用系统调用来动态增加程序数据段的内存大小，新分配得到的空间首先被组织进内部堆中去，然后再以适当的形式返回给调用者。当程序释放分配的内存空间时，这片内存空间被返回内部堆结构中，可能会被适当的处理(比如和其他空闲空间合并成更大的空闲空间)，以更适合下一次内存分配申请。这套复杂的分配机制实际上相当于一个内存分配的缓冲池(Cache)，使用这套机制有如下若干原因：
1. 系统调用可能不支持任意大小的内存分配。有些系统的系统调用只支持固定大小及其倍数的内存请求(按页分配)；这样的话对于大量的小内存分类来说会造成浪费。
2. 系统调用申请内存可能是代价昂贵的。系统调用可能涉及用户态和核心态的转换。
3. 没有管理的内存分配在大量复杂内存的分配释放操作下很容易造成内存碎片。
堆和栈的对比
从以上知识可知，
· 栈是系统提供的功能，特点是快速高效，缺点是有限制，数据不灵活；而堆是函数库提供的功能，特点是灵活方便，数据适应面广泛，但是效率有一定降低。
· 栈是系统数据结构，对于进程/线程是唯一的；堆是函数库内部数据结构，不一定唯一。不同堆分配的内存无法互相操作。
· 栈空间分静态分配和动态分配两种。静态分配是编译器完成的，比如自动变量(auto)的分配。动态分配由malloca函数完成。栈的动态分配无需释放(是自动的)，也就没有释放函数。为可移植的程序起见，栈的动态分配操作是不被鼓励的！堆空间的分配总是动态的，虽然程序结束时所有的数据空间都会被释放回系统，但是精确的申请内存/释放内存匹配是良好程序的基本要素。
堆(heap)和堆栈(stack)的区别（在cu的C版看到，觉着好，copy过来）
一、预备知识—程序的内存分配
一个由c/C++编译的程序占用的内存分为以下几个部分
1、栈区（stack）— 由编译器自动分配释放 ，存放函数的参数值，局部变量的值等。其操作方式类似于数据结构中的栈。
2、堆区（heap） — 一般由程序员分配释放， 若程序员不释放，程序结束时可能由OS回收 。注意它与数据结构中的堆是两回事，分配方式倒是类似于链表，呵呵。
3、全局区（静态区）（static）—，全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域， 未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。 - 程序结束后有系统释放
4、文字常量区 —常量字符串就是放在这里的。 程序结束后由系统释放
5、程序代码区—存放函数体的二进制代码。
二、例子程序
这是一个前辈写的，非常详细
//main.cpp
int a = 0; 全局初始化区
char *p1; 全局未初始化区
main()
{
int b; 栈
char s[] = "abc"; 栈
char *p2; 栈
char *p3 = "123456"; 123456在常量区，p3在栈上。
static int c =0； 全局（静态）初始化区
p1 = (char *)malloc(10);
p2 = (char *)malloc(20);
分配得来得10和20字节的区域就在堆区。
strcpy(p1, "123456"; 123456放在常量区，编译器可能会将它与p3所指向的"123456"优化成一个地方。
}
二、堆和栈的理论知识
2.1申请方式
stack:
由系统自动分配。 例如，声明在函数中一个局部变量 int b; 系统自动在栈中为b开辟空间
heap:
需要程序员自己申请，并指明大小，在c中malloc函数
如p1 = (char *)malloc(10);
在C++中用new运算符
如p2 = (char *)malloc(10);
但是注意p1、p2本身是在栈中的。
2.2
申请后系统的响应
栈：只要栈的剩余空间大于所申请空间，系统将为程序提供内存，否则将报异常提示栈溢出。
堆：首先应该知道操作系统有一个记录空闲内存地址的链表，当系统收到程序的申请时，
会遍历该链表，寻找第一个空间大于所申请空间的堆结点，然后将该结点从空闲结点链表中删除，并将该结点的空间分配给程序，另外，对于大多数系统，会在这块内存空间中的首地址处记录本次分配的大小，这样，代码中的delete语句才能正确的释放本内存空间。另外，由于找到的堆结点的大小不一定正好等于申请的大小，系统会自动的将多余的那部分重新放入空闲链表中。
2.3申请大小的限制
栈：在Windows下,栈是向低地址扩展的数据结构，是一块连续的内存的区域。这句话的意思是栈顶的地址和栈的最大容量是系统预先规定好的，在 WINDOWS下，栈的大小是2M（也有的说是1M，总之是一个编译时就确定的常数），如果申请的空间超过栈的剩余空间时，将提示overflow。因此，能从栈获得的空间较小。
堆：堆是向高地址扩展的数据结构，是不连续的内存区域。这是由于系统是用链表来存储的空闲内存地址的，自然是不连续的，而链表的遍历方向是由低地址向高地址。堆的大小受限于计算机系统中有效的虚拟内存。由此可见，堆获得的空间比较灵活，也比较大。
2.4申请效率的比较：
栈由系统自动分配，速度较快。但程序员是无法控制的。
堆是由new分配的内存，一般速度比较慢，而且容易产生内存碎片,不过用起来最方便.
另外，在WINDOWS下，最好的方式是用VirtualAlloc分配内存，他不是在堆，也不是在栈是直接在进程的地址空间中保留一快内存，虽然用起来最不方便。但是速度快，也最灵活
2.5堆和栈中的存储内容
栈： 在函数调用时，第一个进栈的是主函数中后的下一条指令（函数调用语句的下一条可执行语句）的地址，然后是函数的各个参数，在大多数的C编译器中，参数是由右往左入栈的，然后是函数中的局部变量。注意静态变量是不入栈的。
当本次函数调用结束后，局部变量先出栈，然后是参数，最后栈顶指针指向最开始存的地址，也就是主函数中的下一条指令，程序由该点继续运行。
堆：一般是在堆的头部用一个字节存放堆的大小。堆中的具体内容有程序员安排。
2.6存取效率的比较
char s1[] = "aaaaaaaaaaaaaaa";
char *s2 = "bbbbbbbbbbbbbbbbb";
aaaaaaaaaaa是在运行时刻赋值的；
而bbbbbbbbbbb是在编译时就确定的；
但是，在以后的存取中，在栈上的数组比指针所指向的字符串(例如堆)快。
比如：
＃i nclude ;
void main()
{
char a = 1;
char c[] = "1234567890";
char *p ="1234567890";
a = c[1];
a = p[1];
return;
}
对应的汇编代码
10: a = c[1];
00401067 8A 4D F1 mov cl,byte ptr [ebp-0Fh]
0040106A 88 4D FC mov byte ptr [ebp-4],cl
11: a = p[1];
0040106D 8B 55 EC mov edx,dword ptr [ebp-14h]
00401070 8A 42 01 mov al,byte ptr [edx+1]
00401073 88 45 FC mov byte ptr [ebp-4],al
第一种在读取时直接就把字符串中的元素读到寄存器cl中，而第二种则要先把指针值读到edx中，在根据edx读取字符，显然慢了。
?
2.7小结：
堆和栈的区别可以用如下的比喻来看出：
使用栈就象我们去饭馆里吃饭，只管点菜（发出申请）、付钱、和吃（使用），吃饱了就走，不必理会切菜、洗菜等准备工作和洗碗、刷锅等扫尾工作，他的好处是快捷，但是自由度小。
使用堆就象是自己动手做喜欢吃的菜肴，比较麻烦，但是比较符合自己的口味，而且自由度大。
堆和栈的区别主要分：
操作系统方面的堆和栈，如上面说的那些，不多说了。
还有就是数据结构方面的堆和栈，这些都是不同的概念。这里的堆实际上指的就是（满足堆性质的）优先队列的一种数据结构，第1个元素有最高的优先权；栈实际上就是满足先进后出的性质的数学或数据结构。
虽然堆栈，堆栈的说法是连起来叫，但是他们还是有很大区别的，连着叫只是由于历史的原因。
kookworm() ( ) 信誉：100 Blog 2006-10-29 10:13:29 得分: 0
根据上面的说法，常量字符串放在常量区，那只能读不能改了，但程序
main()
{
char *p="abcd";
p[0]='k';
printf("%s",p);
}
执行后，字符串为"kbcd"，确实被修改了，这又如何解释？
Top
Jokar(贪睡鼠：自我封印ing) ( ) 信誉：100 Blog 2006-10-29 10:14:16 得分: 0
其中指针p和q应该在栈中分配内存，那么两个字符串的内存到底是在哪里分配，由谁来完成的?
-----------------------------------------
两个字符串空间在 常量区分配， 由编译器完成，然后将两个 指向常量区的地址 分别返回给 栈中的两个指针p和q
Jokar(贪睡鼠：自我封印ing) ( ) 信誉：100 Blog 2006-10-29 10:17:04 得分: 0
执行后，字符串为"kbcd"，确实被修改了，这又如何解释？
-----------------------------
那你的编译器好强呀:)
gxh9314(什么时候结贴呀！！！！) ( ) 信誉：100 Blog 2006-10-29 10:48:45 得分: 0
不能被修改啊
出现应用程序错误，
“0x0040b482”指令引用的“0x0041fe50”内存。该内存不能为written
kookworm() ( ) 信誉：100 Blog 2006-10-29 11:13:02 得分: 0
我用的是TC2.0的编译器，各位是否用的是VC编译器，也就是说上面的解释是针对VC而不是TC而言的，那么在TC下如何呢？
lsd1025() ( ) 信誉：100 Blog 2006-10-29 11:48:39 得分: 3
根据上面的说法，常量字符串放在常量区，那只能读不能改了，但程序
main()
{
char *p="abcd";
p[0]='k';
printf("%s",p);
}
执行后，字符串为"kbcd"，确实被修改了，这又如何解释？
‘======================================================
在TC下记得*P的值是可以更改的，
上面说的好像没有提到TC环境下呀，
至于TC下和别的是否有区别？
anykey_1(打杂) ( ) 信誉：100 Blog 2006-10-29 12:42:20 得分: 0
main()
{
char *p="abcd",*q; //这里 p 是放在stack 里 "abcd" 是放在全局常量区 p指向全局常量区,所以和 const没区别
*q="abcdefg"; // q是放在stack里，而且没分配空间，所里这里会出错的
}
morphymorphy(Morphy) ( ) 信誉：100 Blog 2006-10-29 13:29:54 得分:
1 原则上，p,q在栈上分配,常量在常量存储区分配；
2 具体分配是编译器完成；
3 不同编译器分配的地址空间，产生的对齐方式一般不会相同.
pomiox(``睡到自然醒``) ( ) 信誉：100 Blog 2006-10-29 14:45:36 得分:
char *p="abcd";//给一个指向char的变量Ｐ赋值．
应该不能理解为常量吧
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
＝菜鸟＝
windnum1(非宁静无以致远) ( ) 信誉：100 Blog 2006-10-29 14:48:47 得分: 0
lockhall(菜鸟成长中...) ( ) 信誉：100 Blog 2006-10-29 16:29:20 得分: 0
又来晚了...HOHO
kookworm() ( ) 信誉：100 Blog 2006-10-30 7:45:00 得分: 0
能不能针对TC2.0解释一下呀，不要对C++用功了
apricot0819(晓猪不乖><世间迁流不息，无有恒常) ( ) 信誉：100 Blog 2006-10-30 10:17:36 得分: 0
根据上面的说法，常量字符串放在常量区，那只能读不能改了，但程序
main()
{
char *p="abcd";
p[0]='k';
printf("%s",p);
}
执行后，字符串为"kbcd"，确实被修改了，这又如何解释？
‘======================================================
VC下是不能修改。。。
但是不说不说完全不能被修改吧！
我这里的AIX系统就可以
apricot0819(晓猪不乖><世间迁流不息，无有恒常) ( ) 信誉：100 Blog 2006-10-30 10:18:24 得分: 0
又打错字，，郁闷
kookworm() ( ) 信誉：100 Blog 2006-10-30 13:49:20 得分: 0
TC2.0下真的有常量存储区吗？
zjxiaoyu(alalei) ( ) 信誉：100 Blog 2006-10-30 18:30:26 得分: 0
根据上面的说法，常量字符串放在常量区，那只能读不能改了，但程序
main()
{
char *p="abcd";
p[0]='k';
printf("%s",p);
}
执行后，字符串为"kbcd"，确实被修改了，这又如何解释？
==================
我觉得不是编译器的问题。 "abcd"肯定是编译在RO段里，只不过，在运行程序的时候，这一段也是被加载在内存中的。改写也没什么问题。
dongpy(51-->ARM) ( ) 信誉：116 Blog 2006-10-30 18:55:18 得分: 0
那么两个字符串的内存到底是在哪里分配，由谁来完成的?
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
在常量数据段。 在程序加载时分配空间。
chuanpeng0130() ( ) 信誉：100 Blog 2006-10-30 20:11:17 得分: 0
main()
{
char *p="abcd";
p[0]='k';
printf("%s",p);
}
这一段我再vc里面就没有运行起来`~
anykey_1(打杂) ( ) 信誉：100 Blog 2006-10-30 20:39:45 得分: 0
我觉得不是编译器的问题。 "abcd"肯定是编译在RO段里，只不过，在运行程序的时候，这一段也是被加载在内存中的。改写也没什么问题。
===========================================
呵，当然在ro段里 ,编译也没问题，只执行会出错，如果你能执行，说明你OS内存管理方面的原因...
我的xp+vs.net2005是通不过的
pcboyxhy(-273.15℃) ( ) 信誉：110 Blog 2006-10-30 20:44:50 得分: 0
楼上的兄度都没看过C99语言标准吧
翻到第130页好好看看
kookworm() ( ) 信誉：100 Blog 2006-10-30 21:57:31 得分: 0
再说明一下，是TC环境，不是VC环境
hanqiou(独立寒秋) ( ) 信誉：99 Blog 2006-10-31 16:05:10 得分: 0
非常关注...
我也百思不得其解.程序运行了,查看指针指向的内存地址,没有变化,可是内存中存放的内容变化了.
hanqiou(独立寒秋) ( ) 信誉：99 Blog 2006-10-31 16:06:11 得分: 0
或许C中,常量区存放的常量内容允许修改,并不像C++里面规定的那样不允许修改.
kookworm() ( ) 信誉：100 Blog 2006-11-1 13:24:18 得分: 0
我把代码在VC6.0中运行了一下，是不能修改的，但在TC2.0下运行就什么问题也没有，是不是在C中就没有常量存储区，而在C++中才有？
kookworm() ( ) 信誉：100 Blog 2006-11-3 0:35:14 得分: 0
这个问题是不是有点不确定呀，解决不了吗？
iamliadai() ( ) 信誉：95 Blog 2006-11-3 8:07:52 得分: 0
32 EXAMPLE 8 The declaration
char s[] = "abc", t[3] = "abc";
defines ‘‘plain’’ char array objects s and t whose elements are initialized with character string literals.
This declaration is identical to
char s[] = { 'a', 'b', 'c', '\0' },
t[] = { 'a', 'b', 'c' };
The contents of the arrays are modifiable. On the other hand, the declaration
char *p = "abc";
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
摘自 ISO/IEC 9899:1999 (E)
iamliadai() ( ) 信誉：95 Blog 2006-11-3 8:09:32 得分: 2
32 EXAMPLE 8 The declaration
char s[] = "abc", t[3] = "abc";
defines ‘‘plain’’ char array objects s and t whose elements are initialized with character string literals.
This declaration is identical to
char s[] = { 'a', 'b', 'c', '\0' },
t[] = { 'a', 'b', 'c' };
The contents of the arrays are modifiable. On the other hand, the declaration
char *p = "abc";
defines p with type ‘‘pointer to char’’ and initializes it to point to an object with type ‘‘array of char’’
with length 4 whose elements are initialized with a character string literal. If an attempt is made to use p to
modify the contents of the array, the behavior is undefined.
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
摘自 ISO/IEC 9899:1999 (E)
To：各位注意最后一句话！
