Comment on How One Uncaught Rust Exception Took Out Cloudflare

• Noja@sopuli.xyz ⁨3⁩ ⁨weeks⁩ ago

  Memory leaks are logic errors, Rust can’t really prevent you from leaking memory.

  source

  • calcopiritus@lemmy.world ⁨3⁩ ⁨weeks⁩ ago

    It’s really hard to do without Rc (or similar) or unsafe.

    source

    • Mechanize@feddit.it ⁨3⁩ ⁨weeks⁩ ago

      You can leak data in perfectly safe Rust, because it is not a bug per se, an example is by using Box::leak

      Preventing memory leaks was never in the intentions of Rust. What it tries to safeguard you from are Memory Safety bugs like the infamous and common double free.

      source

      • 8uurg@lemmy.world ⁨3⁩ ⁨weeks⁩ ago

        And it still cleans up once the ownership model indicates it can be cleaned up. That does not ensure memory is never leaked, but it is equivalent to destructors running automatically when using unique ptr or shared ptr without cycles in C++, which avoids at least a portion of possible memory leaks.

        source
  • socsa@piefed.social ⁨3⁩ ⁨weeks⁩ ago

    Some memory leaks are logic errors, and this is honestly the irony of modern dynamic languages. I have actually gotten into the argument in interviews before - it is arguably safer (and better) to work from maximal static memory allocations with memory safe data objects than it is to implement dynamic memory algorithms just because they are fun coding problems.

    source