mud 板 typers 板友有贴文，原文
┌─────────────────────────────────────┐
│ 文章代码(AID): #1RBSlxn9 (mud) [ptt.cc] [请益] LPC 数值转型 │
│ 文章网址: https://www.ptt.cc/bbs/mud/M.1529727995.A.C49.html │
└─────────────────────────────────────┘
大意是，如果把以下的 code 贴到running 去跑的话:
// int i 在 running code 默认为已宣告
if(1)
{
float f=3.14;
i=(int)f;
if(intp(i))
write("i 是整数.\n");
else if(floatp(i))
write("i 是浮点数.\n");
else
write("i 是其它型态.\n");
}
执行结果:
========== 程式执行区 ==========
i 是浮点数.
========== 程式执行区 ==========
也就是说，看起来，(int) 的动作并非表面地把它后面接的
东西强制变成整数型态，而是实际上比方阿银跟伊莉莎白站
在一起时，我们原本能区分他们的不同(两者是不同型态)，
而 (int)阿银这个动作就类似把伊莉莎白装套在阿银身上，
这时阿银的型态就会被视为是伊莉莎白，使 i = (int)阿银
这样的程式段不会出 error。
(各位可想成若 i = f 就会出 error, i = (int)f 则不会)
但是实际上它做的事情，是把伊莉莎白变成了阿银。
(即 i 变成了 f，这里是指等号两边都接变量时)
那为啥这样写不会出问题? 因为实际上我们很少把一个已经
宣告为 float 的 "变量" 再用其它型态的变量去 = 它，我
们通常是这样做:
int lv = (int)ppl->query("level");
string names = (string)ppl->query("name");
mapping data = (mapping)ppl->query("guild");
也就是说通常我们用到的场合，等号后面接的是一个读取值
的动作，而不是一个明确的宣告变量。
但大家仍要注意，它可能会有 bypass 某些 error 产生的情
况,既然是 error 就应该被呈现出来而不是被忽略无视。
之所以不说"看起来等号后面的动作会变更等号前面的变量型
态"，是因为底下的 running code:
i=(int)me->query("xxxxx"); // 实际上读出的值为 null
if(intp(i)) write("i 是整数.\n");
else write("i 是其它型态.\n");
========== 程式执行区 ==========
i 是整数.
========== 程式执行区 ==========
若按照上面的说法，则 i 应该是其它型态，值应该是 null。
Laechan