std::is_bind_expression

template< class T >
struct is_bind_expression;

만약 T가 std::bind (그러나 std::bind_front 또는 std::bind_front는 제외) 호출에 의해 생성된 타입이라면, 이 템플릿은 std::true_type에서 파생됩니다. 다른 모든 타입에 대해 (사용자 전문화가 없다면) 이 템플릿은 std::false_type에서 파생됩니다.

프로그램은 이 템플릿을 프로그램 정의 타입 T에 대해 전문화하여, 기본 특성이 std::true_type인 UnaryTypeTrait을 구현할 수 있습니다. 이는 T가 바인드 하위 표현식의 타입인 것처럼 std::bind에 의해 처리되어야 함을 나타냅니다. 즉, 바인드 생성 함수 객체가 호출될 때, 이 타입의 바인드된 인자는 함수 객체로 호출되며, 바인드 생성 객체에 전달된 모든 바인드되지 않은 인자를 전달받게 됩니다.

헬퍼 변수 템플릿

예제

#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';
}

Adding 2 to the sum of 10 and 11 gives 23

결함 보고서

다음의 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.

참고 항목