From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Stupid Question but it bothers me
Date: Mon, 19 Jan 2015 21:55:48 -0700
Date: 2015-01-19T21:55:48-07:00 [thread overview]
Message-ID: <m9kn3m$9a4$1@dont-email.me> (raw)
In-Reply-To: <B7ivw.1481693$1s.397858@fx05.iad>
On 01/19/2015 06:24 PM, Hubert wrote:
>
>> A.18.4~81/2 - "No storage associated with a Map object shall be lost upon
>> assignment or scope exit."
>>
>> -sb
>>
> So that means it is deleted, right?
Also useful is ARM A.18.4(4/2): "The type Map needs finalization (see 7.6)."
By ARM 7.6(9.3/3), your record type also needs finalization.
Effectively, Map is a controlled type, even if it isn't implemented that way. In
combination with ¶81, ¶4 means that effectively Finalize is defined for the type
and does any clean up necessary to avoid storage leaks.
--
Jeff Carter
"So if I understand 'The Matrix Reloaded' correctly, the Matrix is
basically a Microsoft operating system--it runs for a while and
then crashes and reboots. By design, no less. Neo is just a
memory leak that's too hard to fix, so they left him in ... The
users don't complain because they're packed in slush and kept
sedated."
Marin D. Condic
65
next prev parent reply other threads:[~2015-01-20 4:55 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-01-19 23:58 Stupid Question but it bothers me Hubert
2015-01-20 0:24 ` sbelmont700
2015-01-20 1:24 ` Hubert
2015-01-20 2:58 ` David Botton
2015-01-20 4:27 ` Hubert
2015-01-20 4:54 ` David Botton
2015-01-20 4:55 ` Jeffrey Carter [this message]
2015-01-20 8:20 ` Simon Wright
2015-01-20 3:00 ` David Botton
2015-01-20 4:29 ` Hubert
2015-01-20 4:56 ` David Botton
2015-01-20 5:06 ` Hubert
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox