二义性-人类语言与编程语言的重要区别

首先声明，本人还没有深入了解过编译原理，这里的二义性不是指编译原理中的二义性，只是借用了这个称呼。

1 什么是二义性

诸子百家中有名家提倡“正名实”，即“正彼此之是非，使名实相符”。汉宣帝也有“且俗儒不达时宜，好是古非今，使人眩于名实，不知所守”。这里的名，指的是对事物（包括实体、概念、过程及行为等）的称谓；而实指的就是事物本身。人与人之间使用语言交流，是在以名代实，因此无障碍的交流要求有默认的名实对应关系。但实际上，人类语言会有两种普遍情况：一是，一名对多实；二是，多名对一实。一名对多实的情况例如：车，加工业从业者常称机床为车，而非加工业从业者则默认车是指交通工具；饭，有些地方说饭指的是大米饭，而另一些地方说饭则泛指三餐的食物。多名对一实的情况例如：鲁迅与周树人其实是同一个人；电脑与计算机指的是同一事物。在这两种情况下，便产生了名与实并非一一对应的关系，从而有可能在交流沟通中产生歧义和误解。这就是语言的二义性。

上面所说的两种情况中，前一种二义性产生的影响更大，因此一般所说的二义性更多指前一种情况，我们将其称为“狭义二义性”；二种情况合称为“广义二义性”。如果对比编程语言与人类语言我们会发现一个问题：编程语言中不会出现狭义二义性。如果将变量当作“名”，而将内存中的对象当作“实”，那么只有可能出现“多个变量指向同一个对象的情况”，而不可能出现“一个变量同时指向多个对象”。

2 映射关系

为会么编程语言中不可以出现狭义二义性？本质上编程语言是一种准确描述算法模型的语言，而算法模型是狭义上的数学模型。我们知道，使用数学来解决问题时，大部分情况下都要由函数描述最终的模型，而函数即是映射。因此，作为准确算法模型的语言，也必需遵守映射的特性。

作为映射，对作何定义域内的自变量，都要有一个因变量与其对应。即一个自变量x只能对应一个因变量y，允许两个x对应的y值是相同的，但不能出现一个x对应两个y。如果名是自变量x，实是因变量y，很显然人类语言是不满足映射关系的，而编程语言需要满足映射关系。

3 认识二义性有什么用

认识二义性有两个很重要的意义：

• 软件开发的过程，本质上是消除二义性的过程。消除二义性是软件开发过程的必然要求；

• 有效地交流沟通需要以共识为前提。因此，消除二义性也是降低沟通成本的必然要求。

以上两点将逐步探讨。