`<functional>` 함수

아티클
10/12/2023

이러한 함수는 C++11에서 더 이상 사용되지 않으며 C++17에서 제거됩니다.

bind1st
bind2nd
mem_fun
mem_fun_ref
ptr_fun

이러한 함수는 C++17에서 더 이상 사용되지 않습니다.

not1
not2

`bind`

호출 가능 개체에 인수를 바인딩합니다.

template <class FT, class T1, class T2, ..., class TN>
    unspecified bind(FT fn, T1 t1, T2 t2, ..., TN tN);

template <class RTy, class FT, class T1, class T2, ..., class TN>
    unspecified bind(FT fn, T1 t1, T2 t2, ..., TN tN);

매개 변수

FT
호출할 개체의 형식입니다. 예를 들어 함수, 함수 개체, 함수 포인터/참조 또는 멤버 함수 포인터의 형식입니다.

RTy
반환 형식입니다. 지정하면 바인딩된 호출의 반환 형식이 됩니다. 그렇지 않으면 반환 형식은 .의 FT반환 형식입니다.

TN
N번째 인수의 형식입니다.

fn
호출할 개체입니다.

tN
N번째 호출 인수입니다.

설명

형식 FT, T1, T2, ..., TN 은 copy-constructible이어야 하며 INVOKE(fn, t1, ..., tN) 일부 값 w1, w2, ..., wN에 대해 유효한 식이어야 합니다.

첫 번째 템플릿 함수는 약한 결과 형식이 포함된 전달 호출 래퍼 g를 반환합니다. 효과는 g(u1, u2, ..., uM) INVOKE(f, v1, v2, ..., vN, invoke_result<FT cv (V1, V2, ..., VN)>::type), 여기서 cv cv 한정자는 g 바운드 인수 v1, v2, ..., vN 의 값과 형식이 아래에 지정된 대로 결정됩니다. 이를 사용하여 인수를 호출 가능 개체에 바인딩하면 맞춤형 인수 목록이 포함된 호출 가능 개체가 생성됩니다.

두 번째 템플릿 함수는 RTy의 동의어인 중첩된 형식 result_type이 포함된 전달 호출 래퍼 g를 반환합니다. g(u1, u2, ..., uM)의 결과는 INVOKE(f, v1, v2, ..., vN, RTy)입니다. 여기서 cv는 g의 cv 한정자이고 바인딩된 인수 v1, v2, ..., vN의 값과 형식은 아래 지정된 대로 결정됩니다. 이를 사용하여 인수를 호출 가능 개체에 바인딩하면 맞춤형 인수 목록 및 지정된 반환 형식이 포함된 호출 가능 개체가 생성됩니다.

바인딩된 인수 v1, v2, ..., vN 및 해당 형식 V1, V2, ..., VN의 값은 다음과 같이 bind 호출 시 Ti 형식에 대한 해당 인수 ti의 형식 및 호출 래퍼 g의 cv 한정자 cv에 따라 결정됩니다.

형식이면 ti 인수 vi 가고 해당 형식 Vi 은 ti.get() ;입니다T&.reference_wrapper<T>

