軟件構造知識點複習：數據類型+spec+ADT(上)

數據類型與類型檢查 { 靜 態 類 型 檢 查 ： 語 法 錯 誤 （ 類 名 ， 函 數 名 ， 參 數 的 數 目 / 類 型 ， 返 回 值 ） 動 態 類 型 檢 查 ： 非 法 參 數 ， 非 法 返 回 值 ， n u l l ， 數 組 越 界 \left\{ \begin{array}{c} 靜態類型檢查：語法錯誤（類名，函數名，參數的數目/類型，返回值） \\ 動態類型檢查：非法

>>阅读原文<<