On 8/13/2016 5:02 AM, Joseph Rushton Wakeling wrote:
On Saturday, 13 August 2016 at 11:09:05 UTC, Walter Bright wrote:
Taking the address of a ref variable has not been allowed in @safe code for a
long time.

Which is understandable given things as they are, but which could probably be
relaxed given good scope/lifetime analysis by the compiler...?

It's relaxed in @system code.


The above code is unsafe only if the lifetime of `data` outlives the lifetime of
`input`.  Surely the new scope rules should be able to distinguish the cases?
If that's already envisioned, how would that work?

That depends on how the instance of MyWrapperStruct is allocated. How did you
intend to allocate it?

As a normal stack variable. Is that problematic?

Shouldn't be.

And if not, what would be problematic cases?

Allocating it on the heap.

  • Re: DIP1000: Scoped Poi... Joseph Rushton Wakeling via Digitalmars-d-announce
  • Re: DIP1000: Scoped Poi... Walter Bright via Digitalmars-d-announce
    • Re: DIP1000: Scope... Joseph Rushton Wakeling via Digitalmars-d-announce
      • Re: DIP1000: S... Walter Bright via Digitalmars-d-announce
        • Re: DIP100... Joseph Rushton Wakeling via Digitalmars-d-announce
          • Re: DI... Joseph Rushton Wakeling via Digitalmars-d-announce
            • R... Walter Bright via Digitalmars-d-announce
            • R... Joseph Rushton Wakeling via Digitalmars-d-announce
            • R... Walter Bright via Digitalmars-d-announce
            • R... Joseph Rushton Wakeling via Digitalmars-d-announce
            • R... Walter Bright via Digitalmars-d-announce
            • R... Joseph Rushton Wakeling via Digitalmars-d-announce
            • R... Walter Bright via Digitalmars-d-announce
            • R... Guillaume Chatelet via Digitalmars-d-announce
            • R... Joseph Rushton Wakeling via Digitalmars-d-announce
            • R... Walter Bright via Digitalmars-d-announce
            • R... Mike via Digitalmars-d-announce
            • R... Walter Bright via Digitalmars-d-announce
            • R... Mike via Digitalmars-d-announce
            • R... Rory McGuire via Digitalmars-d-announce
            • R... Mike via Digitalmars-d-announce

Reply via email to