遭人遗弃的 goto
- 高手潜规则 : 禁用 goto
- 项目经验 : 程序质量与 goto 的出现次数成反比
- 最后判决 : 将 goto 打入冷宫
实例分析: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;
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;
}
输出:
begin ...
void func( 1 ) :
void func( -1 ) :
段错误
分析:
破坏了程序的结构化特性(顺序执行,条件执行,循环执行);
增加阅读与调试难度。
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 length, unsigned char n)
{
unsigned char* p = (unsigned char*)src;
int i = 0;
for(i=0; i<length; i++)
{
p[i] = n;
}
}
int main()
{
int a[5];
int i = 0;
MemSet(a, sizeof(a), 0);
for(i=0; i<5; i++)
{
printf("%d\n", a[i]);
}
return 0;
}
输出:
0
0
0
0
0
小结
- 现代软件工程中禁用 goto 语句
- void 是一种抽象的数据类型
- void 数据类型不能用于定义变量
- void 类型用于声明函数无参数
- void 类型用于声明函数无返回值
- 可以定义 void* 类型的指针
- void* 类型的指针可以接收任意类型的指针
以上内容参考狄泰软件学院系列课程,请大家保护原创!
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用
。你还可以使用@
来通知其他用户。