On Saturday, 1 June 2013 at 21:45:18 UTC, Andrei Alexandrescu wrote:
On 6/1/13 3:59 PM, monarch_dodra wrote:
Yeah, overall, I'm confused as to what "@safe" means from an interface
point of view :(

If you call the function from a program with memory integrity and it returns, it hasn't compromised the memory integrity of that program.

Homework: define memory integrity :o).


Andrei

OK. In a word, I guess that makes sense. I'll stick to that standard.

But there is still the "emplace" question: When I call "emplace" on a pointer to a built object, is does the program still have memory integrity? At the end of the call, was it emplace that compromised it? Was it the exact instance the "call was initialized"?

Reply via email to