template< class T >
struct is_bind_expression;
If T
is a type produced by a call to std::bind (but not std::bind_front or std::bind_back), this template is derived from std::true_type. For any other type (unless user-specialized), this template is derived from std::false_type.
A program may specialize this template for a program-defined type T
to implement UnaryTypeTrait with base characteristic of std::true_type to indicate that T
should be treated by std::bind as if it were the type of a bind subexpression: when a bind-generated function object is invoked, a bound argument of this type will be invoked as a function object and will be given all the unbound arguments passed to the bind-generated object.
template< class T >
constexpr bool is_bind_expression_v = is_bind_expression<T>::value;
T
is a function object generated by std::bind, false otherwise
#include <functional> #include <iostream> #include <type_traits> struct MyBind { typedef int result_type; int operator()(int a, int b) const { return a + b; } }; namespace std { template<> struct is_bind_expression<MyBind> : public true_type {}; } int f(int n1, int n2) { return n1 + n2; } int main() { // as if bind(f, bind(MyBind(), _1, _2), 2) auto b = std::bind(f, MyBind(), 2); std::cout << "Adding 2 to the sum of 10 and 11 gives " << b(10, 11) << '\n'; }
Output:
Adding 2 to the sum of 10 and 11 gives 23[edit] Defect reports
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
[edit] See also binds one or more arguments to a function objectRetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4