is_constructible with void types
S. B. Tam

Created on 2016-06-22.00:00:00 last changed 83 months ago


Date: 2016-08-04.03:06:12

Proposed resolution:

This wording is relative to N4594.

  1. Change [meta.unary.prop], Table 52 — "Type property predicates", as indicated:

    Table 52 — Type property predicates
    Template Condition Preconditions
    template <class T, class... Args>
    struct is_constructible;
    For a function type T
    or for a (possibly cv-qualified) void type T,
    is_constructible<T, Args...>::value
    is false, otherwise see below
    T and all types in the
    parameter pack Args shall
    be complete types,
    (possibly cv-qualified)
    void, or arrays of
    unknown bound.
Date: 2016-08-04.03:06:12

[ 2016-08 Chicago ]

Wed PM: Move to Tentatively Ready

Date: 2016-07-15.00:00:00

[ 2016-07-03, Daniel provides wording ]

Date: 2016-06-22.00:00:00

LWG 2560 mention that there is no variable of function type. There's also no variable of void type, so should [meta.unary.prop] also explicitly say that for a void type T, is_constructible<T, Args...>::value is false?

Date User Action Args
2017-07-30 20:15:43adminsetstatus: wp -> c++17
2016-11-14 03:59:28adminsetstatus: pending -> wp
2016-11-14 03:55:22adminsetstatus: ready -> pending
2016-08-04 03:06:12adminsetmessages: + msg8389
2016-08-04 03:06:12adminsetstatus: new -> ready
2016-07-03 17:34:38adminsetmessages: + msg8234
2016-07-03 17:34:38adminsetmessages: + msg8233
2016-06-22 00:00:00admincreate