This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of Resolved status.
Section: 22.214.171.124 [meta.unary.prop] Status: Resolved Submitter: Peter Dimov Opened: 2009-11-07 Last modified: 2016-02-10
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: ]
NAD Editorial, this issue is addressed by paper n3047
Change 126.96.36.199 [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 CEwould be well-formed:
if sizeof...(Args) ==
1 , the expression: static_cast<T>(create<Args>()...)