값 std::is_bind_expression<Ti>::value 이 인수 vi 이고 true 해당 형식 Vi (U1&, U2&, ..., UN&>::typecv result_of<Ti 이 ti(u1, u2, ..., uM) ;인 경우

값 j std::is_placeholder<Ti>::value 이 0이 아닌 경우 인수 vi 는 uj 해당 형식 Vi 이 ;입니다 Uj&.

그렇지 않은 경우 인수 vi 는 ti 해당 형식 Vi 입니다 Ti cv &.

예를 들어 f(int, int) 함수의 경우 bind(f, _1, 0) 식은 전달 호출 래퍼 cw를 반환하므로 cw(x)가 f(x, 0)을 호출합니다. bind(f, 0, _1) 식은 전달 호출 래퍼 cw를 반환하므로 cw(x)가 f(0, x)를 반환합니다.

호출 bind 의 인수 수와 인수 fn 는 호출 가능한 개체 fn에 전달할 수 있는 인수 수와 같아야 합니다. 예를 들어 올 bind(cos, 1.0) 바르고 둘 다 bind(cos) 올바르지 않습니다 bind(cos, _1, 0.0) .

bind에서 반환된 호출 래퍼에 대한 함수 호출의 인수 개수는 bind 호출의 모든 자리 표시자 인수에 대한 is_placeholder<PH>::value의 번호가 가장 높은 값보다 크거나 같아야 합니다. 예를 들어 올 bind(cos, _2)(0.0, 1.0) 바르고 반환 cos(1.0)bind(cos, _2)(0.0) 되며 올바르지 않습니다.

예시

// std__functional__bind.cpp
// compile with: /EHsc
#include <functional>
#include <algorithm>
#include <iostream>

using namespace std::placeholders;

void square(double x)
{
    std::cout << x << "^2 == " << x * x << std::endl;
}

void product(double x, double y)
{
    std::cout << x << "*" << y << " == " << x * y << std::endl;
}

int main()
{
    double arg[] = { 1, 2, 3 };

    std::for_each(&arg[0], arg + 3, square);
    std::cout << std::endl;

    std::for_each(&arg[0], arg + 3, std::bind(product, _1, 2));
    std::cout << std::endl;

    std::for_each(&arg[0], arg + 3, std::bind(square, _1));

    return (0);
}

1^2 == 1
2^2 == 4
3^2 == 9

1*2 == 2
2*2 == 4
3*2 == 6

1^2 == 1
2^2 == 4
3^2 == 9

`bind1st`

이진 함수 개체를 단항 함수 개체로 변환하는 어댑터를 만드는 도우미 템플릿 함수입니다. 이진 함수의 첫 번째 인수를 지정된 값에 바인딩합니다. C++11에서 사용되지 않으며 C++17에서 제거되었습니다.

template <class Operation, class Type>
    binder1st <Operation> bind1st (const Operation& func, const Type& left);

매개 변수

func
단항 함수 개체로 변환할 이항 함수 개체입니다.

left
이항 함수 개체의 첫 번째 인수가 바인딩되는 값입니다.

Return Value

이진 함수 개체의 첫 번째 인수를 값 left에 바인딩한 결과인 단항 함수 개체입니다.

설명

함수 바인더는 일종의 함수 어댑터입니다. 함수 개체를 반환하므로 특정 형식의 함수 컴퍼지션에서 더 복잡하고 강력한 식을 생성하는 데 사용할 수 있습니다.

형식 Operation 의 개체이고 c 상수 bind1st( func, c ) 인 경우 func 클래스 생성자와 binder1st<Operation>(func, c)동일 binder1st 하며 사용하기에 더 편리합니다.

예시

// functional_bind1st.cpp
// compile with: /EHsc
#include <vector>
#include <functional>
#include <algorithm>
#include <iostream>

using namespace std;

// Creation of a user-defined function object
// that inherits from the unary_function base class
class greaterthan5: unary_function<int, bool>
{
public:
    result_type operator()(argument_type i)
    {
        return (result_type)(i > 5);
    }
};

int main()
{
    vector<int> v1;
    vector<int>::iterator Iter;

    int i;
    for (i = 0; i <= 5; i++)
    {
        v1.push_back(5 * i);
    }

    cout << "The vector v1 = ( " ;
    for (Iter = v1.begin(); Iter != v1.end(); Iter++)
        cout << *Iter << " ";
    cout << ")" << endl;

    // Count the number of integers > 10 in the vector
    vector<int>::iterator::difference_type result1a;
    result1a = count_if(v1.begin(), v1.end(), bind1st(less<int>(), 10));
    cout << "The number of elements in v1 greater than 10 is: "
         << result1a << "." << endl;

    // Compare: counting the number of integers > 5 in the vector
    // with a user defined function object
    vector<int>::iterator::difference_type result1b;
    result1b = count_if(v1.begin(), v1.end(), greaterthan5());
    cout << "The number of elements in v1 greater than 5 is: "
         << result1b << "." << endl;

    // Count the number of integers < 10 in the vector
    vector<int>::iterator::difference_type result2;
    result2 = count_if(v1.begin(), v1.end(), bind2nd(less<int>(), 10));
    cout << "The number of elements in v1 less than 10 is: "
         << result2 << "." << endl;
}

The vector v1 = ( 0 5 10 15 20 25 )
The number of elements in v1 greater than 10 is: 3.
The number of elements in v1 greater than 5 is: 4.
The number of elements in v1 less than 10 is: 2.

`bind2nd`

이진 함수 개체를 단항 함수 개체로 변환하는 어댑터를 만드는 도우미 템플릿 함수입니다. 이진 함수의 두 번째 인수를 지정된 값에 바인딩합니다. C++11에서 사용되지 않으며 C++17에서 제거되었습니다.

template <class Operation, class Type>
    binder2nd <Operation> bind2nd(const Operation& func, const Type& right);

매개 변수

func
단항 함수 개체로 변환할 이항 함수 개체입니다.

right
이항 함수 개체의 두 번째 인수가 바인딩되는 값입니다.

Return Value

이진 함수 개체의 두 번째 인수를 바인딩한 단항 함수 개체 right결과입니다.

설명

형식 Operation 의 개체이고 c 상수 bind2nd(func, c) 인 경우 func 클래스 생성자와 binder2nd<Operation>(func, c)동일 binder2nd 하며 사용하기에 더 편리합니다.

예시

// functional_bind2nd.cpp
// compile with: /EHsc
#include <vector>
#include <functional>
#include <algorithm>
#include <iostream>

using namespace std;

// Creation of a user-defined function object
// that inherits from the unary_function base class
class greaterthan15: unary_function<int, bool>
{
public:
    result_type operator()(argument_type i)
    {
        return (result_type)(i > 15);
    }
};

int main()
{
    vector<int> v1;
    vector<int>::iterator Iter;

    int i;
    for (i = 0; i <= 5; i++)
    {
        v1.push_back(5 * i);
    }

    cout << "The vector v1 = ( ";
    for (Iter = v1.begin(); Iter != v1.end(); Iter++)
        cout << *Iter << " ";
    cout << ")" << endl;

    // Count the number of integers > 10 in the vector
    vector<int>::iterator::difference_type result1a;
    result1a = count_if(v1.begin(), v1.end(), bind2nd(greater<int>(), 10));
    cout << "The number of elements in v1 greater than 10 is: "
         << result1a << "." << endl;

    // Compare counting the number of integers > 15 in the vector
    // with a user-defined function object
    vector<int>::iterator::difference_type result1b;
    result1b = count_if(v1.begin(), v1.end(), greaterthan15());
    cout << "The number of elements in v1 greater than 15 is: "
         << result1b << "." << endl;

    // Count the number of integers < 10 in the vector
    vector<int>::iterator::difference_type result2;
    result2 = count_if(v1.begin(), v1.end(), bind1st(greater<int>(), 10));
    cout << "The number of elements in v1 less than 10 is: "
         << result2 << "." << endl;
}

The vector v1 = ( 0 5 10 15 20 25 )
The number of elements in v1 greater than 10 is: 3.
The number of elements in v1 greater than 15 is: 2.
The number of elements in v1 less than 10 is: 2.

`bit_and`

인수에 대해 비트 AND 연산(이진 operator&)을 수행하는 미리 정의된 함수 개체입니다.

template <class Type = void>
struct bit_and : public binary_function<Type, Type, Type
{
    Type operator()(
    const Type& Left,
    const Type& Right) const;
};

// specialized transparent functor for operator&
template <>
struct bit_and<void>
{
    template <class T, class U>
    auto operator()(T&& Left, U&& Right) const  ->
        decltype(std::forward<T>(Left) & std::forward<U>(Right));
};

매개 변수

Type, , TU
지정되었거나 유추된 형식의 피연산자를 가져오는 operator&를 지원하는 모든 형식입니다.

Left
비트 AND 연산의 왼쪽 피연산자입니다. 특수화되지 않은 템플릿은 Type 형식의 lvalue 참조 인수를 사용합니다. 특수화된 템플릿은 유추 형식 T의 lvalue 및 rvalue 참조 인수를 완벽하게 전달합니다.

Right
비트 AND 연산의 오른쪽 피연산자입니다. 특수화되지 않은 템플릿은 Type 형식의 lvalue 참조 인수를 사용합니다. 특수화된 템플릿은 유추 형식 U의 lvalue 및 rvalue 참조 인수를 완벽하게 전달합니다.

Return Value

Left & Right의 결과입니다. 특수화된 템플릿은 operator&에 의해 반환되는 형식을 가지고 있는 결과를 완벽하게 전달합니다.

설명

bit_and 함수는 기본 데이터 형식에 대한 필수 형식이나 이항 operator&를 구현하는 사용자 정의 형식으로 제한됩니다.

bit_not

인수에 대해 비트 보수(NOT) 연산(단항 operator~)을 수행하는 미리 정의된 함수 개체입니다. C++14에 추가되었습니다.

template <class Type = void>
struct bit_not : public unary_function<Type, Type>
{
    Type operator()(const Type& Right) const;
};

// specialized transparent functor for operator~
template <>
struct bit_not<void>
{
    template <class Type>
    auto operator()(Type&& Right) const -> decltype(~std::forward<Type>(Right));
};

매개 변수

Type
이항 operator~를 지원하는 형식입니다.

Right
비트 보수 연산의 피연산자입니다. 특수화되지 않은 템플릿은 Type 형식의 lvalue 참조 인수를 사용합니다. 특수화된 템플릿은 유추 형식 Type의 lvalue 또는 rvalue 참조 인수를 완벽하게 전달합니다.

Return Value

~ Right의 결과입니다. 특수화된 템플릿은 operator~에 의해 반환되는 형식을 가지고 있는 결과를 완벽하게 전달합니다.

설명

bit_not 함수는 기본 데이터 형식에 대한 필수 형식이나 이항 operator~를 구현하는 사용자 정의 형식으로 제한됩니다.

`bit_or`

인수에 대해 비트 OR 연산(operator|)을 수행하는 미리 정의된 함수 개체입니다.

template <class Type = void>
struct bit_or : public binary_function<Type, Type, Type>
{
    Type operator()(
    const Type& Left,
    const Type& Right) const;
};

// specialized transparent functor for operator|
template <>
struct bit_or<void>
{
    template <class T, class U>
    auto operator()(T&& Left, U&& Right) const
        -> decltype(std::forward<T>(Left) | std::forward<U>(Right));
};

매개 변수

Type, , TU
지정되었거나 유추된 형식의 피연산자를 가져오는 operator|를 지원하는 모든 형식입니다.

Left
비트 OR 연산의 왼쪽 피연산자입니다. 특수화되지 않은 템플릿은 Type 형식의 lvalue 참조 인수를 사용합니다. 특수화된 템플릿은 유추 형식 T의 lvalue 및 rvalue 참조 인수를 완벽하게 전달합니다.

Right
비트 OR 연산의 오른쪽 피연산자입니다. 특수화되지 않은 템플릿은 Type 형식의 lvalue 참조 인수를 사용합니다. 특수화된 템플릿은 유추 형식 U의 lvalue 및 rvalue 참조 인수를 완벽하게 전달합니다.

Return Value

Left | Right의 결과입니다. 특수화된 템플릿은 operator|에 의해 반환되는 형식을 가지고 있는 결과를 완벽하게 전달합니다.

설명

bit_or 함수는 기본 데이터 형식에 대한 필수 형식이나 operator|를 구현하는 사용자 정의 형식으로 제한됩니다.

`bit_xor`

인수에 대해 비트 XOR 연산(이진 operator^)을 수행하는 미리 정의된 함수 개체입니다.

template <class Type = void>
struct bit_xor : public binary_function<Type, Type, Type>
{
    Type operator()(
    const Type& Left,
    const Type& Right) const;
};

// specialized transparent functor for operator^
template <>
struct bit_xor<void>
{
    template <class T, class U>
    auto operator()(T&& Left, U&& Right) const
        -> decltype(std::forward<T>(Left) ^ std::forward<U>(Right));
};

매개 변수

Type, , TU
지정되었거나 유추된 형식의 피연산자를 가져오는 operator^를 지원하는 모든 형식입니다.

Left
비트 XOR 연산의 왼쪽 피연산자입니다. 특수화되지 않은 템플릿은 Type 형식의 lvalue 참조 인수를 사용합니다. 특수화된 템플릿은 유추 형식 T의 lvalue 및 rvalue 참조 인수를 완벽하게 전달합니다.

Right
비트 XOR 연산의 오른쪽 피연산자입니다. 특수화되지 않은 템플릿은 Type 형식의 lvalue 참조 인수를 사용합니다. 특수화된 템플릿은 유추 형식 U의 lvalue 및 rvalue 참조 인수를 완벽하게 전달합니다.

Return Value

Left ^ Right의 결과입니다. 특수화된 템플릿은 operator^에 의해 반환되는 형식을 가지고 있는 결과를 완벽하게 전달합니다.

설명

bit_xor 함수는 기본 데이터 형식에 대한 필수 형식이나 이항 operator^를 구현하는 사용자 정의 형식으로 제한됩니다.

cref

인수에서 const reference_wrapper를 생성합니다.

template <class Ty>
reference_wrapper<const Ty> cref(const Ty& arg);

template <class Ty>
reference_wrapper<const Ty> cref(const reference_wrapper<Ty>& arg);

매개 변수

Ty
래핑할 인수의 형식입니다.

arg
래핑할 인수입니다.

설명

첫 번째 함수는 reference_wrapper<const Ty>(arg.get())를 반환합니다. 이를 사용하여 상수 참조를 래핑합니다. 두 번째 함수는 reference_wrapper<const Ty>(arg)를 반환합니다. 이 함수를 사용하여 래핑된 참조를 상수 참조로 다시 래핑합니다.

예시

// std__functional__cref.cpp
// compile with: /EHsc
#include <functional>
#include <iostream>

int neg(int val)
{
    return (-val);
}

int main()
{
    int i = 1;

    std::cout << "i = " << i << std::endl;
    std::cout << "cref(i) = " << std::cref(i) << std::endl;
    std::cout << "cref(neg)(i) = "
        << std::cref(&neg)(i) << std::endl;

    return (0);
}

i = 1
cref(i) = 1
cref(neg)(i) = -1

invoke

지정된 인수를 사용하여 호출 가능한 개체를 호출합니다. C++17에 추가되었습니다.

template <class Callable, class... Args>
invoke_result_t<Callable, Args...>
    invoke(Callable&& fn, Args&&... args) noexcept(/* specification */);

매개 변수

Callable
호출할 개체의 형식입니다.

Args
호출 인수의 형식입니다.

fn
호출할 개체입니다.

args
호출 인수입니다.

specification
사양std::is_nothrow_invocable_v<Callable, Args>)입니다noexcept.

