若一種程序設(shè)計(jì)語(yǔ)言規(guī)定其程序中的數(shù)據(jù)必須具有類型，則有利于（  ）。
①在翻譯程序的過(guò)程中為數(shù)據(jù)合理分配存儲(chǔ)單元
②對(duì)參與表達(dá)式計(jì)算的數(shù)據(jù)對(duì)象進(jìn)行檢查
③定義和應(yīng)用動(dòng)態(tài)數(shù)據(jù)結(jié)構(gòu)
④規(guī)定數(shù)據(jù)對(duì)象的取值范圍及能夠進(jìn)行的運(yùn)算
⑤對(duì)數(shù)據(jù)進(jìn)行強(qiáng)制類型轉(zhuǎn)換
A.①②③ 
B.①②④ 
C.②④⑤ 
D.③④⑤