1.遭人遗弃的goto
- 高手潜规则:禁用goto
- 项目经验:程序质量与goto的出现次数成反比
- 最后的判决:将goto打入冷宫
2.编程实验
- goto副作用分析
#include <stdio.h>
#include <stdlib.h>
#include <malloc.h>
void func(int n)
{
int *p = NULL;
if (n < 0)
{
goto STATUS;
}
p = (int *)malloc(sizeof(int) * n); //n<0时,将不被执行
STATUS:
p[0] = n; // n<0时,p内存未申请,出现错误
free(p);
}
int main()
{
printf("begin...\n");
printf("func(1)\n");
func(1);
printf("func(-1)\n");
func(-1);
printf("end...\n");
system("pause");
return 0;
}
- 段错误,goto破坏了C语言结构化特性,被遗弃!!! 现代软件工程中禁用goto语句。
3. void的意义
- void修饰函数返回值和参数——为了表示“无”
- ①如果函数没有返回值,那么应该将其声明为void
- ②如果函数没有参数,应该声明其参数为void
- 任意参数
#include<stdio.h>
f() //f()函数任意参数,返回值默认int型
{
}
int main()
{
int i=f(1,2,3)
return 0;
}
- 无参(用void声明)
#include<stdio.h>
void f(void) //无参无返回值
{
}
int main()
{
int i=f(1,2,3) //error
f(); //ok
return 0;
}
- 不存在void变量
- ①C语言没有定义void究意是多大内存的别名,没有void标尺,无法在内存中裁出大小
- ②小贴士:ANSI C:标准C语言的规范;扩展C: 在ANSI C的基础上进行了扩充
#include<stdio.h>
void main()
{
void var; //error,不可以是void型的变量
void array[5]; //error,同上
void *pv; //ok,void*的指针是可以的。
}
#include<stdio.h>
int main()
{
//在ANSI C编译器中无法通,支持GNU标准的gcc下为void大小为1,是合法的
printf("sizeof(void)=%d\n",sizeof(void));
}
- void指针的意义
- ①C语言规定只有相同类型的指针才可以相互赋值
- ②void* 指针作为左值用于“接收”任意类型的指针
- ③void* 指针作为右值使用时需要进行强制类型转换
int *pI = (int *)malloc(sizeof(int));
char *pC = (char *)malloc(sizeof(char));
void *p = NULL;
int *pni = NULL;
char *pnc = NULL;
p = pI; //ok,void*指针p可接收任何类型的指针
pni = p; //error,void*须强制类型转换,即pni =(int *)p;
p = pC; //ok
pnc = p; //error,应为pnc=(char*)p;
4.编程实验
- 通过void*实现MemSet函数
#include <stdio.h>
#include <stdlib.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]; // 这里可以是任何其他类型,如char a[5];double a[5]等。
int i = 0;
MemSet(a, sizeof(a), 0);
for (i = 0; i < 5; i++)
{
printf("%d\n", a[i]);
}
system("pause");
return 0;
}
5. 小结
- 现代软件工程中禁用goto语句
- void是一种抽象的数据类型
- void类型不能用于定义变量
- void类型用于声明函数无参数或函数无返回值
- 可以定义void*类型的指针,该指针可接受任意类型的指针值