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

[cat99961 (阿湯)]

請問我唸書時念到有關於強型態語言的定義,擷取部分內容如下:

強勢型態程式語言符合下列要求：
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
推 tommady: 小弟覺得。。。您可以提供一下原文句子
→ tommady: 嗎？因為我讀起來感覺像在說第三點屬於c
→ tommady: ompile time
→ allexj: 靜態才是 compile time
→ allexj: 動態我猜是指 RTTI
→ allexj: 只是這樣的話，弱型別沒有辦法用 RTTI？
→ Chikei: python或是c++的auto都是
→ Chikei: 變數的id本身型態是不指定的，但是編譯或
→ Chikei: 執行期一旦指定binding對象後就不會改變