[ub] Type punning to avoid copying
Jeffrey Yasskin
jyasskin at google.com
Mon Sep 9 18:49:25 CEST 2013
On Sun, Sep 8, 2013 at 9:48 PM, Gabriel Dos Reis <gdr at axiomatics.org> wrote:
> | In fact, it is not at clear that either programmers or compilers want
> | a notion of 'object resuscitation'.
> |
> |
> | I don't know what you mean by 'resuscitation' here. Can you elaborate?
>
> Resuscitation here refer to the idea that
>
> "there exists a set of times when objects' lifetimes begin and end, and
> that set gives the program defined behavior, then the program has
> defined behavior"
>
> If we don't have a uniquely defined point in time where the lifetime of
> an object starts, that means that either it never started or it started
> and ended multitple times.
I think you've misread Richard here. He didn't say "a set of times
when an object's (singular, possessive) lifetimes begin and end"; he
said "a set of times when objects' (plural, possessive) lifetimes
begin and end". I read that as a mapping of an object to the point in
time when its lifetime begins and the point in time when its lifetime
ends.
Jeffrey
More information about the ub
mailing list