7.1.1数据类型 类型的合法性检查是判断数据的类型是否与上下文的要 求相一致,例如 Pascal的运算符“+'不能作用在字符型数据 上,而C语言的‘+'却能作用在字符型数据上。在数据类型 上定乂的各种运算通常包括赋值和一系列类型转换规则,这 些规则保证了作用在数据对象上的某个运算符顺便通过由编 译程序的类型的合法性检査,并实现其合法的算和赋值。因 此,给出定义: 定义71数据类型是对该类型数据(变量或常量)的取值是 否合法以及对该类型据的运算是否合法的一种说明7.1.1 数据类型 类型的合法性检查是判断数据的类型是否与上下文的要 求相一致，例如Pascal的运算符‘+’不能作用在字符型数据 上，而C语言的‘+’却能作用在字符型数据上。在数据类型 上定义的各种运算通常包括赋值和一系列类型转换规则，这 些规则保证了作用在数据对象上的某个运算符顺便通过由编 译程序的类型的合法性检查，并实现其合法的算和赋值。因 此，给出定义： 定义7.1 数据类型是对该类型数据（变量或常量）的取值是 否合法以及对该类型据的运算是否合法的一种说明