日本综合一区二区|亚洲中文天堂综合|日韩欧美自拍一区|男女精品天堂一区|欧美自拍第6页亚洲成人精品一区|亚洲黄色天堂一区二区成人|超碰91偷拍第一页|日韩av夜夜嗨中文字幕|久久蜜综合视频官网|精美人妻一区二区三区

 呃，你是不是寫Java已經(jīng)有些年頭了？還依稀記得這些吧： 那些年，它還叫做Oak；那些年，OO還是個(gè)熱門話題；那些年，C++同學(xué)們覺得Java是沒有出路的；那些年，Applet還風(fēng)頭正勁…… 但我打賭下面的這些事中至少有一半你還不知道。這周我們來聊聊這些會(huì)讓你有些驚訝的Java內(nèi)部的那些事兒吧。  

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

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

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

  
 

   
  
public class Test { 
   
  
 
   
  
    // 方法沒有聲明throws 
   
  
 
   
  
    public static void main(String[] args) { 
   
  
 
   
  
        doThrow(new SQLException()); 
   
  
 
   
  
    } 
   
  
 
   
  
    static void doThrow(Exception e) { 
   
  
 
   
  
        Test. doThrow0(e); 
   
  
 
   
  
    } 
   
  
 
   
  
    @SuppressWarnings("unchecked") 
   
  
 
   
  
    static  
   
  
 
   
  
    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è)方法是『重載一致』的，而不會(huì)關(guān)心這2個(gè)方法的throws子句或返回類型實(shí)際是不同的。 但是等一下！來看看Class.getMethod(String, Class...)方法的Javadoc： 注意，可能在一個(gè)類中會(huì)有多個(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 { 
   
  
 
   
  
    abstract T x(); 
   
  
 
   
  
} 
   
  
 
   
  
class Child extends Parent { 
   
  
 
   
  
    @Override 
   
  
 
   
  
    String x() { return "abc"; } 
   
  
 
   
  
} 
  
 

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

  
 

   
  
// Method descriptor #15 ()Ljava/lang/String; 
   
  
 
   
  
// Stack: 1, Locals: 1 
   
  
 
   
  
java.lang.String x(); 
   
  
 
   
  
  0  ldc  [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)用場(chǎng)景下，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è)提交里，我寫了這樣的代碼，然后。。。

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

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

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

呃，你認(rèn)為自己知道什么時(shí)候該使用條件表達(dá)式？面對(duì)現(xiàn)實(shí)吧，你還不知道。大部分人會(huì)下面的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è)簡(jiǎn)單的測(cè)試吧：  

  
 

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

打印結(jié)果是：  

  
 

   
  
1.0 
   
  
1 
  
 

哦！如果『需要』，條件運(yùn)算符會(huì)做數(shù)值類型的類型提升，這個(gè)『需要』有非常非常非常強(qiáng)的引號(hào)。因?yàn)?，你覺得下面的程序會(huì)拋出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)于這一條的更多的信息可以在這里找到。  

分享標(biāo)題：對(duì)Java很熟悉但這四件事你未必知道
當(dāng)前URL：http://www.dlmjj.cn/article/djdosjo.html