若一种程序设计语言规定其程序中的数据必须具有类型，则有利于（）。在翻译程序的过程中为数据合理分配存储单元②对参与表达式计算的数据对象进行检查③定义和应用动态数据结构④规定数据对象的取值范围及能够进行的运算⑤对数据进行强制类型转换