版权声明：本文为博主原创文章，转载请注明地址【http://blog.csdn.net/czg13548930186】 谢谢！ https://blog.csdn.net/czg13548930186/article/details/86318436
实例分析：goto 的副作用分析
#include <stdio.h>
#include <malloc.h>
void func(int n)
{
int* p = NULL;
if( n < 0 )
{
goto STATUS;
}
p = (int*)malloc(sizeof(int) * n);
STATUS:
p[0] = n;
printf("void func(%d) = %d.\n",n,p[0]);
free(p);
}
int main()
{
printf("begin ...\n");
printf("void func( 1 ) :\n");
func(1);
printf("void func( -1 ) :\n");
func(-1);
printf("end ...\n");
return 0;
} printf("void func( 1 ) :\n");
func(1);
printf("void func( -1 ) :\n");
func(-1);
printf("end ...\n");
return 0;
}
begin ...
void func( 1 ) :
void func(1) = 1.
void func( -1 ) :
Segmentation fault
分析：
破坏了程序的结构化特性（顺序执行，条件执行，循环执行）;
增加阅读与调试难度。
void 的意义
- void 修饰函数返回值和参数
○ 如果函数没有返回值，那么应该将其声明为 void
○ 如果函数没有参数，应该声明参数为 void
○ void 修饰函数返回值和参数是为了表示 "无"
#include <stdio.h>
func()
{
}
int main()
{
int i = func(1, 2, 3);
printf("%d\n", i);
return 0;
}
输出：（编译器无警告，无报错，输出随机值）
-1074333820
分析：
没有写参数，意味着可以接收任意多参数
没有写返回值，意味着返回值为 int
- 不存在 void 变量 (可理解void是一个抽象类型)
○ C 语言没有定义 void 究竟是多大内存的别名
○ 没有 void 标尺，无法在内存中裁剪出 void 对应的变量
void code()
{
void var;
void array[5];
void* pv;
}
- 小贴士
○ ANSI C : 标准 C语言的规范
○ 扩展 C : 在 ANSI C 的基础上进行了扩充
○ C 语言的灰色地带
void code()
{
printf("%d\n", sizeof(void));
}
上面的代码在 ASNI C编译器（BCC）中无法通过编译，但是对于支持 GNU 标准的 gcc 编译器而言是合法的。
BCC : Error
GCC : 1
- void 指针的意义
○ C 语言规定只有相同类型的指针才可以互相赋值
○ void* 指针作为左值用于 接收 任意类型指针
○ void* 指针作为右值使用时需要进行强制类型转换
○ 指针为相应机器的固定宽度，可以裁剪相应的内存大小，所以可以定义 void* 指针
void code()
{
int* pI = (int*)malloc(sizeof(int));
char* pC = (char*)malloc(sizeof(int));
void* p = NULL;
int* pni = NULL;
char* pnc = NULL;
p = pI; // OK
pni = p; // oops!
p = pC; // OK
pnc = p; // oops!
}
实例分析：通过 void* 实现 MemSet 函数
#include <stdio.h>
void MemSet(void * src,int lenth, unsigned char n)
{
unsigned char * p= (unsigned char*)src;
int i = 0;
for (i=0;i<lenth;i++)
{
p[i] = n;
}
}
int main()
{
int a[5];
int i = 0;
MemSet(a,sizeof(a),0);
printf("%d.\n",sizeof(a));
for(i=0;i<5;i++)
{
printf("%d.\n",a[i]);
}
}
输出：
20.
0.
0.
0.
0.
0.
小结
- 现代软件工程中禁用 goto 语句
- void 是一种抽象的数据类型
- void 数据类型不能用于定义变量
- void 类型用于声明函数无参数
- void 类型用于声明函数无返回值
- 可以定义 void 类型的指针*
- void* 类型的指针可以接收任意类型的指针
内容参考狄泰软件学院系列课程，如有侵权，请联系作者删除！感谢~