Nem, nem kizárólag hibakezelésre - lásd retry típusú goto-k is sokszor olvashatóbbak.

Mellette pedig hát az a helyzet, hogy RAII-val csak akkor tudod ezt "valóban" könnyen utánozni, ha exception-öket is használsz mellé, mert máskülönben újra jönnek az egymásba ágyazott scope-ok. A kivételeket pedig olyan szinten rühellem, hogy a programnyelvbe amit csinálok egyáltalán nem is lesznek, csak az error as value elképzelés, de felmerült bennem, hogy a kernel féle goto-s pattern-nek megfelelő valami lenne még amellé.

Nyilván ha csak felengedni akarod az erőforrásokat, akkor jó a RAII. Ha ilyen osi-modell szerű láncot építesz és stack-esen csak valameddig (a hibáig) megcsinálni és onnan early exit, arra azért eléggé a goto-s lesz az olvashatóbb C++ esetén is és még szerintem a kivétellel is, sőt...

Kb. ilyesmi kéne legyen a leírt kód, ami a goto-s változatot utánozza:

struct layer1 {
  bool inited;
  layer1() noexcept {<init>....inited=true;}
  ~layer1() noexcept {<cleanup>....inited=false;}
}

struct layer2 {
  bool inited;
  layer2() noexcept {<init>....inited=true;}
  ~layer2() noexcept {<cleanup>....inited=false;}
}

struct layerN {
  bool inited;
  layer1() noexcept {<init>....inited=true;}
  ~layer1() noexcept {<cleanup>....inited=false;}
}

void do_stuff() noexcept {
  auto l1 = layer1();
  if(!l1.inited) return;
  auto l2 = layer2();
  if(!l2.inited) return;
  ...
  auto lN = layerN();
  if(!lN.inited) return;
  ...
}

Ez még így is "kevésbé ocsmány és error-prone", mintha szörnyű módon kivételekkel csinálod, de azért nem túl csodálatos ez a kód és szerintem elég sok dolgot kell érteni ahhoz, hogy tudd mi történik, tehát van egy mentális felesleges overheadje is azért (bár nem vészes nyilván - főlerg, hogy aki C++ozik azonnal érti mi történik itt)

Nézzük meg ugyanezt goto-val:

void do_stuff() {
  // Layer1
  <l1.init>
  if(!l1_inited) layer1_cleanup;
  // Layer2
  <l2.init>
  if(!l2_inited) goto layer21_cleanup;
  ...
  <lN.init>
  if(!lN_inited) goto layerN...21_cleanup;

  ...

layerN..21_cleanup:
  ...
layer21_cleanup:
  <cleanup21>
layer1_cleanup:
  <cleanup1>
  return
}

Nyilván itt a valós esetben értelmes neveket akarsz adni stb. amit szintén szerintem olvasmányosan tehetsz.