`<functional>` 関数

[アーティクル]
06/16/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 はコピーで構築可能である必要があり、INVOKE(fn, t1, ..., tN) はいくつかの値 w1, w2, ..., wN の有効な式である必要があります。

1 つ目のテンプレート関数は、転送呼び出しラッパー g と弱い結果型を返します。 g(u1, u2, ..., uM)の効果はINVOKE(f, v1, v2, ..., vN, invoke_result<FT cv (V1, V2, ..., VN)>::type)です。ここで、cvはgの cv 修飾子であり、バインドされた引数v1, v2, ..., vNの値と型は、次に示すように決定されます。引数を呼び出し可能なオブジェクトにバインドしてカスタマイズされた引数リストを使用する呼び出し可能なオブジェクトを作成するためにそれを使用します。

2 つ目のテンプレート関数は、転送呼び出しラッパー g と入れ子になった型 result_type を返します。これは RTy のシノニムです。 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 が型 reference_wrapper<T> である場合、引数 vi は ti.get() であり、型 Vi は T& です。

std::is_bind_expression<Ti>::valueの値がtrue場合、引数viはti(u1, u2, ..., uM)され、その型Viはresult_of<Ti cv (U1&, U2&, ..., UN&>::type。

std::is_placeholder<Ti>::value の値 j が 0 でない場合、引数 vi は uj であり、型 Vi は Uj& です。

それ以外の場合、引数 vi は ti され、その型 Vi は Ti cv &。

たとえば、関数 f(int, int) を指定した場合、式 bind(f, _1, 0) は、cw(x) が f(x, 0) を呼び出すように、転送呼び出しラッパー cw を返します。式 bind(f, 0, _1) は、cw(x) が f(0, x) を呼び出すように、転送呼び出しラッパー cw を返します。

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
二項関数オブジェクトの最初の引数がバインドされている値。

戻り値

二項関数オブジェクトの最初の引数を値 left にバインドした結果として生成される単項関数オブジェクト。

解説

関数バインダーは、関数アダプターの一種です。これらは関数オブジェクトを返すため、特定の型の関数合成で使用して、より複雑で強力な式を作成できます。

func が Operation 型のオブジェクトで、c が定数の場合、bind1st( func, c ) は binder1st クラスコンストラクター binder1st<Operation>(func, c) と同じであり、より便利に使用できます。

例

// 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`

二項関数オブジェクトを単項関数オブジェクトに変換するためのアダプターを作成するヘルパーテンプレート関数。二項関数オブジェクトの 2 番目の引数を指定された値にバインドします。 C++ 11 で非推奨となり、C++ 17 で削除されています。

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

パラメーター

func
単項関数オブジェクトに変換する二項関数オブジェクト。

right
二項関数オブジェクトの 2 つ目の引数がバインドされている値。

戻り値

二項関数オブジェクトの 2 番目の引数を right にバインドした単項関数オブジェクトの結果。

解説

func が Operation 型のオブジェクトで、c が定数の場合、bind2nd(func, c) は binder2nd クラスコンストラクター binder2nd<Operation>(func, c) と同じであり、より便利に使用できます。

例

// 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、 T、 U
指定または推論された型のオペランドを受け取る operator& をサポートする任意の型。

Left
ビットごとの AND 演算の左オペランド。特殊化されていないテンプレートでは、Type 型の左辺値参照引数を使用します。特殊化されたテンプレートは、推論された型 T の左辺値および右辺値参照引数の完全転送を行います。

Right
ビットごとの AND 演算の右オペランド。特殊化されていないテンプレートでは、Type 型の左辺値参照引数を使用します。特殊化されたテンプレートは、推論された型 U の左辺値および右辺値参照引数の完全転送を行います。

戻り値

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 型の左辺値参照引数を使用します。特殊化されたテンプレートは、推論された型 Type の左辺値参照引数や右辺値参照引数の完全転送を行います。

戻り値

~ 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、 T、 U
指定または推論された型のオペランドを受け取る operator| をサポートする任意の型。

Left
ビットごとの OR 演算の左オペランド。特殊化されていないテンプレートでは、Type 型の左辺値参照引数を使用します。特殊化されたテンプレートは、推論された型 T の左辺値および右辺値参照引数の完全転送を行います。

Right
ビットごとの OR 演算の右オペランド。特殊化されていないテンプレートでは、Type 型の左辺値参照引数を使用します。特殊化されたテンプレートは、推論された型 U の左辺値および右辺値参照引数の完全転送を行います。

戻り値

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、 T、 U
指定または推論された型のオペランドを受け取る operator^ をサポートする任意の型。

Left
ビットごとの XOR 演算の左オペランド。特殊化されていないテンプレートでは、Type 型の左辺値参照引数を使用します。特殊化されたテンプレートは、推論された型 T の左辺値および右辺値参照引数の完全転送を行います。

Right
ビットごとの XOR 演算の右オペランド。特殊化されていないテンプレートでは、Type 型の左辺値参照引数を使用します。特殊化されたテンプレートは、推論された型 U の左辺値および右辺値参照引数の完全転送を行います。

戻り値

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()) を返します。定数参照をラップするために使用します。 2 番目の関数は 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
noexcept 仕様 std::is_nothrow_invocable_v<Callable, Args>)。

解説

パラメーター args を使用して、呼び出し可能オブジェクト fn を呼び出します。事実上、INVOKE(std::forward<Callable>(fn), std::forward<Args>(args)...)。疑似関数 INVOKE(f, t1, t2, ..., tN) は次のいずれかを意味します。

