Title
is_* traits for binding operations can't be meaningfully specialized
Status
new
Section
[func.bind.isbind]
Submitter
Sean Hunt

Created on 2010-07-19.00:00:00 last changed 166 months ago

Messages

Date: 2010-07-19.00:00:00

[func.bind.isbind] says for is_bind_expression:

Users may specialize this template to indicate that a type should be treated as a subexpression in a bind call.

But it also says:

If T is a type returned from bind, is_bind_expression<T> shall be publicly derived from integral_constant<bool, true>, otherwise from integral_constant<bool, false>.

This means that while the user is free to specialize, any specialization would have to be false to avoid violating the second requirement. A similar problem exists for is_placeholder.

History
Date User Action Args
2010-07-19 00:00:00admincreate