我们知道,每一种程序设计语言都提供一定的类型检查,类型检查可以在编译时进行,也可以在运行时进行,分别称做静态类型检查和动态类型检查.由于静态类型的检查是在编译时进行,实现比较容易,能提高程序的运行效率,而动态检查正好相反,它要在程序运行时为每个数据对象保留一个数据类型的标记,仅当变量和数据类型正确时才执行相应的操作,否则报错,所以实现不容易,效率也较低,然而,它比较灵活.所以如何编译程序对语言的实现效率有很大的影响,因此引出了强类型的概念,比较全面的定义是:a.每个变量都能在编译时确定唯一的类型…