Created on 2012-10-10.00:00:00 last changed 142 months ago
Rationale (February, 2013):
Because the library emulation of std::is_constructible uses unevaluated new-expressions in the implementation, making a new of std::initializer_list ill-formed would give the wrong results for its constructibility. CWG determined that it would be acceptable to leave diagnosing of actual undefined behavior resulting from such constructs to the discretion of the implementation.
Notes from the October, 2012 meeting:
The consensus of CWG was that this usage should be ill-formed.
A new-expression that creates an object whose type is a specialization of std::initializer_list initialized from an initializer list results in undefined behavior if the object survives past the end of the full-expression, when the lifetime of the underlying array object ends. Since such a new-expression is effectively useless, should it be made ill-formed?
History | |||
---|---|---|---|
Date | User | Action | Args |
2013-03-18 00:00:00 | admin | set | messages: + msg4303 |
2013-03-18 00:00:00 | admin | set | status: drafting -> nad |
2012-11-03 00:00:00 | admin | set | messages: + msg4092 |
2012-10-10 00:00:00 | admin | create |