Vlákno názorů k článku
Úvahy o Borrow Checkeru pro C++ od Ivan Brezina - Nekde jsem videl pokus o neco podobneho(link uz...

Nekde jsem videl pokus o neco podobneho(link uz bohuzel nemam).
Slo o to, ze pri vytvoreni instrance tridy na zasobniku se pouzije jiny konstruktor/a­lokator nez pro instanci na heapu.

Kazda instance si nejak pamatovala kde byla alokovana a pomoci typoveho systemu nebylo mozne vytvorit na heapu strukturu ktera by obsahovalala pointer na stack nejakeho vlakna.

Tyhle problemy kdy je v heapu pointer na stack jiz ukonceneho vlakna se hrozne tezko odhaluji.

Cele to ale bohuzel bylo trochu pracne, a cely mechanizmus by vyzadoval vytvoreni wrapperu okolo kazdne knihovny.

Typovým systémem obešli escape analýzu? Zajímavé.