C语言：程序内存四区模型

程序的内存四区模型

内存四区的建立流程

流程说明

1. 操作系统把物理硬盘代码load到内存
2. 操作系统把c代码分成四个区
3. 操作系统找到main函数入口执行

各区元素分析

全局区的内存模型

• 常量存储在全局区
• 编译器会优化代码，对相同的常量只在全局区分配一段内存，使用相同的地址
• 指针变量和指针指向的内存空间的变量是两码事，不要混淆

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

char *getStr1(void)
{
    char * p1 = "AlohaJack";//常量不会在函数返回后销毁，只在程序结束后销毁
    return p1;
}

char *getStr2(void)
{
    char * p2 = "AlohaJackBoom";//常量不会在函数返回后销毁，只在程序结束后销毁
    return p2;
}

char *getStr3(void)
{
    char * p3 = "AlohaJack";//常量不会在函数返回后销毁，只在程序结束后销毁
    return p3;
}

int main(void)
{
    char *p1 = NULL;
    char *p2 = NULL;
    char *p3 = NULL;

    p1 = getStr1();//p1和p3的常量一模一样，共用一段内存空间
    p2 = getStr2();
    p3 = getStr3();

    printf("p1:%s\np2:%s\np3:%s\n",p1,p2,p3);

    printf("p1:%d\np2:%d\np3:%d\n", p1, p2, p3);

    system("PAUSE");
    return 1;
}

ps：子函数中的p1和p2会在函数调用完成以后自动销毁

堆区栈区的模型

1. 堆区的内存有程序员分配释放，或者程序员没有释放的情况下，有操作系统在程序结束后释放
2. 堆区的内存可以在子函数分配（申请），在主调函数里继续使用，因为他并没有随着函数的返回而销毁

#define _CRT_SECURE_NO_WARNINGS//防止编译器对strcpy报错


#include <stdio.h>
#include <stdlib.h>
#include <string.h>

char * getMemFromHeap(int size)
{
    char *p = NULL;
    p = (char*)malloc(size);//在子函数中分配堆内存并返回首地址
    if (NULL == p)
        exit(1);
    else
        return p;
}

int main(void)
{
    char * tmp = NULL;

    tmp = getMemFromHeap(10);//主函数中获取在子函数中分配到的内存并使用

    strcpy(tmp, "Aloha");

    printf("tmp:%s\n",tmp);


    system("PAUSE");
    return 1;
}

ps：
（ 1）. 栈区的内存在函数返回后随即被释放
（ 2）. 虽然指向之前位置的指针指向的内存空间的地址没有变，但实际上内存空间的内容是未知的，与编译器的具体行为有关，所以有时候release和debug版本堆栈区内存空间的引用有不同的结果
（ 3）. 在主调函数引用子函数栈区的内存空间有可能引起系统崩溃或者其它异常
（4）、可见引用栈区的内存空间是极其不安全的

#define _CRT_SECURE_NO_WARNINGS


#include <stdio.h>
#include <stdlib.h>
#include <string.h>

char * getMemFromHeap(int size)
{
    char *p = NULL;
    p = (char*)malloc(size);
    if (NULL == p)
        exit(1);
    else
        return p;
}

char * getMemFromStack(void)
{
    char buf[64];
    return buf;
}

int main(void)
{
    char * tmp = NULL;

    tmp = getMemFromStack();

    strcpy(tmp, "Aloha");

    printf("tmp:%s\n",tmp);


    system("PAUSE");
    return 1;
}

栈的属性简介

• 堆和栈的生长方向可以通过代码打印变量的地址值测试出来
• 先进后出
• 堆栈的生长方向和存放数据增长方向不一样