[問題] 請問關於強型態的定義的問題

看板Programming作者 (阿湯)時間7年前 (2017/01/19 21:44), 編輯推噓1(108)
留言9則, 3人參與, 最新討論串1/2 (看更多)
請問我唸書時念到有關於強型態語言的定義,擷取部分內容如下: 強勢型態程式語言符合下列要求: 1. 每一個變數都靜態地繫結到單一資料型態 2. 變數資料型繫結後,在程式執行過程不能修改其資料型態 3. 當允許一個變數儲存不同資料型態之值時,其值的型態可以靜態地或動態地檢查出來 4..... 5.... 請問這1、2點和第3點不是互相矛盾嗎?前2點說一個變數只能是單一資料型態, 且型態不能修改,第3點又說允許一個變數存不同資料型態 請問有誰可以告訴我呢? 關於第3點可否舉例讓我明白呢? 感激不盡… -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.232.225.26 ※ 文章網址: https://www.ptt.cc/bbs/Programming/M.1484833494.A.026.html

01/19 22:15, , 1F
小弟覺得。。。您可以提供一下原文句子
01/19 22:15, 1F

01/19 22:15, , 2F
嗎?因為我讀起來感覺像在說第三點屬於c
01/19 22:15, 2F

01/19 22:15, , 3F
ompile time
01/19 22:15, 3F

01/19 23:21, , 4F
靜態才是 compile time
01/19 23:21, 4F

01/19 23:21, , 5F
動態我猜是指 RTTI
01/19 23:21, 5F

01/19 23:21, , 6F
只是這樣的話,弱型別沒有辦法用 RTTI?
01/19 23:21, 6F

01/20 11:35, , 7F
python或是c++的auto都是
01/20 11:35, 7F

01/20 11:36, , 8F
變數的id本身型態是不指定的,但是編譯或
01/20 11:36, 8F

01/20 11:37, , 9F
執行期一旦指定binding對象後就不會改變
01/20 11:37, 9F
文章代碼(AID): #1OWCBM0c (Programming)
文章代碼(AID): #1OWCBM0c (Programming)