首先声明,本人还没有深入了解过编译原理,这里的二义性不是指编译原理中的二义性,只是借用了这个称呼。
1 什么是二义性
诸子百家中有名家提倡“正名实”,即“正彼此之是非,使名实相符”。汉宣帝也有“且俗儒不达时宜,好是古非今,使人眩于名实,不知所守”。这里的名,指的是对事物(包括实体、概念、过程及行为等)的称谓;而实指的就是事物本身。人与人之间使用语言交流,是在以名代实,因此无障碍的交流要求有默认的名实对应关系。但实际上,人类语言会有两种普遍情况:一是,一名对多实;二是,多名对一实。一名对多实的情况例如:车,加工业从业者常称机床为车,而非加工业从业者则默认车是指交通工具;饭,有些地方说饭指的是大米饭,而另一些地方说饭则泛指三餐的食物。多名对一实的情况例如:鲁迅与周树人其实是同一个人;电脑与计算机指的是同一事物。在这两种情况下,便产生了名与实并非一一对应的关系,从而有可能在交流沟通中产生歧义和误解。这就是语言的二义性。
上面所说的两种情况中,前一种二义性产生的影响更大,因此一般所说的二义性更多指前一种情况,我们将其称为“狭义二义性”;二种情况合称为“广义二义性”。如果对比编程语言与人类语言我们会发现一个问题:编程语言中不会出现狭义二义性。如果将变量当作“名”,而将内存中的对象当作“实”,那么只有可能出现“多个变量指向同一个对象的情况”,而不可能出现“一个变量同时指向多个对象”。
2 映射关系
为会么编程语言中不可以出现狭义二义性?本质上编程语言是一种准确描述算法模型的语言,而算法模型是狭义上的数学模型。我们知道,使用数学来解决问题时,大部分情况下都要由函数描述最终的模型,而函数即是映射。因此,作为准确算法模型的语言,也必需遵守映射的特性。
作为映射,对作何定义域内的自变量,都要有一个因变量与其对应。即一个自变量x只能对应一个因变量y,允许两个x对应的y值是相同的,但不能出现一个x对应两个y。如果名是自变量x,实是因变量y,很显然人类语言是不满足映射关系的,而编程语言需要满足映射关系。
3 认识二义性有什么用
认识二义性有两个很重要的意义:
-
软件开发的过程,本质上是消除二义性的过程。消除二义性是软件开发过程的必然要求;
-
有效地交流沟通需要以共识为前提。因此,消除二义性也是降低沟通成本的必然要求。
以上两点将逐步探讨。