Возвращение GOTO

Из чего следует что «правильно» это «один return»?

Из каких-то источников в интернете. Слово и обособлено в кавычки, потому что на самом деле не правильно, да и нельзя возводить какой-то принцип в абсолют.

return в начале (или перед куском кода) как раз часто позволяет избавится от дополнительной вложенности.

Я об этом и писал тоже.

Кстати, отличие в сгенерированном коде multiple return от goto обычно чуть менее, чем отсутствует.

Ну как-то так, да. :) Если в контексте статьи оставаться, то 2 и 3 строчка будут выбрасыванием эксешена :)

Ну, например, его можно развернуть или вычислить на этапе компиляции.

A tail position call must either release any transient internal resources associated with the currently executing function execution context before invoking the target function or reuse those resources in support of the target function.

И прочие окрестности 14.6

Да не вопрос:

try (Res1 res1 = Res1.Create(deinit_resource1))
{
  try (Res2 res2 = Res2.Create(deinit_resource2))
  {
    // work 
  }
}

если Вы напишете всю логику (включая деинит) Вы получите что Ваш код суммарно занимает раза в три больше чем мой.

try (Res1 res1 = Res1.Create(deinit_resource1))
{
  try (Res2 res2 = Res2.Create(deinit_resource2))
  {
      try (Res3 res3 = Res3.Create(deinit_resource3))
      {
    // work 
      }
  }
}

class Res implements AutoCloseable {
private Runnable destructor;
public Res(Runnable destructor) {this.destructor = destructor;}
    public void close() throws Exception {
        destructor.run();
    }
}

class Res1 implements AutoCloseable {
    public void close() throws Exception {
        // deinit_res1() или inline-код
    }
}

class Res1{
   public:
      Res1() {}
      ~Res1() { /** deinit_res1() или inline-код */}
};

if (!init_resource1())
         goto DEINIT1;
     if (!init_resource2())
         goto DEINIT2;
     if (!init_resource3())
         goto DEINIT3;
     // тут код работающий с ресурсами 1, 2, 3
     deinit_resource3();
     DEINIT3: deinit_resource2()
     DEINIT2: deinit_resource1();
     DEINIT1:

if (!init_resource1()) {
         goto DEINIT1;
}
     if (!init_resource2()) {
         goto DEINIT2;
}
     if (!init_resource3()) {
         goto DEINIT3;
}

     // тут код работающий с ресурсами 1, 2, 3

     deinit_resource3();
DEINIT3:
     deinit_resource2()
DEINIT2:
     deinit_resource1();
DEINIT1:

мы инстанцировали A, затем B, затем C

затем создали еще 22 объекта имеющих связь с A и B
предсказать в каком порядке удалятся A, B и C — может оказаться непросто

А каким образом эти 22 объекта повлияют на порядок уничтожения A, B и С?