설명

매개 변수args를 사용하여 호출 가능한 개체 fn 를 호출합니다. 실제로 INVOKE(std::forward<Callable>(fn), std::forward<Args>(args)...)의사 함수 INVOKE(f, t1, t2, ..., tN) 는 다음 중 하나를 의미합니다.

f가 T 클래스의 멤버 함수에 대한 포인터이고, t1이 T 형식의 개체이거나 T 형식의 개체에 대한 참조 또는 T에서 파생된 형식의 개체에 대한 참조인 경우 (t1.*f)(t2, ..., tN)입니다. 즉, 사실인 경우 std::is_base_of<T, std::decay_t<decltype(t1)>>::value 입니다.
(t1.get().*f)(t2, ..., tN)는 f 클래스의 멤버 함수에 대한 포인터이며 std::decay_t<decltype(t1)> std::reference_wrapper.T
((*t1).*f)(t2, ..., tN) 는 f 클래스 T 의 멤버 함수에 대한 포인터이며 t1 이전 형식 중 하나가 아닌 경우입니다.
N == 1이며 f가 T 클래스의 멤버 데이터에 대한 포인터이고, t1이 T 형식의 개체이거나 T 형식의 개체에 대한 참조 또는 T에서 파생된 형식의 개체에 대한 참조인 경우 t1.*f입니다. 즉, 사실인 경우 std::is_base_of<T, std::decay_t<decltype(t1)>>::value 입니다.
t1.get().*f N == 1이면 f 클래스 T 의 멤버 데이터에 대한 포인터이며 std::decay_t<decltype(t1)> 특수화 std::reference_wrapper입니다.
(*t1).*f N == 1이고 f 클래스 T 의 멤버 데이터에 대한 포인터이며 t1 이전 형식 중 하나가 아닌 경우
다른 모든 경우에서는 f(t1, t2, ..., tN)입니다.

