5、go to 真的没人用了吗?
可能跟着学校在学习的小伙伴,都没听老师讲过 goto 语句,那么今天我们就来了解下为什么很少人会用 goto 语句?
goto 语句是c语言给我们提供一个基本的语法结构,给我们提供了代码跳转的一个能力,对于我们一般的程序员来讲,因为太灵活可能会导致我们语句在执行的时候它的分支可能会不明确,所以在很多的公司内它的编码规范当中是禁止使用 goto 语句的,但是如果我们把 goto 语句用好了是会出奇效的今天不讲奇效,重点讲作用:
goto语句通常会用两种用法:向下跳转,向上跳转:
那么我们应该如何看待 goto 呢?
1、有很多公司确实禁止使用 goto,不过,这个问题我们还是灵活对待,goto 在解决很多问题是有奇效的。
2、我们可以认为 goto 使用场景较少,一般不使用。但是必须得知道 goto,需要的时候,也必须会用。
我们来看个例子吧,在 Linux 内核源代码中充满了大量的goto:
所以说,goto 还是有人用的!
6、void 到底是何方妖怪?(重点)
我们知道C语言提供了很多种数据类型,int,float,char... 大家都知道 void 是空类型,那么首先我们来思考第一个问题,void 可以定义变量吗?
答案显然是不可以的! void 的类型大小是不确定的!
经过测试,void 在 windows环境的 vs 编译器下 sizeof 求出的大小是 0 ,而在 linux 环境的 gcc 编译器 sizeof 求出的大小却是 1 !
既然在 gcc 编译器求出的大小是1,为什么还是不能定义变量?其实最主要的原因是 void 本身就被编译器解释为空类型,强制的不允许定义变量,在语义的级别上就被约束了!
而 void 作为空类型,理论上是不应该开辟空间的,即使开辟了空间,也仅仅作为一个占位符看待!
我们来看 void 的几个场景:
① void 修饰函数但是有了返回值:
由上可见,void 修饰的函数是不能接收返回值的,但是经过测试,如果不拿变量接收返回值一样可以编译过去,但是不要这样写,首先 void 充当占位符,让我们知道此函数不需要返回值,再者,可以告知编译器,这个返回值无法接收!
② void 充当函数形参列表:
同时我们也能看出来,void 充当函数形参列表,我们在 vs 环境下如果强求给函数传参是会有警告的,但是编译仍然能通过,但是如果我们在 Linux 环境下是会直接报错的!这个取决于编译器!
③ void 既然不能定义变量,那么 void* 呢?
首先告诉小伙伴们答案,显然是可以的!
为什么呢,因为 void* 是指针,指针的大小在任何平台都是固定的,如果在 32 位的操作系统下指针的大小是 4 个字节,如果在 64 位操作系统下指针的大小是 8 个字节(在指针章节我们会详细讲解),不信我们就用 sizeof 求一下指针所占的大小:
④ void* 可以被任何类型的直接接收,同时 void* 可以接收任意指针类型(常用):
通常我们 void* 会用在库,系统接的设计上:比如在C中 memset、memcmp 函数等...
⑤ void* 定义的指针变量可以进行运算操作吗?
原因:因为一般对指针进行 + 或 - 更多的是衡量一个指针向前或者向后移动步长的问题,而整型指针基本都会指向一个整型变量,所以对它进行 ++ 后一定是跳过一个整型变量指向下一个整型变量,也就是说向后移动 sizeof(int); 的大小,而 void* 指针的大小本来就是不明确的!
但是在 Linux 环境下是可以编译通过的,因为 Linux 求 sizeof(void); 是占 1 个字节的,所以对 void* 指针进行 ++ -- 是向前或向后移动一个字节,但是在 windows vs 环境下占 0 字节,无意义的!
根本原因是因为使用的C标准扩展的问题,一句话,大部分编译器是标准C,而Linux下是扩展C,Linux平台也能保证标准C的运行,感兴趣的小伙伴可以自己去查询下资料~
最后一点,void* 指针是不能直接解引用的!因为并不知道以什么类型去解释指向空间里的数据,也就是说并不知道解引用访问多少个自己,会直接编译报错,在 Linux 环境下也是一样的,具体小伙伴的可以自行去测试哦!