作者cat99961 (阿湯)
看板Programming
標題[問題] 請問關於強型態的定義的問題
時間Thu Jan 19 21:44:51 2017
請問我唸書時念到有關於強型態語言的定義,擷取部分內容如下:
強勢型態程式語言符合下列要求：
1. 每一個變數都靜態地繫結到單一資料型態
2. 變數資料型繫結後，在程式執行過程不能修改其資料型態
3. 當允許一個變數儲存不同資料型態之值時，其值的型態可以靜態地或動態地檢查出來
4.....
5....
請問這1、2點和第3點不是互相矛盾嗎?前2點說一個變數只能是單一資料型態，
且型態不能修改，第3點又說允許一個變數存不同資料型態
請問有誰可以告訴我呢?
關於第3點可否舉例讓我明白呢?
感激不盡…
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.232.225.26
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Programming/M.1484833494.A.026.html
1F：推 tommady: 小弟覺得。。。您可以提供一下原文句子180.217.189.212 01/19 22:15
2F：→ tommady: 嗎？因為我讀起來感覺像在說第三點屬於c180.217.189.212 01/19 22:15
3F：→ tommady: ompile time180.217.189.212 01/19 22:15
4F：→ allexj: 靜態才是 compile time 114.32.236.34 01/19 23:21
5F：→ allexj: 動態我猜是指 RTTI 114.32.236.34 01/19 23:21
6F：→ allexj: 只是這樣的話，弱型別沒有辦法用 RTTI？ 114.32.236.34 01/19 23:21
7F：→ Chikei: python或是c++的auto都是 211.72.92.133 01/20 11:35
8F：→ Chikei: 變數的id本身型態是不指定的，但是編譯或 211.72.92.133 01/20 11:36
9F：→ Chikei: 執行期一旦指定binding對象後就不會改變 211.72.92.133 01/20 11:37