Что означают фигурные скобки в Java сами по себе?

У меня есть код Java, в котором фигурные скобки используются двумя способами.

// Curly braces attached to an 'if' statement:
if(node.getId() != null)
{
    node.getId().apply(this);
}

// Curly braces by themselves:
{
    List<PExp> copy = new ArrayList<PExp>(node.getArgs());
    for(PExp e : copy)
    {
        e.apply(this);
    }
}
outAMethodExp(node);

Что означают отдельные фигурные скобки после первого ifоператора?

Единственная цель дополнительных фигурных скобок - обеспечить ограничение области действия. List<PExp> copyБудет существовать только в пределах этих скобок, и не будет иметь никакой возможности вне их.

Если это сгенерированный код, я предполагаю, что генератор кода делает это, чтобы он мог вставить некоторый код (например, этот), не беспокоясь о том, сколько раз он вставлял a, List<PExp> copyи не беспокоясь о возможном переименовании переменных, если этот фрагмент вставляется в один и тот же метод более одного раза.

Я вторю тому, что написал Мэтт Б., и добавлю, что еще одно использование анонимных скобок, которое я видел, - это объявление неявного конструктора в анонимных классах. Например:

  List<String> names = new ArrayList<String>() {
    // I want to initialize this ArrayList instace in-line,
    // but I can't define a constructor for an anonymous class:
      {
        add("Adam");
        add("Eve");
      }

  };

Некоторые фреймворки для модульного тестирования подняли этот синтаксис на другой уровень, что позволяет некоторым хитростям, которые выглядят совершенно некомпилируемыми, работать. Поскольку они выглядят незнакомыми, я сам не такой большой поклонник, но стоит хотя бы понять, что происходит, если вы столкнетесь с этим использованием.

Я согласен с ответом на ограничение объема, но добавлю одно.

Иногда вы видите подобную конструкцию в коде людей, которые любят сворачивать разделы своего кода и имеют редакторы, которые автоматически складывают фигурные скобки. Они используют его для сворачивания своего кода в логические секции, которые не попадают в функцию, класс, цикл и т. Д., Которые обычно сворачиваются.

На самом деле я предполагаю, что кто-то забыл заявление else.

Редко есть веская причина даже беспокоиться о создании дополнительных областей видимости блока. В этом и в большинстве случаев гораздо более вероятно, что кто-то забыл ввести свой управляющий оператор, чем что он сделал что-то умное.

Они составляют внутреннюю область. Переменная, объявленная внутри этих фигурных скобок, не видна вне их. Это также относится к C / C ++.

Скобки также полезны для уменьшения объема в операторах switch / case.

switch(foo) {
  case BAR:
     int i = ...
     ...
  case BAZ:
     int i = ... // error, "i" already defined in scope
}

Но ты можешь написать

switch(foo) {
  case BAR:{
     int i = ...
     ...
  }
  case BAZ:{
     int i = ... // OK
  }
}

Он также используется для блоков инициализации .

Они определяют новую область видимости, что означает, что все, что объявлено в этой области, не видно за пределами фигурных скобок.

Интересное примечание: фигурные скобки фактически включают класс операторов: объявления.

Это незаконно: if(a) int f;

но это законно: if(a) { int f; }

Я думаю, они просто определяют безымянный уровень охвата.

Принесите область видимости, копия не будет видна за ее пределами, поэтому вы можете объявить другую переменную с тем же именем позже. И он может быть собран сборщиком мусора сразу после выхода из этой области. В этом случае копия служит временной переменной, так что это хороший пример.