C++ Logo


Advanced search

Re: [ub] Proposal: make self-initialized references ill-formed (C++17?)

From: David Krauss <david_work_at_[hidden]>
Date: Sat, 13 Sep 2014 22:29:08 +0800
On 20140913, at 10:24 PM, David Krauss <david_work_at_[hidden]> 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.

Received on 2014-09-13 17:29:34