호출 가능한 개체의 결과 형식에 대한 자세한 내용은 invoke_result 참조하세요. 호출 가능한 형식에 대한 조건자는 is_invocable, is_invocable_r, is_nothrow_invocable, is_nothrow_invocable_r 클래스를 참조 하세요.

예시

// functional_invoke.cpp
// compile using: cl /EHsc /std:c++17 functional_invoke.cpp
#include <functional>
#include <iostream>

struct Demo
{
    int n_;

    Demo(int const n) : n_{n} {}

    void operator()( int const i, int const j ) const
    {
        std::cout << "Demo operator( " << i << ", "
            << j << " ) is " << i * j << "\n";
    }

    void difference( int const i ) const
    {
        std::cout << "Demo.difference( " << i << " ) is "
            << n_ - i << "\n";
    }
};

void divisible_by_3(int const i)
{
    std::cout << i << ( i % 3 == 0 ? " is" : " isn't" )
        << " divisible by 3.\n";
}

int main()
{
    Demo d{ 42 };
    Demo * pd{ &d };
    auto pmf = &Demo::difference;
    auto pmd = &Demo::n_;

    // Invoke a function object, like calling d( 3, -7 )
    std::invoke( d, 3, -7 );

    // Invoke a member function, like calling
    // d.difference( 29 ) or (d.*pmf)( 29 )
    std::invoke( &Demo::difference, d, 29 );
    std::invoke( pmf, pd, 13 );

    // Invoke a data member, like access to d.n_ or d.*pmd
    std::cout << "d.n_: " << std::invoke( &Demo::n_, d ) << "\n";
    std::cout << "pd->n_: " << std::invoke( pmd, pd ) << "\n";

    // Invoke a stand-alone (free) function
    std::invoke( divisible_by_3, 42 );

    // Invoke a lambda
    auto divisible_by_7 = []( int const i )
    {
        std::cout << i << ( i % 7 == 0 ? " is" : " isn't" )
            << " divisible by 7.\n";
    };
    std::invoke( divisible_by_7, 42 );
}

Demo operator( 3, -7 ) is -21
Demo.difference( 29 ) is 13
Demo.difference( 13 ) is 29
d.n_: 42
pd->n_: 42
42 is divisible by 3.
42 is divisible by 7.

`mem_fn`

단순 호출 래퍼를 생성합니다.

template <class RTy, class Ty>
unspecified mem_fn(RTy Ty::*pm);

매개 변수

RTy
래핑된 함수의 반환 형식입니다.

Ty
멤버 함수 포인터의 형식입니다.

설명

템플릿 함수는 식 cw(t, a2, ..., aN) 이 같은 약한 결과 형식의 단순 호출 래퍼cw를 INVOKE(pm, t, a2, ..., aN)반환합니다. 예외는 throw하지 않습니다.

