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