c语言深度剖析(8)—循环语句goto和void分析

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*类型的指针，该指针可接受任意类型的指针值