一天不进步,就是退步!

一天不进步,就是退步!

故事背景

  在《西游记》原著第六回,孙悟空大闹天宫反下界,玉帝派十万天兵围剿,却被打得落花流水。玉帝不得不放下架子,请自己外甥二郎神回来支援。孙悟空与二郎神本事差不多,两人斗得不分胜负,但二郎神有梅山六兄弟助阵,而孙的阵营只是乌合之众。两人战斗正酣时,孙悟空闻后方阵营攻破,猴子被打散,心中发慌败下阵来。

孙悟空的七十二变是那般?--java类型的七十二变揭秘-LMLPHP

  为了逃脱梅山六兄弟的围追堵截,孙悟空摇身一变,变作一个麻雀,飞在树桃头钉住。这个变化太low了,二郎神一眼就识破假象,立即变成饿鹰扑了过来。孙悟空只得又变成大鹚老冲天而起,二郎神则变成大海鹤,钻上云宵来嗛……

孙悟空的七十二变是那般?--java类型的七十二变揭秘-LMLPHP

  几经斗法,孙悟空最后变成一座土地庙,牙齿作门扇,舌头变菩萨,眼睛变窗棂,但尾巴却不好收拾,只得竖在后面,变成一根旗竿。这个变化迷惑性很大,一般神仙还真看不破。不料二郎神赶到,见一根旗竿立在后面,顿时笑了:“是这猢狲了!他今又在那里哄我。我也曾见庙宇,更不曾见一个旗竿竖在后面的。断是这畜生弄谊!他若哄我进去,他便一口咬住。我怎肯进去?等我掣拳先捣窗棂,后踢门扇!”孙悟空一听,妈妈呀,这二郎神好狠!“门扇是我牙齿,窗棂是我眼睛;若打了牙,捣了眼,却怎么是好?”于是赶紧收了法相,逃命去了。

孙悟空的七十二变是那般?--java类型的七十二变揭秘-LMLPHP

  这七十二变的最大缺陷是:若是变飞禽、走兽、花木、器皿、昆虫之类,可以连身子一起变;但如果变人物,却只是头脸变了,身子变不过来,还有一身黄毛,两块红股,一条尾巴。原因:七十二变化本身就是人研制出来的,也是为人量身打造的,故孙悟空学会后会存在缺陷。

java中的七十二变

我们看一下,java的七十二般变化吧!

public class Multicast{
public static void main (String[] args){
System.out.println((int)(char)(byte) -1);
}
}

上面的程序以int 数值-1 开始,然后从int转型为byte,之后转型为char,最后转型回int。第一个转型将数值从32 位窄化到了8 位,第二个转型将数值从8 位拓宽到了16 位,最后一个转型又将数值从16 位拓宽回了32 位。这个数值最终是回到了起点吗?

是不是想起了《看我七十二变》:

  看我七十二变

  今天新鲜改变再见

  美丽极限爱漂亮没有终点

  追求完美的境界

  人不爱美天诛地灭

  别气馁旧观念抛到一边

  现在就开始改变

  麻雀也能飞上青天

运行看结果吧

65535

为什么会这样呢?我们将程序一步步分开来看:

    public static void main (String[] args){
        int i=-1;
        byte b=(byte)-1; //1
        char c=(char)b; //2
        int r=(int)c; //3
        System.out.println(r);
        }

第一步:int转byte

  byte b=-1 窄化后没有改变值

第二步:byte转char

  从byte 到char 的转型稍微麻烦一点,因为byte 是一个有符号类型,而char是一个无符号类型。在将一个整数类型转换成另一个宽度更宽的整数类型时,通常是可以保持其数值的,但是却不可能将一个负的byte 数值表示成一个char。因此,从byte 到char 的转换被认为不是一个拓宽原始类型的转换,而是一个拓宽并窄化原始类型的转换(widening and narrowing primitive conversion):byte 被转换成了int,而这个int 又被转换成了char

char c=65535//符号扩展

第三步:char转int

  int r=65535//零扩展

因为byte 是一个有符号的类型,所以在将byte 数值-1 转换成char 时,会发生符号扩展。作为结果的char 数值的16 个位就都被置位了,因此它等于2的16次方-1,即65535。

从char 到int 的转型也是一个拓宽原始类型转换,它将执行零扩展而不是符号扩展。作为结果的int 数值也就成了65535,

这正是程序打印出的结果。

深入:java如何七十二变?

jls-5强制类型转换,定义标识如下:

- 表示不运行任何强制类型转换

≈ 表示标识抓获(§5.1.1)

ω 表示拓宽基本类型转换 (§5.1.2)

η 表示窄化基本类型转换 (§5.1.3)

ωη 表示拓宽和窄化类型转换 (§5.1.4)

⇑ 表示拓宽引用类型转换 (§5.1.5)

⇓ 表示窄化引用类型转换(§5.1.6)

⊕ 表示装箱转换 (§5.1.7)

⊗表示拆卸类型转换 (§5.1.8)

孙悟空的七十二变是那般?--java类型的七十二变揭秘-LMLPHP

到基本类型的强制类型转换

孙悟空的七十二变是那般?--java类型的七十二变揭秘-LMLPHP

到引用类型的强制类型转换

更详细的资料请参照JSL5描述,链接地址见参考资料【3】

参考资料

【1】https://baike.baidu.com/tashuo/browse/content?id=1275b5b5f23ff153017f164c&fr=qingtian&lemmaId=11061

【2】https://baike.baidu.com/item/%E4%B8%83%E5%8D%81%E4%BA%8C%E5%8F%98/11061?fr=aladdin#2_2

【3】https://docs.oracle.com/javase/specs/jls/se12/html/jls-5.html

【4】java解惑

10-05 08:25