
8 Dec
2009
8 Dec
'09
12:06 p.m.
David Abrahams wrote:
On Dec 8, 2009, at 6:28 AM, Frédéric Bron wrote:
I prefer void because it is shorter but this could make people think it will check for operator return void... which is not the case; so maybe the long version boost::type_traits::any_return is better.
By that rationale shouldn't we also require the 3rd parameter to be wrapped in is_convertible_to<...> so people don't think it's requiring a return type of exactly R (e.g. bool)?
Would this also allow a user to override this behavior when they want to ensure an exact type match? --Jeffrey Bosboom