반환된 std::unary_function<cv Ty*, RTy> 호출 래퍼는 형식이 인수를 사용하지 않는 cv-qualifier cv 가 있는 멤버 함수에 대한 cv Ty*RTy 포인터인 경우에만 중첩 result_type 된 형식을 동의어로 정의하고 중첩 형식 argument_type Ty 을 동의어로 정의하여 파생됩니다.

반환된 std::binary_function<cv Ty*, T2, RTy> 호출 래퍼는 형식이 하나의 인수T2를 사용하는 cv-qualifier cv 를 사용하는 멤버 함수에 대한 RTy포인터인 경우에만 중첩 result_type 된 형식 first argument_type 을 동의어로 정의하고 중첩 형식을 동의어cv Ty*로 정의하고 중첩 형식 second argument_type Ty 을 동의어T2로 정의합니다.

예시

// std__functional__mem_fn.cpp
// compile with: /EHsc
#include <functional>
#include <iostream>

class Funs
{
public:
    void square(double x)
    {
        std::cout << x << "^2 == " << x * x << std::endl;
    }

    void product(double x, double y)
    {
        std::cout << x << "*" << y << " == " << x * y << std::endl;
    }
};

int main()
{
    Funs funs;

    std::mem_fn(&Funs::square)(funs, 3.0);
    std::mem_fn(&Funs::product)(funs, 3.0, 2.0);

    return (0);
}

3^2 == 9
3*2 == 6

`mem_fun`

포인터 인수를 사용하여 초기화할 때 멤버 함수에 대한 함수 개체 어댑터를 생성하는 데 사용되는 도우미 템플릿 함수입니다. C++11 mem_fn bind에서는 더 이상 사용되지 않으며 C++17에서는 제거됩니다.

template <class Result, class Type>
mem_fun_t<Result, Type> mem_fun (Result(Type::* pMem)());

template <class Result, class Type, class Arg>
mem_fun1_t<Result, Type, Arg> mem_fun(Result (Type::* pMem)(Arg));

template <class Result, class Type>
const_mem_fun_t<Result, Type> mem_fun(Result (Type::* pMem)() const);

template <class Result, class Type, class Arg>
const_mem_fun1_t<Result, Type, Arg> mem_fun(Result (Type::* pMem)(Arg) const);

매개 변수

pMem
함수 개체로 변환할 Type 클래스의 멤버 함수 포인터입니다.

Return Value

형식 mem_fun_t mem_fun1_t또는 .의 A const 또는 비 const 함수 개체입니다.

예시

// functional_mem_fun.cpp
// compile with: /EHsc
#include <vector>
#include <functional>
#include <algorithm>
#include <iostream>

using namespace std;

class StoreVals
{
    int val;
public:
    StoreVals() { val = 0; }
    StoreVals(int j) { val = j; }

    bool display() { cout << val << " "; return true; }
    int squareval() { val *= val; return val; }
    int lessconst(int k) {val -= k; return val; }
};

int main( )
{
    vector<StoreVals *> v1;

    StoreVals sv1(5);
    v1.push_back(&sv1);
    StoreVals sv2(10);
    v1.push_back(&sv2);
    StoreVals sv3(15);
    v1.push_back(&sv3);
    StoreVals sv4(20);
    v1.push_back(&sv4);
    StoreVals sv5(25);
    v1.push_back(&sv5);

    cout << "The original values stored are: " ;
    for_each(v1.begin(), v1.end(), mem_fun<bool, StoreVals>(&StoreVals::display));
    cout << endl;

    // Use of mem_fun calling member function through a pointer
    // square each value in the vector using squareval ()
    for_each(v1.begin(), v1.end(), mem_fun<int, StoreVals>(&StoreVals::squareval));
    cout << "The squared values are: " ;
    for_each(v1.begin(), v1.end(), mem_fun<bool, StoreVals>(&StoreVals::display));
    cout << endl;

    // Use of mem_fun1 calling member function through a pointer
    // subtract 5 from each value in the vector using lessconst ()
    for_each(v1.begin(), v1.end(),
        bind2nd (mem_fun1<int, StoreVals,int>(&StoreVals::lessconst), 5));
    cout << "The squared values less 5 are: " ;
    for_each(v1.begin(), v1.end(), mem_fun<bool, StoreVals>(&StoreVals::display));
    cout << endl;
}

`mem_fun_ref`

참조 인수를 사용하여 초기화할 때 멤버 함수에 대한 함수 개체 어댑터를 생성하는 데 사용되는 도우미 템플릿 함수입니다. C++11에서 사용되지 않으며 C++17에서 제거되었습니다.

template <class Result, class Type>
mem_fun_ref_t<Result, Type> mem_fun_ref(Result (Type::* pMem)());

template <class Result, class Type, class Arg>
mem_fun1_ref_t<Result, Type, Arg> mem_fun_ref(Result (Type::* pMem)(Arg));

template <class Result, class Type>
const_mem_fun_ref_t<Result, Type> mem_fun_ref(Result Type::* pMem)() const);

template <class Result, class Type, class Arg>
const_mem_fun1_ref_t<Result, Type, Arg> mem_fun_ref(Result (T::* pMem)(Arg) const);

매개 변수

pMem
함수 개체로 변환할 Type 클래스의 멤버 함수 포인터입니다.

Return Value

mem_fun_ref_t 또는 mem_fun1_ref_t 형식의 const 또는 non_const 함수 개체입니다.

예시

// functional_mem_fun_ref.cpp
// compile with: /EHsc
#include <vector>
#include <functional>
#include <algorithm>
#include <iostream>

using namespace std;

class NumVals
{
   int val;
   public:
   NumVals ( ) { val = 0; }
   NumVals ( int j ) { val = j; }

