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