【C语言】动态分配内存、voi…

原文地址：【C语言】动态分配内存、void指针、结构体指针（部分内容摘自《c程序设计》谭浩强） 作者：年轻的carl

程序的内存分配
一个由C/C++编译的程序占用的内存分为以下几个部分：
1、栈区（stack）：由编译器自动分配释放，存放函数的参数值，局部变量的值等。其操作方式类似于数据结构中的栈。
2、全局区（静态区）（static）：全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域，未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。程序结束后由系统释放。

3、堆区（heap）：一般由程序员分配释放，若程序员不释放，程序结束时可能由OS回收。注意它与数据结构中的堆是两回事，分配方式类似于链表。
4、文字常量区：常量字符串就是放在这里的。程序结束后由系统释放。
5、程序代码区：存放函数体的二进制代码。

关于内存分配的函数

以下四个函数包含在stdlib.h中。

1、malloc函数，其函数原型为：

void * malloc(unsigned int size)

其作用是在内存的动态存储区中分配一个长度为size的连续空间，函数的返回值是所分配区域的第一个字节的地址。

2、calloc函数，其函数原型为：

void * calloc(unsigned n,unsigned size)

其作用是在内存的动态存储区中分配n个长度为size的连续空间，一般用来保存一个数组（n为数组元素的个数，每个数组元素长度为size，这就是动态数组），函数返回指向所分配域的起始位置的指针。如果分配不成功，返回NULL。

3、free函数，其原型为：

void free(void * pointer)

其作用是释放指针变量p所指向的动态空间，使这部分空间能重新被其他变量使用。pointer应是最近一次调用calloc或malloc函数所得到的函数返回值。 free函数没有返回值。

4、realloc函数，其原型为：

void * realloc(void * pointer,unsigned int size)

对已使用malloc函数或calloc函数获得的动态空间进行重新分配。如果重新分配不成功，返回NULL。

void指针类型（无类型指针）

C99允许使用基类型为void的指针类型。可以定义一个基类型为void的指针变量（void * 型变量），它不指向任何类型的数据。在将它的值赋给另一个指针变量时由系统对它进行类型转换，使之适合于被赋值的变量的类型。

结构体指针

即指向结构体变量的指针，一个结构体变量的起始地址就是这个结构体变量的指针。

如果把一个结构体变量的起始地址存放在一个指针变量中，那么，这个指针变量就指向该结构体变量。

1、指向结构体变量的指针

指向结构体变量的指针，既可以指向结构体变量，也可以指向结构体数组中的元素。

如：Struct Student * pt;  //pt 可以指向struct Student 类型的变量或数组元素

如果p指向一个结构体变量stu，以下3种用法等价：

(1)sth.成员名（如：stu.num）；

(2)(* p).成员名（如：(*p).num）；

(3)p->成员名（如：p->num）。

成员运算符“.”的优先级高于“*”，所以（）不能省去。

2、指向结构体数组的指针

如果定义p 是指向struct Student 类型对象的指针变量，

struct Student{

int num;

char name[20];

};

struct Student stu[3];

struct Student * p;

p=stu;

它用来指向一个struct Student 类型的对象（结构体数组中的一个元素stu[0]的起始地址），不应用来指向stu数组元素中的某一成员。否则，编译时将产生警告，提示地址的类型不匹配。

如果要将某一成员的地址赋值给p ，可以用强制类型转换。如下：

p=(struct Student *)stu[0].name

此时，p 的值是stu[0]元素的name成员的起始地址。可以用printf("%s",p);输出stu[0]中成员name的值。之后执行printf("%s",p+1);时，输出的是stu[1]中name的值。

3、用结构体变量和结构体变量的指针作函数的参数

将一个结构体变量的值传递给另一个函数，有3个方法：

（1）用结构体变量的成员作参数。如：stu[0].num，属于单向值传递。

（2）用结构体变量作实参。也是单向值传递，此种方式是将结构体变量所占的内存单元的内容全部按顺序传递给形参，形参也必须是同类型的结构体变量。在函数调用期间形参也要占用内存单元。这种传递方式在空间和时间上开销很大。

（3）用指向结构体变量（或数组元素）的指针作实参，将结构体变量（或数组元素）的地址传递给形参。这种方法是比较合理的。