(t1.*f)(t2, ..., tN)。f がクラス T のメンバー関数へのポインターであり、t1 が型 T のオブジェクト、型 T のオブジェクトへの参照、T から派生した型のオブジェクトへの参照のいずれかである場合。つまり、std::is_base_of<T, std::decay_t<decltype(t1)>>::value が true の場合です。
(t1.get().*f)(t2, ..., tN)。f がクラス T のメンバー関数へのポインターであり、std::decay_t<decltype(t1)> が std::reference_wrapper の特殊化である場合。
((*t1).*f)(t2, ..., tN)。f がクラス T のメンバー関数へのポインターであり、t1 が以前の型の 1 つではない場合。
t1.*f。N == 1 で、f がクラス T のメンバーデータへのポインターであり、t1 が型 T のオブジェクト、型 T のオブジェクトへの参照、T から派生した型のオブジェクトへの参照のいずれかである場合。つまり、std::is_base_of<T, std::decay_t<decltype(t1)>>::value が true の場合です。
t1.get().*f。N == 1 と f がクラス T のメンバーデータへのポインターであり、std::decay_t<decltype(t1)> が std::reference_wrapper の特殊化である場合。
(*t1).*f。N == 1 と f がクラス T のメンバーデータへのポインターであり、t1 が以前の型の 1 つではない場合。
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) が INVOKE(pm, t, a2, ..., aN) と等しくなるように、単純な呼び出しラッパー cw と弱い結果型を返します。例外はスローされません。

返された呼び出しラッパーは、型 Ty が引数を取らない cv 修飾子 cv を使用するメンバー関数へのポインターである場合のみ std::unary_function<cv Ty*, RTy> から派生します (および入れ子になった型 result_type を RTy のシノニムとして定義し、入れ子になった型 argument_type を cv Ty* のシノニムとして定義します)。

返された呼び出しラッパーは、型 Ty が 1 つの引数を取る型 T2 の cv 修飾子 cv を使用するメンバー関数へのポインターである場合のみ std::binary_function<cv Ty*, T2, RTy> から派生します (および入れ子になった型 result_type を RTy のシノニムとして定義し、入れ子になった型 first argument_type を cv Ty* のシノニムとして定義し、入れ子になった型 second argument_type を 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`

ポインター引数による初期化を行うときに、メンバー関数の関数オブジェクトアダプターを作成するために使用されるヘルパーテンプレート関数。 mem_fn と bind は C++11 で非推奨となり、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 のメンバー関数へのポインター。

戻り値

型 mem_fun_t または mem_fun1_t の const または non-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 のメンバー関数へのポインター。

戻り値

型 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
符号が反転される単項述語。

戻り値

変更される単項述語の否定である単項述語。

解説

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
符号が反転される二項述語。

戻り値

変更される二項述語の否定である二項述語。

解説

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_negate、std::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 の明示的なコンストラクターは、MoveConstructible の要件を満たすために型 std::decay_t<Callable> を必要とし、is_constructible_v<FD, Callable> は true である必要があります。 std::forward<Callable>(func) からラップされた呼び出し可能オブジェクト fd を初期化し、fd の構築によってスローされた例外をスローします。

ラッパーは、次に示すように、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...)>>());

最初の 2 つは、return !std::invoke(fd, std::forward<Args>(args)...) と同じです。次の 2つは 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
アダプター関数に変換される単項関数ポインターまたは二項関数ポインター。

戻り値

最初のテンプレート関数は単項関数 pointer_to_unary_function<Arg, Result>(* pfunc) を返します。

2 番目のテンプレート関数は二項関数 pointer_to_binary_function<Arg1, Arg2, Result>(* 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);

戻り値

argへの参照。具体的には、 reference_wrapper<Ty>(arg)。

例

次の例では、2 つの関数を定義します。1 つは文字列変数にバインドされます。もう 1 つは、 refの呼び出しによって計算された文字列変数の参照にバインドされます。変数の値が変わると、1 つ目の関数では元の値が使用され続けますが、2 つ目の関数では新しい値が使用されます。

#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`

2 つの function オブジェクトを交換します。

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

パラメーター

FT
関数オブジェクトによって制御される型。

f1
最初の関数オブジェクト。

f2
2 番目の関数オブジェクト。

解説

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

パラメーター

戻り値

解説

例

bind2nd

パラメーター

戻り値

解説

例

bit_and

パラメーター

戻り値

解説

bit_not

パラメーター

戻り値

解説

bit_or

パラメーター

戻り値

解説

bit_xor

パラメーター

戻り値

解説

cref

パラメーター

解説

例

invoke

パラメーター

解説

例

mem_fn

パラメーター

解説

例

mem_fun

パラメーター

戻り値

例

mem_fun_ref

パラメーター

戻り値

例

not1

パラメーター

戻り値

解説

例

not2

パラメーター

戻り値

解説

例

not_fn

パラメーター

解説

例

ptr_fun

パラメーター

戻り値

解説

例

ref

戻り値

例

swap

パラメーター

解説

例

フィードバック

その他のリソース

`<functional>` 関数

`bind`

`bind1st`

`bind2nd`

`bit_and`

`bit_or`

`bit_xor`

`mem_fn`

`mem_fun`

`mem_fun_ref`

`not1`

`not2`

`ptr_fun`

`swap`