C++ Logo


Advanced search

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

From: David Krauss <david_work_at_[hidden]>
Date: Sat, 27 Sep 2014 08:02:18 +0800
On 2014–09–27, at 3:53 AM, Gabriel Dos Reis <gdr_at_[hidden]> 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.

Received on 2014-09-27 02:02:30