[請益] LPC 數值轉型

[typers (Typer)]

        float pi = 3.14;
        int i = (int) pi;

        if (intp(i)) {
            printf("It's INT, i = %d\n", i);
        } else if (floatp(i)) {
            printf("It's FLOAT, i = %f\n", i);
        } else if (stringp(i)) {
            printf("It's STRING, i = \"%s\"\n", i);
        }


猜猜上面這段 LPC 會印出哪一種結果

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 36.235.37.201
※ 文章網址: https://www.ptt.cc/bbs/mud/M.1529727995.A.C49.html
→ laechan     : 蠻有意思的呵
→ nightcola   : int !
(以下說明是以 fluffos 2.27 為基礎, 其他版本的 mudos 也許會有不一樣的結果)

答案: It's FLOAT, i = 3.140000

這個結果實在是有夠讓人 Orz 的

經過了幾次測試
發現 int i = (int) pi; 這樣的用法
只是把 float 型態的值硬塞進 int 型態的變數
表面看起來是 int, 但骨子裡還是 float, 實際上並沒有轉型

另外測試去掉轉型變成 int i = pi;
                     ^^^^^^^^^^^
                     這邊有誤, 詳見補充說明
則是會引發 runtime error

又 fluffos 提供了一個 to_int() 的 efun
可以將 string/float 轉成 int

故小弟的結論:
LPC 中 (int|float|string|...) 形式的轉型, 實際上是沒有作用的
同時也要避免使用, 因為用了反而會抑制 error 的發生, 導致更多的 bug

這種現象應該算是 fluffos 2.27 的 bug 了
但小弟對 lex/yacc 實在不熟, 連問題在哪都看不出來
在還沒找到修正的方式之前, 只能避免使用強制轉型了

※ 編輯: typers (36.235.37.201), 06/24/2018 01:27:26
推 ddavid      : 這也太華麗的處理方式了吧XD
推 ddavid      : 那這之後i被拿去int操作，它又怎麼
推 ddavid      : 處理的，會爛得很慘還是神秘地能夠
推 ddavid      : 撐住某些常用情況？
轉型後的 i 就是 int 皮 float 骨
後續的 +-*/ 都會當作 float 運算
賦值至其他 int 變數時不會出錯, 結果仍是 int 皮 float 骨
不過在 printf("%d", i); 這種會檢查型別的 efun 則會跳 runtime error

→ laechan     : 意思就是這種還是少用
※ 編輯: typers (1.165.46.138), 06/24/2018 22:57:25
→ m8403051    : 看mudos simul_efun.c,floatp是檢查
推 m8403051    : sp->type所以應該是都是object type
推 m8403051    : 說錯, 是 efuns_main.c
推 neca        : 學習了
→ smmoon      : 原來還有人在研究lpc啊  真懷念
推 neca        : 老兵不死 只是凋零
補充說明:
    更正會出現 runtime error 的 code 如下
        ob->set_temp("pi", pi);
        i = ob->query_temp("pi");


而 int i = pi; 並不會發生錯誤, 但結果依然 Orz

i = (int) pi;  // i = 3.1400, 型態 float
i = pi;        // i = 3,      型態 int

提示要轉型的沒有轉型, 沒提示的卻轉型了.........
※ 編輯: typers (36.233.6.251), 06/26/2018 17:05:23
推 PiGFAcE     : 果然是大大