   bool display ( ) { cout << val << " "; return true; }
   bool isEven ( ) { return ( bool )  !( val %2 ); }
   bool isPrime( )
   {
      if (val < 2) { return true; }
      for (int i = 2; i <= val / i; ++i)
      {
         if (val % i == 0) { return false; }
      }
      return true;
   }
};

int main( )
{
   vector <NumVals> v1 ( 13 ), v2 ( 13 );
   vector <NumVals>::iterator v1_Iter, v2_Iter;
   int i, k;

   for ( i = 0; i < 13; i++ ) v1 [ i ] = NumVals ( i+1 );
   for ( k = 0; k < 13; k++ ) v2 [ k ] = NumVals ( k+1 );

   cout << "The original values stored in v1 are: " ;
   for_each( v1.begin( ), v1.end( ),
   mem_fun_ref ( &NumVals::display ) );
   cout << endl;

   // Use of mem_fun_ref calling member function through a reference
   // remove the primes in the vector using isPrime ( )
   v1_Iter = remove_if ( v1.begin( ),  v1.end( ),
      mem_fun_ref ( &NumVals::isPrime ) );
   cout << "With the primes removed, the remaining values in v1 are: " ;
   for_each( v1.begin( ), v1_Iter,
   mem_fun_ref ( &NumVals::display ) );
   cout << endl;

   cout << "The original values stored in v2 are: " ;
   for_each( v2.begin( ), v2.end( ),
   mem_fun_ref ( &NumVals::display ) );
   cout << endl;

   // Use of mem_fun_ref calling member function through a reference
   // remove the even numbers in the vector v2 using isEven ( )
   v2_Iter = remove_if ( v2.begin( ),  v2.end( ),
      mem_fun_ref ( &NumVals::isEven ) );
   cout << "With the even numbers removed, the remaining values are: " ;
   for_each( v2.begin( ),  v2_Iter,
   mem_fun_ref ( &NumVals::display ) );
   cout << endl;
}

The original values stored in v1 are: 1 2 3 4 5 6 7 8 9 10 11 12 13
With the primes removed, the remaining values in v1 are: 4 6 8 9 10 12
The original values stored in v2 are: 1 2 3 4 5 6 7 8 9 10 11 12 13
With the even numbers removed, the remaining values are: 1 3 5 7 9 11 13

`not1`

단항 조건자의 보수를 반환합니다. C++17에서는 사용되지 않습니다 not_fn .

template <class UnaryPredicate>
unary_negate<UnaryPredicate> not1(const UnaryPredicate& predicate);

매개 변수

predicate
부정할 단항 조건자입니다.

Return Value

수정된 단항 조건자의 부정을 나타내는 단항 조건자입니다.

설명

단 unary_negate 항 조건 predicate(x)자에서 생성되는 경우 반환됩니다 !predicate(x).

예시

// functional_not1.cpp
// compile with: /EHsc
#include <vector>
#include <functional>
#include <algorithm>
#include <iostream>

using namespace std;

int main()
{
    vector<int> v1;
    vector<int>::iterator Iter;

    int i;
    for (i = 0; i <= 7; i++)
    {
        v1.push_back(5 * i);
    }

    cout << "The vector v1 = ( ";
    for (Iter = v1.begin(); Iter != v1.end(); Iter++)
        cout << *Iter << " ";
    cout << ")" << endl;

    vector<int>::iterator::difference_type result1;
    // Count the elements greater than 10
    result1 = count_if(v1.begin(), v1.end(), bind2nd(greater<int>(), 10));
    cout << "The number of elements in v1 greater than 10 is: "
         << result1 << "." << endl;

    vector<int>::iterator::difference_type result2;
    // Use the negator to count the elements less than or equal to 10
    result2 = count_if(v1.begin(), v1.end(),
        not1(bind2nd(greater<int>(), 10)));

    cout << "The number of elements in v1 not greater than 10 is: "
         << result2 << "." << endl;
}

The vector v1 = ( 0 5 10 15 20 25 30 35 )
The number of elements in v1 greater than 10 is: 5.
The number of elements in v1 not greater than 10 is: 3.

`not2`

이항 조건자의 보수를 반환합니다. C++17에서는 사용되지 않습니다 not_fn .

template <class BinaryPredicate>
binary_negate<BinaryPredicate> not2(const BinaryPredicate& func);

매개 변수

func
부정할 이항 조건자입니다.

Return Value

수정된 이항 조건자의 부정을 나타내는 이항 조건자입니다.

설명

이 binary_negate 진 조건 binary_predicate(x, y)자에서 생성되는 경우 반환됩니다 !binary_predicate(x, y).

예시

// functional_not2.cpp
// compile with: /EHsc
#include <vector>
#include <algorithm>
#include <functional>
#include <cstdlib>
#include <iostream>

int main( )
{
   using namespace std;
   vector <int> v1;
   vector <int>::iterator Iter1;

   int i;
   v1.push_back( 6262 );
   v1.push_back( 6262 );
   for ( i = 0 ; i < 5 ; i++ )
   {
      v1.push_back( rand( ) );
   }

   cout << "Original vector v1 = ( " ;
   for ( Iter1 = v1.begin( ) ; Iter1 != v1.end( ) ; Iter1++ )
      cout << *Iter1 << " ";
   cout << ")" << endl;

   // To sort in ascending order,
   // use default binary predicate less<int>( )
   sort( v1.begin( ), v1.end( ) );
   cout << "Sorted vector v1 = ( " ;
   for ( Iter1 = v1.begin( ) ; Iter1 != v1.end( ) ; Iter1++ )
      cout << *Iter1 << " ";
   cout << ")" << endl;

   // To sort in descending order,
   // use the binary_negate helper function not2
   sort( v1.begin( ), v1.end( ), not2(less<int>( ) ) );
   cout << "Resorted vector v1 = ( " ;
   for ( Iter1 = v1.begin( ) ; Iter1 != v1.end( ) ; Iter1++ )
      cout << *Iter1 << " ";
   cout << ")" << endl;
}

