Created on 2010-08-25.00:00:00 last changed 166 months ago
Proposed resolution:
See paper "Forwarding <functional> functor templates" on the Batavia LWG document list
Rationale:
No consensus to make a change
[ 2010 Batavia: ]
Closed as NAD - the consensus was that forwarding headers such as <iosfwd> do not bring the expected benefits, and are not widely used (to the surprise of some active users in the room!). Without real experience reporting a benefit, there is no further interest in pursuing this issue as an extension - hence NAD rather than NAD Future.
[ 2010-11-07 Daniel provides a paper available on the Batavia document list ]
[ Rapperswill summary ]
Alisdair: Would recommend NAD unless someone takes the issue.
Daniel: Volunteers to write a paper for this.
[ Resolution proposed by ballot comment ]
Provide a tiny forwarding header for important functor types in the <functional> header that a user may want to specialize. This should contain the template declaration for equal_to, hash and less.
Addresses GB-96
The function templates hash, less and equal_to are important customization points for user-defined types to be supported by several standard containers. These are accessed through the <functional> header which has grown significantly larger in C++0x, exposing many more facilities than a user is likely to need through there own header, simply to declare the necessary specialization. There should be a smaller header available for users to make the necessary customization.
History | |||
---|---|---|---|
Date | User | Action | Args |
2011-03-05 21:44:45 | admin | set | messages: + msg5604 |
2010-11-08 23:43:00 | admin | set | messages: + msg5319 |
2010-11-08 23:43:00 | admin | set | status: open -> nad |
2010-11-07 22:22:27 | admin | set | messages: + msg5309 |
2010-11-07 22:22:27 | admin | set | messages: + msg5308 |
2010-10-29 16:55:31 | admin | set | messages: + msg5195 |
2010-10-25 00:34:18 | admin | set | messages: + msg5102 |
2010-10-24 10:50:39 | admin | set | messages: + msg5014 |
2010-08-25 00:00:00 | admin | create |