作者cat99961 (阿湯)
看板CSSE
標題請問關於強型態的定義的問題
時間Thu Jan 19 21:37:44 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/CSSE/M.1484833067.A.B61.html
1F：推 micklin: float 存 int? 01/20 00:15
2F：→ cat99961: 我是原PO 01/20 00:57
3F：→ cat99961: 他下面有些ADA的例子(ADA是強型態語言) 01/20 00:57
4F：→ cat99961: X:Integer:=4; //將X變數設為整數4 01/20 00:57
5F：→ cat99961: Y:Float; //將Y設為浮點數 01/20 00:58
6F：→ cat99961: Y:=X; //錯誤!整數不能直接指派給浮點數 01/20 00:58
7F：→ cat99961: =>這個地方我覺得奇怪的是以上這行寫指派不同型態會錯誤 01/20 00:59
8F：→ cat99961: 那第3點又說允許一個變數存不同資料型態??? 01/20 00:59
9F：→ dannypsnl: 那它第三點給了什麼範例 01/20 01:45
10F：推 ronin728: 這定義是有問題的，建議去PTL板問，那邊很多專門研究 02/25 00:56
11F：→ ronin728: 程式語言與數學的人 02/25 00:56