Original vector v1 = ( 6262 6262 41 18467 6334 26500 19169 )
Sorted vector v1 = ( 41 6262 6262 6334 18467 19169 26500 )
Resorted vector v1 = ( 26500 19169 18467 6334 6262 6262 41 )

not_fn

함수 템플릿은 not_fn 호출 가능한 개체를 사용하고 호출 가능한 개체를 반환합니다. 반환된 호출 가능 개체가 나중에 일부 인수를 사용하여 호출되면 원래 호출 가능한 개체에 전달되고 논리적으로 결과를 부정합니다. 래핑된 호출 가능 개체의 const 한정 및 값 범주 동작을 유지합니다. not_fn는 C++17의 새로운 기능이며 사용되지 않는 std::not1, std::not2및 std::unary_negatestd::binary_negate.

template <class Callable>
/* unspecified */ not_fn(Callable&& func);

매개 변수

func
전달 호출 래퍼를 생성하는 데 사용되는 호출 가능한 개체입니다.

설명

템플릿 함수는 이 박람회 전용 클래스에 따라 다음과 같은 return call_wrapper(std::forward<Callable>(func))호출 래퍼를 반환합니다.

class call_wrapper
{
   using FD = decay_t<Callable>;
   explicit call_wrapper(Callable&& func);

public:
   call_wrapper(call_wrapper&&) = default;
   call_wrapper(call_wrapper const&) = default;

   template<class... Args>
     auto operator()(Args&&...) & -> decltype(!declval<invoke_result_t<FD&(Args...)>>());

   template<class... Args>
     auto operator()(Args&&...) const& -> decltype(!declval<invoke_result_t<FD const&(Args...)>>());

   template<class... Args>
     auto operator()(Args&&...) && -> decltype(!declval<invoke_result_t<FD(Args...)>>());

   template<class... Args>
     auto operator()(Args&&...) const&& -> decltype(!declval<invoke_result_t<FD const(Args...)>>());

private:
  FD fd;
};

호출 가능한 개체 func 의 명시적 생성자는 형식 std::decay_t<Callable> 이 있어야 합니다. 이 형식은 다음 요구 MoveConstructible사항을 충족해야 하며 is_constructible_v<FD, Callable> true여야 합니다. 로 래핑된 호출 가능 개체 fd std::forward<Callable>(func)를 초기화하고 생성 시 fdthrow된 예외를 throw합니다.

래퍼는 다음과 같이 lvalue 또는 rvalue 참조 범주 및 const 한정으로 구분된 호출 연산자를 노출합니다.

template<class... Args> auto operator()(Args&&... args) & -> decltype(!declval<invoke_result_t<FD&(Args...)>>());
template<class... Args> auto operator()(Args&&... args) const& -> decltype(!declval<invoke_result_t<FD const&(Args...)>>());
template<class... Args> auto operator()(Args&&... args) && -> decltype(!declval<invoke_result_t<FD(Args...)>>());
template<class... Args> auto operator()(Args&&... args) const&& -> decltype(!declval<invoke_result_t<FD const(Args...)>>());

처음 두 개는 .와 동일합니다 return !std::invoke(fd, std::forward<Args>(args)...). 두 번째 두 가지는 .와 동일합니다 return !std::invoke(std::move(fd), std::forward<Args>(args)...).

예시

// functional_not_fn_.cpp
// compile with: /EHsc /std:c++17
#include <vector>
#include <algorithm>
#include <functional>
#include <iostream>

int main()
{
    std::vector<int> v1 = { 99, 6264, 41, 18467, 6334, 26500, 19169 };
    auto divisible_by_3 = [](int i){ return i % 3 == 0; };

    std::cout << "Vector v1 = ( " ;
    for (const auto& item : v1)
    {
        std::cout << item << " ";
    }
    std::cout << ")" << std::endl;

    // Count the number of vector elements divisible by 3.
    int divisible =
        std::count_if(v1.begin(), v1.end(), divisible_by_3);
    std::cout << "Elements divisible by three: "
        << divisible << std::endl;

    // Count the number of vector elements not divisible by 3.
    int not_divisible =
        std::count_if(v1.begin(), v1.end(), std::not_fn(divisible_by_3));
    std::cout << "Elements not divisible by three: "
        << not_divisible << std::endl;
}

Vector v1 = ( 99 6264 41 18467 6334 26500 19169 )
Elements divisible by three: 2
Elements not divisible by three: 5

`ptr_fun`

단항 및 이항 함수 포인터를 각각 조정 가능한 단항 및 이항 함수로 변환하는 데 사용되는 도우미 템플릿 함수입니다. C++11에서 사용되지 않으며 C++17에서 제거되었습니다.

template <class Arg, class Result>
pointer_to_unary_function<Arg, Result, Result (*)(Arg)> ptr_fun(Result (*pfunc)(Arg));

template <class Arg1, class Arg2, class Result>
pointer_to_binary_function<Arg1, Arg2, Result, Result (*)(Arg1, Arg2)> ptr_fun(Result (*pfunc)(Arg1, Arg2));

매개 변수

pfunc
조정 가능한 함수로 변환할 단항 또는 이항 함수 포인터입니다.

Return Value

첫 번째 템플릿 함수는 단항 함수 pointer_to_unary_functionArg<Result>(* pfunc)를 반환합니다.

두 번째 템플릿 함수는 이진 함수 pointer_to_binary_function<Arg1 , ResultArg2>(* pfunc)를 반환합니다.

설명

함수 포인터는 함수 개체입니다. 함수를 매개 변수로 예상하는 알고리즘에 전달될 수 있지만 적응할 수는 없습니다. 예를 들어 값을 바인딩하거나 부정하기 위해 어댑터와 함께 사용하려면 중첩 형식에 대한 정보가 필요합니다. ptr_fun 도우미 함수를 통해 단항 및 이행 함수 포인터를 변환하면 함수 어댑터를 단항 및 이행 함수 포인터와 함께 사용할 수 있습니다.

