2 ms·

Well, to be fair, RAII is a leaky abstraction. For example, if your programme crashes there's no guarantee that you'll ever give the resources back. See https

• ameixaseca 10mo ago
  > See https://en.wikipedia.org/wiki/Resource_acquisition_is_initia https://en.wikipedia.org/wiki/Resource_acquisition_is_initia... This example is specific to C++ > (..) if your programme crashes there's no guarantee that you'll ever give the resources back. What guarantees can you have from a "crashing program", and by what definition of crashing? > RAII is a leaky abstraction Any abstraction is leaky if you look close enough.
  • eru 10mo ago
    > What guarantees can you have from a "crashing program", and by what definition of crashing? You might like https://www.usenix.org/conference/hotos-ix/crash-only-software https://www.usenix.org/conference/hotos-ix/crash-only-softwa...