弱類型、強類型、動態類型、靜態類型

知乎專欄 博客 (下面是我參考上面兩個鏈接內容做的總結，不一定準確，請參考原鏈接中的回答） 動態強類型：在運行的時候能夠排除所有定義的Forbidden的行爲 靜態強類型：在編譯的時候能夠排除所有的Forbidden的行爲（報錯，不管是trapped還是untrapped） 靜態弱類型：在編譯的時候進行檢查，排除可能出現的forbidden行爲，既有可能是trapped，比如緩衝區溢出，也有可能是

>>阅读原文<<