예시

// functional_ptr_fun.cpp
// compile with: /EHsc
#include <vector>
#include <algorithm>
#include <functional>
#include <cstring>
#include <iostream>

int main( )
{
    using namespace std;
    vector <char*> v1;
    vector <char*>::iterator Iter1, RIter;

    v1.push_back ( "Open" );
    v1.push_back ( "up" );
    v1.push_back ( "the" );
    v1.push_back ( "opalescent" );
    v1.push_back ( "gates" );

    cout << "Original sequence contains: " ;
    for ( Iter1 = v1.begin( ) ; Iter1 != v1.end( ) ; ++Iter1 )
        cout << *Iter1 << " ";
    cout << endl;

    // To search the sequence for "opalescent"
    // use a pointer_to_function conversion
    RIter = find_if( v1.begin( ), v1.end( ),
        not1 ( bind2nd (ptr_fun ( strcmp ), "opalescent" ) ) );

    if ( RIter != v1.end( ) )  
    {
        cout << "Found a match: " 
            << *RIter << endl;
    }
}

ref

인수에서 reference_wrapper 를 생성합니다.

template <class Ty>
    reference_wrapper<Ty> ref(Ty& arg);

template <class Ty>
    reference_wrapper<Ty> ref(reference_wrapper<Ty>& arg);

Return Value

arg, 특히 reference_wrapper<Ty>(arg)에 대한 참조입니다.

예시

다음 예제에서는 문자열 변수에 바인딩된 함수 및 ref호출에서 계산된 문자열 변수의 참조에 바인딩된 함수의 두 함수를 정의합니다. 변수의 값이 변경될 경우 첫 번째 함수는 이전 값을 계속 사용하고 두 번째 함수는 새 값을 사용합니다.

#include <algorithm>
#include <functional>
#include <iostream>
#include <iterator>
#include <ostream>
#include <string>
#include <vector>
using namespace std;
using namespace std;
using namespace std::placeholders;

bool shorter_than(const string& l, const string& r)
{
    return l.size() < r.size();
}

int main()
{
    vector<string> v_original;
    v_original.push_back("tiger");
    v_original.push_back("cat");
    v_original.push_back("lion");
    v_original.push_back("cougar");

    copy(v_original.begin(), v_original.end(), ostream_iterator<string>(cout, " "));
    cout << endl;

    string s("meow");

    function<bool (const string&)> f = bind(shorter_than, _1, s);
    function<bool (const string&)> f_ref = bind(shorter_than, _1, ref(s));

    vector<string> v;

    // Remove elements that are shorter than s ("meow")

    v = v_original;
    v.erase(remove_if(v.begin(), v.end(), f), v.end());

    copy(v.begin(), v.end(), ostream_iterator<string>(cout, " "));
    cout << endl;

    // Now change the value of s.
    // f_ref, which is bound to ref(s), will use the
    // new value, while f is still bound to the old value.

    s = "kitty";

    // Remove elements that are shorter than "meow" (f is bound to old value of s)

    v = v_original;
    v.erase(remove_if(v.begin(), v.end(), f), v.end());

    copy(v.begin(), v.end(), ostream_iterator<string>(cout, " "));
    cout << endl;

    // Remove elements that are shorter than "kitty" (f_ref is bound to ref(s))

    v = v_original;
    v.erase(remove_if(v.begin(), v.end(), f_ref), v.end());

    copy(v.begin(), v.end(), ostream_iterator<string>(cout, " "));
    cout << endl;
}

tiger cat lion cougar
tiger lion cougar
tiger lion cougar
tiger cougar

`swap`

두 function 개체를 교환합니다.

template <class FT>
    void swap(function<FT>& f1, function<FT>& f2);

매개 변수

FT
함수 개체에서 제어되는 형식입니다.

f1
첫 번째 함수 개체입니다.

f2
두 번째 함수 개체입니다.

설명

함수에서 f1.swap(f2)을 반환합니다.

예제

// std__functional__swap.cpp
// compile with: /EHsc
#include <functional>
#include <iostream>

int neg(int val)
{
    return (-val);
}

int main()
{
    std::function<int (int)> fn0(neg);
    std::cout << std::boolalpha << "empty == " << !fn0 << std::endl;
    std::cout << "val == " << fn0(3) << std::endl;

    std::function<int (int)> fn1;
    std::cout << std::boolalpha << "empty == " << !fn1 << std::endl;
    std::cout << std::endl;

    swap(fn0, fn1);
    std::cout << std::boolalpha << "empty == " << !fn0 << std::endl;
    std::cout << std::boolalpha << "empty == " << !fn1 << std::endl;
    std::cout << "val == " << fn1(3) << std::endl;

    return (0);
}

empty == false
val == -3
empty == true

empty == true
empty == false
val == -3

다음을 통해 공유

<functional> 함수

bind

매개 변수

설명

예시

bind1st

매개 변수

Return Value

설명

예시

bind2nd

매개 변수

Return Value

설명

예시

bit_and

매개 변수

Return Value

설명

bit_not

매개 변수

Return Value

설명

bit_or

매개 변수

Return Value

설명

bit_xor

매개 변수

Return Value

설명

cref

매개 변수

설명

예시

invoke

매개 변수

설명

예시

mem_fn

매개 변수

설명

예시

mem_fun

매개 변수

Return Value

예시

mem_fun_ref

매개 변수

Return Value

예시

not1

매개 변수

Return Value

설명

예시

not2

매개 변수

Return Value

설명

예시

not_fn

매개 변수

설명

예시

ptr_fun

매개 변수

Return Value

설명

예시

ref

Return Value

예시

swap

매개 변수

설명

예제

피드백

추가 리소스

`<functional>` 함수

`bind`

`bind1st`

`bind2nd`

`bit_and`

`bit_or`

`bit_xor`

`mem_fn`

`mem_fun`

`mem_fun_ref`

`not1`

`not2`

`ptr_fun`

`swap`