[ub] Proposal: make self-initialized references ill-formed (C++17?)
David Krauss
david_work at me.com
Sat Sep 13 16:29:08 CEST 2014
On 2014–09–13, at 10:24 PM, David Krauss <david_work at me.com> wrote:
> So, a good specification would be that a program is ill-formed but no diagnosis is required, if a reference initializer never refers to an object.
Er, never refers to a well-defined storage location suitable for an object of the given type. References can certainly refer to things that only exist in the future.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.open-std.org/pipermail/ub/attachments/20140913/be0d4276/attachment.html
More information about the ub
mailing list