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

David Krauss david_work at me.com
Sat Sep 27 02:02:18 CEST 2014


On 2014–09–27, at 3:53 AM, Gabriel Dos Reis <gdr at microsoft.com> wrote:

> In addition to “conditionally supported”?

Interesting. Conditional support applies to features, but I essentially suggested the same semantics for *mis*features. Casual readers would probably be better off with a separate term for it, if we do eventually go the route of “hard” static analysis.

In general, yeah, hard static analysis would turn into a portability mess; the status quo is better. Perhaps the real problem is giving users the ability to increase tolerance on (third-party) library headers while still applying strict rules to their own development.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.open-std.org/pipermail/ub/attachments/20140927/69228d0e/attachment-0001.html 


More information about the ub mailing list