[bluGill]

With modern C++ your memory checklist is two steps: put it on the stack, put it in a unique_ptr on the stack. There are more steps after that, but you almost never get to them and wouldn't remember them if you discovered the need for them (which is okay because you never get there).

[tsimionescu]

Your checklist is only covering the simplest case, direct ownership of small data structures.

I'm not going to put a large array on the stack. I'm not going to pass unique_ptr (exclusive ownership) of every resource I allocate to every caller. I still need to decide between passing a copy, a unique_ptr, a reference, or a shared_ptr. When I design a data structure with interior pointers, I need to define some ownership semantics and make sure they are natural (for example, in a graph that supports cycles, there is no natural notion of ownership between graph nodes).

These are all questions that are irrelevant in a GC langauge, for memory resources.

[pjmlp]

Not really irrelevant when the said GC language also does value types, e.g.

   // C#
   Span<byte> buffer = stackalloc byte[1024];

[tsimionescu]

True, but even then you only have to decide between passing a copy of the value or a reference to it, no need to think about ownership.

[pjmlp]

Kind of, if it is a struct with destructors you need to ensure a region exists.

So either do something like

    using MyStructType something = new MyStructType ()

Or a more FP like stuff with

    myVar.WithXYZResource(res => { /* .... */ })

And then consider if it should be a ref struct, so that is only stack allocated.

This from C# point of view, in something like D, there would be another set of considerations.

Still much easier than "in your face ownership management" though, yes.

[tsimionescu]

Well, destructors come up if you have non-memory resources to manage, and there you do go back to ownership and deterministic destruction issues.

[UncleEntity]

> … put it on the stack, put it in a unique_ptr on the stack.

What happens when the stack frame gets destroyed but you kept a reference to the data around somewhere because you needed it for further compilation?

I, for one, am a fan of using the heap when doing the C++ things…