[ub] Type punning to avoid copying

Gabriel Dos Reis gdr at cs.tamu.edu
Fri Jul 26 18:10:17 CEST 2013


Jeffrey Yasskin <jyasskin at google.com> writes:

| On Fri, Jul 26, 2013 at 8:30 AM, Gabriel Dos Reis <gdr at cs.tamu.edu> wrote:
| > Ion Gaztañaga <igaztanaga at gmail.com> writes:
| >
| > [...]
| >
| > | ¿How can we tell the compiler that a memory buffer is really a different
| > | type?
| >
| > Invoke a constructor to turn the raw memory into an object of the
| > desired type.
| 
| Can you point to the wording that explains the behavior in that case?

I am not sure I understand your request.  Ion wants to state a region of
storage is of a given type.  The behavior after the contructor ran is
what you get after running a constructor -- see section 12.1.

-- Gaby



More information about the ub mailing list