Title
std::function constructors overly generous
Status
nad concepts
Section
[func.wrap.func]
Submitter
Alisdair Meredith

Created on 2009-03-11.00:00:00 last changed 171 months ago

Messages

Date: 2010-10-21.18:28:33

Proposed resolution:

Correct as follows in [func.wrap.func] (class definition)

 template<class F, Allocator Alloc>
   requires ConstructibleWithAllocator<F, Alloc>
     && call=Callable<F, ArgTypes...>
     && Convertible<call::result_type, R>
   function(allocator_arg_t, const Alloc&, F);
 template<class F, Allocator Alloc>
   requires ConstructibleWithAllocator<F,Alloc>
     && call=Callable<F, ArgTypes...>
     && Convertible<call::result_type, R>
   function(allocator_arg_t, const Alloc&, F&&);
Date: 2010-10-21.18:28:33

[ 2009-07 Frankfurt: ]

Constructors have no definition.

Date: 2010-10-21.18:28:33

[ Batavia (2009-05): ]

We agree with the proposed resolution. Move to Tentatively Ready. If issue 1070 is accepted, the changes to the second constructor in this issue are moot.

Date: 2009-05-01.00:00:00

[ 2009-05-01 Daniel adds: ]

1070 removes the second constructor.

Date: 2012-10-21.13:19:07

Addresses JP 39 [CD1]

There are no requires corresponding to F of std::function.

History
Date User Action Args
2010-10-21 18:28:33adminsetmessages: + msg367
2010-10-21 18:28:33adminsetmessages: + msg366
2010-10-21 18:28:33adminsetmessages: + msg365
2010-10-21 18:28:33adminsetmessages: + msg364
2009-03-11 00:00:00admincreate