对任一变量一旦被指定为某一确定类型后，该变量在程序运行时所占存储空间的多少和所能参加的运算类型便已确定了