[語法] 用Lambda表示法為何變數名稱不能一樣?

[liu2007 (薯)]

我今天才知道這個表示法(太久沒碰Q_Q)

編譯器顯示綠色行錯誤，我不太確定正式的原因
只知道變數名稱不要用x,y就能夠通過編譯

在使用Lambda表示法的時候，input部分的變數名稱為何不能與已宣告的變數名稱重複呢?
我以為在java裡面，宣告就等於是創建一個子域，變數的對象都算在子域裡
如下方黃色所宣告的x,y

可以請教一下到底要怎麼解釋這個錯誤的原因呢?


public class NewClass {
   public static void main(String[] args) throws Exception {
      int x = 3;
      int y = 1;

      B name = new B() {
          @Override
          public void test(int x, int y) {
          // TODO Auto-generated method stub

          }
      };
      B b = (x, y) -> System.out.println("test: " + (x + y));
      b.test(x, y);
   }
   public interface B {
      public void test(int x, int y);
   }
}

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 123.192.227.117 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/java/M.1565159057.A.5AA.html
→ ssccg: docs.oracle.com/javase/specs/jls/se12/html/jls-15.html
→ ssccg: lambda expression跟anonymous class是不一樣的
→ ssccg: 在lambda body裡面的變數名稱、this、super都跟surrounding
→ ssccg: context相同(除新增了lambda parameter定義的名稱)
→ ssccg: 用你的說法就是lambda expression不會創建子域

我了解了，抱歉工作到現在才回。
剛剛看完S大的回覆突然腦洞：在Lambda裡創的變數能不能被Lambda外所用
結果是不行.....
(結果剛剛才看到S大說的除了新增的lambda parameter)

這個結果讓我有種崩壞感，感覺一致性不見了
雖然說不上來是哪裡的一致性...
※ 編輯: liu2007 (123.192.227.117 臺灣), 08/07/2019 22:43:09
※ 編輯: liu2007 (123.192.227.117 臺灣), 08/07/2019 22:44:37
→ ssccg: docs.oracle.com/javase/specs/jls/se12/html/jls-6.html
→ ssccg: #jls-6.4 有定義，只有class宣告(含local、anonymous)會創
→ ssccg: 造出新的命名域(可重用變數名稱、shadow掉外層的名稱)
→ ssccg: lambda在設計時可選擇依class或依catch、for、block的規則
→ ssccg: 最後設計者選擇了後者，一方面是比較符合一般use case
→ ssccg: lambda就是單純用外層變數，不牽涉繼承、重載的問題
→ ssccg: 另一方面也保留實作彈性，不在JLS就決定lambda必須是用
→ ssccg: anonymous class的方式實作，實際上可以是別的東西
→ ssccg: 對需要class方式的use case，就用anonymous class