1260. is_constructible<int*,void*> reports true

Section: [meta.unary.prop] Status: Resolved Submitter: Peter Dimov Opened: 2009-11-07 Last modified: 2016-01-28 10:19:27 UTC

Priority: Not Prioritized

View other active issues in [meta.unary.prop].

View all other issues in [meta.unary.prop].

View all issues with Resolved status.


The specification of is_constructible<T,Args...> in N3000 uses


for the one-argument case, but static_cast also permits unwanted conversions such as void* to T* and Base* to Derived*.

[ Post-Rapperswil: ]

Moved to NAD EditorialResolved, this issue is addressed by paper n3047

Proposed resolution:

Change [meta.unary.prop], p6:

the predicate condition for a template specialization is_constructible<T, Args> shall be satisfied, if and only if the following expression CE variable definition would be well-formed: