假大空一直是人们深恶痛绝的,在编程语言中同样如此,因为它们制造了许多的陷阱。但没有它们还不行,没有它们,编程语言甚至跑不起来。
学习一门编程语言,首先要了解这门语言是如何表示假大空的。
假
在c语言中,只有一种东西是假,那就是数字0,其它都为真。真假配合if语句或者条件表达式来使用。
在现在很多编程语言中,使用boolean类型中的false值来表示假。scheme中,用#f表示假。
假是一种逻辑值,帮助人们完成程序的分支,跳转,中断等;假与真构成一对矛盾,而矛盾是推动事物发展的内在因素。所以,不能没有。
lisp和lua中,用nil表示假。
多数语言的 if语句可以判断的内容类型是很广泛的,但假值被限定在小的范围。
大
大最擅长的事是制造溢出,越界访问等错误。在c语言中,数字大小是有范围的,因为字节长度有限。对一个有符号的正整数来说,一直变大最后会溢出,溢出了就变成了负数。程序员只能自己小心翼翼的编码,防止溢出。
数组的长度也是有限的,当使用的下标超出数组范围的时候,就会发生必然会发生的错误。
每种编程语言对大的定义是不一样的。大到什么程度才算大。超出预先的约定,都是大。绝对值极大的负数也是一种大。绝对值无限接近于0的数也是大,因为要表示它,需要极大的负数幂,那个幂本身就可能超出机器能表示的范围。所以,小到极致还是大。
计算机只能处理小,而越来越进步的计算机就越来越能处理大。但能处理的都是小,不能处理的都是大。
c语言用外部的数学库来完成大的计算。多数的LISP语言天生就能处理大整数,几百位或者几千位十进制,乃至更多。但再大也有范围。
有的编程语言不能处理大,就用NaN来表示大。多数的时候,你看到这三个字母,就表示程序出错了。这三个字母的意思是Not A Number。大被表示成不是一个数字。
空
空表示没有,通常是指集合中没有元素,或者是列表队列栈中没有元素。而表示空,也常常用数字0,表示集合中有零个元素,或者数据长度为零。
c语言表示空的实现多种多样,常用的做法是判断一对指针的相对位置。
空表示没有,但空本身需要一种表示。LISP语言中用一对没有任何内容的括号表示空。nil是空列表,也是假逻辑值,是既假且空的。null用来判断一个列表是否为空列表。
空表示没有,但可以有。表示空的变量通常可以进行元素的添加,但能添加多少,就受到大的限制。大带来麻烦,但空不会。只要注意集合空了以后,就不要再删除元素了。不要删除集合中不存在的元素(这个涉及到无的范畴)。空不是无,但空可以表示无,无也可以表示空。无元素的集合是空集。集合中不存在的,就是无。
这里面会有一个深层次的哲学上逻辑悖论。但设计好元素的类型,多数时候不会引发程序错误。这就是类型检查为什么如此重要的缘故。
编程语言中,空的函数或者操作也很重要。
汇编语言用NOP表示空操作,什么也不做。但将来改写以后也可以做点什么。还可以用来对齐数据。
在面向对象的语言中,空的函数很重要,常用来继承。空是一种抽象,表示现在是无,将来可以有。或者,本来有,但现在没有。所以,空不是无。
如果有一个ID函数,返回参数本身,那么它看起来像空函数。但它不是空,因为它已经有了操作。真的空函数什么也不做。但编译器还是对它做了点什么,因此空就变的有用了。
在perl语言中,空的字符串也可以表示逻辑的假。
除了假大空,最重要的概念就是无
网友评论