Linux下C语言嵌入式笔记（二）

一个由C/C++编译的程序占用的内存分为以下几个部分：

栈区（stack）— 由编译器自动分配释放 ，存放函数的参数名，局部变量的名等。其操作方式类似于数据结构中的栈。
堆区（heap）— 由程序员分配释放， 若程序员不释放，程序结束时可能由OS回收。注意它与数据结构中的堆是两回事，分配方式倒是类似于链表。
静态区（static）—全局变量和局部静态变量的存储是放在一块的。程序结束后由系统释放。
文字常量区—常量字符串就是放在这里的，程序结束后由系统释放 。
程序代码区— 存放函数体的二进制代码。

堆和栈的区别：

栈：在Windows下,栈是向低地址扩展的数据结构，是一块连续的内存的区域。这句话的意思是栈顶的地址和栈的最大容量是系统预先规定好的，在 WINDOWS下，栈的大小是2M（也有的说是1M，总之是一个编译时就确定的常数），如果申请的空间超过栈的剩余空间时，将提示overflow。因此，能从栈获得的空间较小。
堆：堆是向高地址扩展的数据结构，是不连续的内存区域。这是由于系统是用链表来存储的空闲内存地址的，自然是不连续的，而链表的遍历方向是由低地址向高地址。堆的大小受限于计算机系统中有效的虚拟内存。由此可见，堆获得的空间比较灵活，也比较大。

指针对函数的功能有巨大的贡献，指针能够将数据传递给函数，并且允许函数对数据进行修改。指针对于函数的作用主要有两方面：将指针传递给函数和声明函数指针。

程序栈
过程调用的实现，依靠的是一个由系统分配的一个栈空间：
机器用栈来传递过程参数，存储返回信息，保存寄存器用于以后恢复，以及本地存储
为单个过程分配的那部分栈称为“栈帧“。
程序栈通常和堆共享，也就是说,它们共享一块内存区域。程序栈通常占据这块区域的下部，而堆用的是上部，也就是栈下堆上。
注意：如果程序递归层数过多，可能会导致内存空间被耗尽，出现栈溢出的情况。

程序栈是支持函数执行的内存区域，通常和堆共享一块内存区域，通常程序栈占据内存区域的下部，堆用内存区域的上部。**程序栈存放栈帧，栈帧存放函数参数和局部变量。**调用函数时，函数的栈帧被推倒栈上，栈向上长出一个栈帧，当函数终止时，函数的栈帧从程序栈上弹出，栈帧所使用的内存不会被清理，但可能会被推倒程序栈上的另一个函数的栈帧所覆盖。动态分配的内存来自于堆，堆向下生长，随着内存的分配和释放，堆中会布满碎片。尽管堆是向下生长的，但只是一个大体方向，实际内存可能分配在堆上的任意位置。
栈帧

程序栈存放帧(stack frame),栈帧有时候也称为活跃记录(activation record)或者是活跃帧(activation frame)，**栈帧存放函数参数和局部变量，管理动态内存**。

系统在创建栈帧时，将参数以跟声明时相反的顺序推到帧上，最后推入局部变量。

一个过程调用结束后（返回函数调用结果的时候），对应的帧就应该被从栈中退出：

程序栈会把调用者的帧的帧底指针的值取出来，然后把调用者的帧的帧底指针的值赋给ebp，再把返回地址弹出来，让程序跳到返回地址所指的地方继续执行。esp在退回去的过程中，退到临时变量时，会依次调用临时变量的析构函数（如果有的话）（这就是出了函数作用域临时变量就不再有效的原因），接着程序栈就又回到了调用这个帧之前的状态。然后它会继续完成调用者的调用过程。

可变参数的函数

C语言中可以定义参数可变的函数，参数可变函数的实现依赖于stdarg.h头文件。
va_list:参数集合
va_arg:取具体参数值
va_start:标识参数的开始
va_end:标识参数的结束
可变参数必须从头到尾按照顺序逐个访问
参数列表中至少要存在一个确定的命名参数
可变参数函数无法确定实际存在的参数数量
可变参数函数无法确定参数的实际类型，va_arg如果指定了错误的参数类型结构将是不确定的。

#include <stdio.h>
#include <stdarg.h>

float average(int n, …)
{
va_list args;
int i = 0;
float sum = 0;
va_start(args, n);
for(i=0; i<n; i++)
{
sum += va_arg(args, int);
}
va_end(args);
return sum / n;
}

int main()
{
printf("%f\n", average(5, 1, 2, 3, 4, 5));
printf("%f\n", average(4, 1, 2, 3, 4));
return 0;
}

函数与宏

宏是由预处理器直接展开的，编译器不知道宏的存在，函数是由编译器直接编译的实体，调用行为由编译器决定。多次使用宏会导致可执行程序体积变大，函数是跳转执行的，内存中只有一份函数体存在。宏的效率较高，没有调用开销；函数调用时会记录活动记录，有调用开销。

宏的效率比函数高，但宏是文本替换，参数无法进行类型检查，因此可以使用函数完成的功能绝对不能使用宏，并且宏的定义中不能使用递归定义。

#include <stdio.h>
#include <malloc.h>
#define MALLOC(type, x)   (type*)malloc(sizeof(type)*x)

#define FREE(p)           (free(p), p=NULL)
#define LOG_INT(i)        printf("%s = %d\n", #i, i)
#define LOG_CHAR(c)       printf("%s = %c\n", #c, c)
#define LOG_FLOAT(f)      printf("%s = %f\n", #f, f)
#define LOG_POINTER(p)    printf("%s = %p\n", #p, p)
#define LOG_STRING(s)     printf("%s = %s\n", #s, s)
#define FOREACH(i, n)     while(1) { int i = 0, l = n; for(i=0; i < l; i++)
#define BEGIN             {
#define END               } break; } 

int main()
{
    int* pi = MALLOC(int, 5);
    char* str = "D.T.Software";
    LOG_STRING(str);
    LOG_POINTER(pi);
    FOREACH(k, 5)
    BEGIN
        pi[k] = k + 1;
    END
    FOREACH(n, 5)
    BEGIN
        int value = pi[n];
        LOG_INT(value);
    END
    FREE(pi);
    LOG_POINTER(pi);
    return 0;
}