1. 其實(shí)沒有受檢異常（checked exception）

是的！JVM才不知道這類事情，只有Java語言才會知道。

今天，大家都贊同受檢異常是個(gè)設(shè)計(jì)失誤，一個(gè)Java語言中的設(shè)計(jì)失誤。正如 puce Eckel 在布拉格的GeeCON會議上演示的總結(jié)中說 的， Java之后的其它語言都沒有再涉及受檢異常了，甚至Java 8的新式流API（Streams API）都不再擁抱受檢異常 （以lambda 的方式使用IO和JDBC，這個(gè)API用起來還是有些痛苦的。） 想證明JVM不理會受檢異常？試試下面的這段代碼：  

public class Test { 
 
    // 方法沒有聲明throws 
 
    public static void main(String[] args) { 
 
        doThrow(new SQLException()); 
 
    } 
 
    static void doThrow(Exception e) { 
 
        Test.<RuntimeException> doThrow0(e); 
 
    } 
 
    @SuppressWarnings("unchecked") 
 
    static <E extends Exception> 
 
    void doThrow0(Exception e) throws E { 
 
        throw (E) e; 
 
    } 
} 

不僅可以編譯通過，并且也拋出了SQLException，你甚至都不需要用上Lombok的@SneakyThrows。 更多細(xì)節(jié)，可以再看看這篇文章，或Stack Overflow上的這個(gè)問題。  

2. 可以有只是返回類型不同的重載方法

下面的代碼不能編譯，是吧？

class Test { 
 
    Object x() { return "abc"; } 
 
    String x() { return "123"; } 
 
} 

是的！Java語言不允許一個(gè)類里有2個(gè)方法是『重載一致』的，而不會關(guān)心這2個(gè)方法的throws子句或返回類型實(shí)際是不同的。 但是等一下！來看看Class.getMethod(String, Class...)方法的Javadoc： 注意，可能在一個(gè)類中會有多個(gè)匹配的方法，因?yàn)楸M管Java語言禁止在一個(gè)類中多個(gè)方法簽名相同只是返回類型不同，但是JVM并不禁止。 這讓JVM可以 更靈活地去實(shí)現(xiàn)各種語言特性。比如，可以用橋方法(pidge method)來實(shí)現(xiàn)方法的協(xié)變返回類型；橋方法和被重載的方法可以有相同的方法簽名， 但返回類型不同。 嗯，這個(gè)說的通。實(shí)際上，當(dāng)寫了下面的代碼時(shí)，就發(fā)生了這樣的情況：  

abstract class Parent<T> { 
 
    abstract T x(); 
 
} 
 
class Child extends Parent<String> { 
 
    @Override 
 
    String x() { return "abc"; } 
 
} 

查看一下Child類所生成的字節(jié)碼：  

// Method descriptor #15 ()Ljava/lang/String; 
 
// Stack: 1, Locals: 1 
 
java.lang.String x(); 
 
  0  ldc <String "abc"> [16] 
 
  2  areturn 
 
    Line numbers: 
 
      [pc: 0, line: 7] 
 
    Local variable table: 
 
      [pc: 0, pc: 3] local: this index: 0 type: Child 
 
  
 
// Method descriptor #18 ()Ljava/lang/Object; 
 
// Stack: 1, Locals: 1 
 
bridge synthetic java.lang.Object x(); 
 
  0  aload_0 [this] 
 
  1  invokevirtual Child.x() : java.lang.String [19] 
 
  4  areturn 
 
    Line numbers: 
 
      [pc: 0, line: 1] 

在字節(jié)碼中，T實(shí)際上就是Object類型。這很好理解。 合成的橋方法實(shí)際上是由編譯器生成的，因?yàn)樵谝恍┱{(diào)用場景下，Parent.x()方法簽名的返回類型期望是Object。 添加泛型而不生成這個(gè)橋方 法，不可能做到二進(jìn)制兼容。 所以，讓JVM允許這個(gè)特性，可以愉快解決這個(gè)問題（實(shí)際上可以允許協(xié)變重載的方法包含有副作用的邏輯）。 聰明不？呵呵～ 你是不是想要扎入語言規(guī)范和內(nèi)核看看？可以在這里找到更多有意思的細(xì)節(jié)。  

3. 所有這些寫法都是二維數(shù)組！

class Test { 
 
    int[][] a()  { return new int[0][]; } 
 
    int[] b() [] { return new int[0][]; } 
 
    int c() [][] { return new int[0][]; } 
 
} 

是的，這是真的。盡管你的人肉解析器不能馬上理解上面這些方法的返回類型，但都是一樣的！下面的代碼也類似：  

class Test { 
 
    int[][] a = {{}}; 
 
    int[] b[] = {{}}; 
 
    int c[][] = {{}}; 
 
} 

是不是覺得這個(gè)很2B？想象一下在上面的代碼中使用JSR-308/Java 8的類型注解。 語法糖的數(shù)目要爆炸了吧！  

@Target(ElementType.TYPE_USE) 
 
@interface Crazy {} 
 
  
 
class Test { 
 
    @Crazy int[][]  a1 = {{}}; 
 
    int @Crazy [][] a2 = {{}}; 
 
    int[] @Crazy [] a3 = {{}}; 
 
  
 
    @Crazy int[] b1[]  = {{}}; 
 
    int @Crazy [] b2[] = {{}}; 
 
    int[] b3 @Crazy [] = {{}}; 
 
  
 
    @Crazy int c1[][]  = {{}}; 
 
    int c2 @Crazy [][] = {{}}; 
 
    int c3[] @Crazy [] = {{}}; 
 
} 

類型注解。這個(gè)設(shè)計(jì)引入的詭異在程度上僅僅被它解決問題的能力超過。 或換句話說：

在我4周休假前的最后一個(gè)提交里，我寫了這樣的代碼，然后。。。

[[153751]]

【譯注：然后，親愛的同事你，就有得火救啦，哼，哼哼，哦哈哈哈哈～】

請找出上面用法合適的使用場景，還是留給你作為一個(gè)練習(xí)吧。

 

4. 你沒有掌握條件表達(dá)式

呃，你認(rèn)為自己知道什么時(shí)候該使用條件表達(dá)式？面對現(xiàn)實(shí)吧，你還不知道。大部分人會下面的2個(gè)代碼段是等價(jià)的：

Object o1 = true ? new Integer(1) : new Double(2.0); 

等同于：  

Object o2; 
if (true) 
    o2 = new Integer(1); 
else 
  o2 = new Double(2.0); 

讓你失望了。來做個(gè)簡單的測試吧：  

System.out.println(o1); 
System.out.println(o2); 

打印結(jié)果是：  

1.0 
1 

哦！如果『需要』，條件運(yùn)算符會做數(shù)值類型的類型提升，這個(gè)『需要』有非常非常非常強(qiáng)的引號。因?yàn)椋阌X得下面的程序會拋出NullPointerException嗎？  

Integer i = new Integer(1); 
 
if (i.equals(1)) 
 
    i = null; 
 
Double d = new Double(2.0); 
 
Object o = true ? i : d; // NullPointerException! 
 
System.out.println(o); 

關(guān)于這一條的更多的信息可以在這里找到。