我有一個基本上看起來像這樣的程序：boolean[] stuffNThings;int state=1;for(String string:list){   switch(state){      case 1:         if(/*condition*/){            // foo            break;         }else{            stuffNThings=new boolean[/*size*/];            state=2;         }      // intentional fallthrough      case 2:         // bar         stuffNThings[0]=true;   }}正如你，一個人，可以看到，情況 2 只會發(fā)生在以前有狀態(tài) 1 并且它在初始化數(shù)組后切換到狀態(tài) 2 時。但是 Eclipse 和 Java 編譯器看不到這一點，因為它們看起來像是非常復(fù)雜的邏輯。所以 Eclipse 抱怨：局部變量 stuffNThings 可能尚未初始化?！比绻覍ⅰ?boolean[] stuffNThings;”更改為“ boolean[] stuffNThings=null;”，它會切換到此錯誤消息：潛在的空指針訪問：變量 stuffNThings 在此位置可能為空。我也無法在頂部初始化它，因為數(shù)組的大小僅在狀態(tài) 1 的最終循環(huán)之后確定。Java 認(rèn)為那里的數(shù)組可能為空，但我知道它不能。有什么方法可以告訴 Java 嗎？還是我肯定被迫對其進(jìn)行無用的null檢查？添加它會使代碼更難理解，因為看起來可能存在值實際上并未設(shè)置為true.