Re: [問題] 請問關於強型態的定義的問題
不是很確定你看的是哪一本書
不過在 Programming language 的定義上是這樣：
型別檢查 (type checking)：
檢查變數的型別，避免對變數做出不符合其型別的操作 (ex 使用不合法的運算或取用不存在的物件成員)
強型別 (strong type-checking)：
compiler / interpreter 永遠會進行型別檢查，目前大部分主流程式語言都屬於強型別，包括 Java、C#、Python、JavaScript
弱型別 (weak type-checking)：
compiler / interpreter 允許在某些情況下略過型別檢查，可能會造成未定義行為 (undefined behavior)，如 assembly、C/C++
靜態型別 (static type-checking)：
在 compile-time 進行型別檢查，如 Java、C#
動態型別 (dynamic type-checking)：
在 runtime 進行型別檢查，如 Python、JavaScript
許多靜態型別語言仍然會保留部分動態型別的特性，比如說 RTTI 或是 reflection 都算是動態型別檢查的應用。
-----
Sent from JPTT on my Sony F8332.
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 60.250.32.97
※ 文章網址: https://www.ptt.cc/bbs/Programming/M.1484899664.A.8FC.html
推
02/19 08:27, , 1F
02/19 08:27, 1F
→
02/19 08:28, , 2F
02/19 08:28, 2F
→
02/19 08:29, , 3F
02/19 08:29, 3F
→
02/19 08:31, , 4F
02/19 08:31, 4F
→
03/04 02:11, , 5F
03/04 02:11, 5F
→
03/04 02:12, , 6F
03/04 02:12, 6F
→
03/04 02:13, , 7F
03/04 02:13, 7F
推
03/31 18:39, , 8F
03/31 18:39, 8F
→
03/31 18:39, , 9F
03/31 18:39, 9F
推
04/02 13:16, , 10F
04/02 13:16, 10F
→
04/02 13:16, , 11F
04/02 13:16, 11F
討論串 (同標題文章)
完整討論串 (本文為第 2 之 2 篇)：
Programming 近期熱門文章
PTT數位生活區 即時熱門文章
