Issue 1024: std::function constructors overly generous

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 172 months ago

Messages

msg367 (view)

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&&);

msg366 (view)

Date: 2010-10-21.18:28:33

[ 2009-07 Frankfurt: ]

Constructors have no definition.

msg365 (view)

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.

msg364 (view)

Date: 2009-05-01.00:00:00

[ 2009-05-01 Daniel adds: ]

1070 removes the second constructor.

msg363 (view)

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:33	admin	set	messages: + msg367
2010-10-21 18:28:33	admin	set	messages: + msg366
2010-10-21 18:28:33	admin	set	messages: + msg365
2010-10-21 18:28:33	admin	set	messages: + msg364
2009-03-11 00:00:00	admin	create