呃，你是不是写Java已经有些年头了？还依稀记得这些吧：那些年，它还叫做Oak；那些年，OO还是个热门话题；那些年，C++同学们觉得Java是没有出路的；那些年，Applt还风头正劲……
但我打赌下面的这些事中至少有一半你还不知道。这周我们来聊聊这些会让你有些惊讶的Java内部的那些事儿吧。
1.其实没有受检异常（chckdxcption）是的！JVM才不知道这类事情，只有Java语言才会知道。
今天，大家都赞同受检异常是个设计失误，一个Java语言中的设计失误。正如BrucEckl在布拉格的GCON会议上演示的总结中说的，Java之后的其它语言都没有再涉及受检异常了，甚至Java8的新式流API（StamsAPI）都不再拥抱受检异常（以lambda的方式使用IO和JDBC，这个API用起来还是有些痛苦的。）
想证明JVM不理会受检异常？试试下面的这段代码：
publicclassTst{
//方法没有声明throws
publicstaticvoidmain(String[]args){
doThrow(nwSQLExcption());
}
staticvoiddoThrow(Excption){
Tst.RuntimExcptiondoThrow0();
}
SuppssWarnings(unchckd)staticExtndsExcption
voiddoThrow0(Excption)throwsE{
throw(E);
}
}
不仅可以编译通过，并且也抛出了SQLExcption，你甚至都不需要用上Lombok的
SnakyThrows。更多细节，可以再看看这篇文章，或StackOvrflow上的这个问题。
.可以有只是返回类型不同的重载方法下面的代码不能编译，是吧？
classTst{
Objctx(){turnabc;}
Stringx(){turn13;}
}
是的！Java语言不允许一个类里有个方法是『重载一致』的，而不会关心这个方法的throws子句或返回类型实际是不同的。
但是等一下！来看看Class.gtMthod(String,Class...)方法的
Javadoc：
注意，可能在一个类中会有多个匹配的方法，因为尽管Java语言禁止在一个类中多个方法签名相同只是返回类型不同，但是JVM并不禁止。这让JVM可以更灵活地去实现各种语言特性。比如，可以用桥方法(bridgmthod)来实现方法的协变返回类型；桥方法和被重载的方法可以有相同的方法签名，但返回类型不同。
嗯，这个说的通。实际上，当写了下面的代码时，就发生了这样的情况：
abstractclassPantT{
abstractTx();
}
classChildxtndsPantString{
OvrridStringx(){turnabc;}
}
查看一下Child类所生成的字节码：
//Mthoddscriptor#15()Ljava/lang/String;
//Stack:1,Locals:1
java.lang.Stringx();
0ldcStringabc[16]
aturn
Linnumbrs:
[pc:0,lin:7]
Localvariabltabl:
[pc:0,pc:3]local:thisindx:0typ:Child
//Mthoddscriptor#18()Ljava/lang/Objct;
//Stack:1,Locals:1
bridgsynthticjava.lang.Objctx();
0aload_0[this]
1invokvirtualChild.x():java.lang.String[19]
4aturn
Linnumbrs:
[pc:0,lin:1]
在字节码中，T实际上就是Objct类型。这很好理解。
合成的桥方法实际上是由编译器生成的，因为在一些调用场景下，Pant.x()方法签名的返回类型期望是Objct。添加泛型而不生成这个桥方法，不可能做到二进制兼容。所以，让JVM允许这个特性，可以愉快解决这个问题（实际上可以允许协变重载的方法包含有副作用的逻辑）。聪明不？呵呵～
你是不是想要扎入语言规范和内核看看？可以在这里找到更多有意思的细节。
3.所有这些写法都是二维数组！classTst{
int[][]a(){turnnwint[0][];}
int[]b()[]{turnnwint[0][];}
intc()[][]{turnnwint[0][];}
}
是的，这是真的。尽管你的人肉解析器不能马上理解上面这些方法的返回类型，但都是一样的！下面的代码也类似：
classTst{
int[][]a={{}};
int[]b[]={{}};
intc[][]={{}};
}
是不是觉得这个很B？想象一下在上面的代码中使用JSR-/Java8的类型注解。语法糖的数目要爆炸了吧！
Targt(ElmntTyp.TYPE_USE)intrfacCrazy{}classTst{
Crazyint[][]a1={{}};int
Crazy[][]a={{}};int[]
Crazy[]a3={{}};Crazyint[]b1[]={{}};int
Crazy[]b[]={{}};int[]b3
Crazy[]={{}};Crazyintc1[][]={{}};intc
Crazy[][]={{}};intc3[]
Crazy[]={{}};}
类型注解。这个设计引入的诡异在程度上仅仅被它解决问题的能力超过。
或换句话说：
在我4周休假前的最后一个提交里，我写了这样的代码，然后。。。
请找出上面用法合适的使用场景，还是留给你作为一个练习吧。
4.你没有掌握条件表达式呃，你认为自己知道什么时候该使用条件表达式？面对现实吧，你还不知道。大部分人会下面的个代码段是等价的：
Objcto1=tru?nwIntgr(1):nwDoubl(.0);
等同于：
Objcto;
if(tru)
o=nwIntgr(1);
ls
o=nwDoubl(.0);
让你失望了。来做个简单的测试吧：
Systm.out.println(o1);
Systm.out.println(o);
打印结果是：
1.0
1
哦！如果『需要』，条件运算符会做数值类型的类型提升，这个『需要』有非常非常非常强的引号。因为，你觉得下面的程序会抛出NullPointrExcption吗？
Intgri=nwIntgr(1);
if(i.quals(1))
i=null;
Doubld=nwDoubl(.0);
Objcto=tru?i:d;//NullPointrExcption!
Systm.out.println(o);
关于这一条的更多的信息可以在这里找到。
5.你没有掌握复合赋值运算符是不是觉得不服？来看看下面的行代码：
i+=j;
i=i+j;
直觉上认为，行代码是等价的，对吧？但结果即不是！JLS（Java语言规范）指出：
复合赋值运算符表达式E1op=E等价于E1=(T)((E1)op(E))其中T是E1的类型，但E1只会被求值一次。
这个做法太漂亮了，请允许我引用PtrLawy在StackOvrflow上的回答：
使用*=或/=作为例子可以方便说明其中的转型问题：
bytb=10;
b*=5.7;
Systm.out.println(b);//prints57
bytb=;
b/=.5;
Systm.out.println(b);//prints40
charch=0;
ch*=1.1;
Systm.out.println(ch);//prints4
charch=A;
ch*=1.5;
Systm.out.println(ch);//printsa
为什么这个真是太有用了？如果我要在代码中，就地对字符做转型和乘法。然后，你懂的……
6.随机Intgr这条其实是一个迷题，先不要看解答。看看你能不能自己找出解法。运行下面的代码：
for(inti=0;i10;i++){
Systm.out.println((Intgr)i);
}
……然后要得到类似下面的输出（每次输出是随机结果）：
这怎么可能？！
.
.
.
.
.
.
.我要剧透了……解答走起……
.
.
.
.
.
.
