名前空間
変種
操作

標準ライブラリヘッダー <functional>

From cppreference.com
 
C++
コンパイラサポート
フリースタンディングとホスト
言語
標準ライブラリ
標準ライブラリヘッダー
名前付き要件
機能テストマクロ (C++20)
言語サポートライブラリ
コンセプトライブラリ (C++20)
診断ライブラリ
メモリ管理ライブラリ
メタプログラミングライブラリ (C++11)
汎用ユーティリティライブラリ
コンテナライブラリ
イテレータライブラリ
Rangesライブラリ (C++20)
アルゴリズムライブラリ
文字列ライブラリ
テキスト処理ライブラリ
数値ライブラリ
日付と時刻ライブラリ
入出力ライブラリ
ファイルシステムライブラリ (C++17)
並行サポートライブラリ (C++11)
実行制御ライブラリ (C++26)
Technical specifications (技術仕様)
シンボルインデックス
外部ライブラリ
 
標準ライブラリヘッダー
汎用ユーティリティ
<any> (C++17)
<bitset>
<bit> (C++20)
<charconv> (C++17)
<expected> (C++23)
<format> (C++20)
<functional>
<optional> (C++17)
<tuple> (C++11)
<typeindex> (C++11)
<utility>
<variant> (C++17)
コンテナ
<array> (C++11)
<deque>
<flat_map> (C++23)
<flat_set> (C++23)
<forward_list> (C++11)
<hive> (C++26)
<inplace_vector> (C++26)   
<list>
<map>
<mdspan> (C++23)
<queue>
<set>
<span> (C++20)
<stack>
<unordered_map> (C++11)
<unordered_set> (C++11)
<vector>
イテレータ
<iterator>
Ranges
<generator> (C++23)
<ranges> (C++20)
 

このヘッダーは関数オブジェクトライブラリの一部であり、標準のハッシュ関数を提供します。

目次

名前空間

placeholders (C++11) std::bind 式のアンバウンド引数に対するプレースホルダーを提供します

クラス

ラッパー
(C++11)
 コピー構築可能な任意の呼び出し可能オブジェクトをラップするコピー可能なラッパー
(クラステンプレート) [編集]
(C++23)
 与えられた呼び出しシグネチャで修飾子をサポートする任意の呼び出し可能オブジェクトのムーブ専用ラッパー
(クラステンプレート) [編集]
(C++26)
 所与の呼び出しシグネチャにおける修飾子をサポートする、任意のコピー構築可能な呼び出し可能オブジェクトのコピー可能なラッパー
(クラステンプレート) [編集]
(C++26)
 任意の呼び出し可能オブジェクトの所有権を持たないラッパー
(クラステンプレート) [編集]
(C++11)
 メンバへのポインタから関数オブジェクトを生成する
(関数テンプレート) [編集]
(C++11)
 コピー構築可能 (CopyConstructible) かつ コピー代入可能 (CopyAssignable) な参照ラッパー
(クラステンプレート) [編集]
(C++20)(C++20)
 std::reference_wrapper にラップされた参照型を取得する
(クラステンプレート) [編集]
ヘルパークラス
(C++11)
 空の std::function を呼び出したときにスローされる例外
(クラス) [編集]
(C++11)
 オブジェクトが std::bind 式であるか、またはそのように使用できることを示す
(クラステンプレート) [編集]
(C++11)
 オブジェクトが標準のプレースホルダであるか、またはそのように使用できることを示す
(クラステンプレート) [編集]
算術演算
 x + y を実装する関数オブジェクト
(クラステンプレート) [編集]
 x - y を実装する関数オブジェクト
(クラステンプレート) [編集]
 x * y を実装する関数オブジェクト
(クラステンプレート) [編集]
 x / y を実装する関数オブジェクト
(クラステンプレート) [編集]
 x % y を実装する関数オブジェクト
(クラステンプレート) [編集]
 -x を実装する関数オブジェクト
(クラステンプレート) [編集]
比較
 x == y を実装する関数オブジェクト
(クラステンプレート) [編集]
 x != y を実装する関数オブジェクト
(クラステンプレート) [編集]
 x > y を実装する関数オブジェクト
(クラステンプレート) [編集]
 x < y を実装する関数オブジェクト
(クラステンプレート) [編集]
 x >= y を実装する関数オブジェクト
(クラステンプレート) [編集]
 x <= y を実装する関数オブジェクト
(クラステンプレート) [編集]
概念制約付き比較
(C++20)
 x == y を実装する制約付き関数オブジェクト
(クラス) [編集]
(C++20)
 x != y を実装する制約付き関数オブジェクト
(クラス) [編集]
(C++20)
 x > y を実装する制約付き関数オブジェクト
(クラス) [編集]
(C++20)
 x < y を実装する制約付き関数オブジェクト
(クラス) [編集]
(C++20)
 x >= y を実装する制約付き関数オブジェクト
(クラス) [編集]
(C++20)
 x <= y を実装する制約付き関数オブジェクト
(クラス) [編集]
(C++20)
 x <=> y を実装する制約付き関数オブジェクト
(クラス) [編集]
論理演算
 x && y を実装する関数オブジェクト
(クラステンプレート) [編集]
 x || y を実装する関数オブジェクト
(クラステンプレート) [編集]
 !x を実装する関数オブジェクト
(クラステンプレート) [編集]
ビット演算
 x & y を実装する関数オブジェクト
(クラステンプレート) [編集]
 x | y を実装する関数オブジェクト
(クラステンプレート) [編集]
 x ^ y を実装する関数オブジェクト
(クラステンプレート) [編集]
(C++14)
 ~x を実装する関数オブジェクト
(クラステンプレート) [編集]
否定子 (Negators)
(C++17)
 保持する関数オブジェクトの結果の補数を返す関数オブジェクトを作成する
(関数テンプレート) [編集]
恒等
(C++20)
 引数を変更せずにそのまま返す関数オブジェクト
(クラス) [編集]
サーチャー
(C++17)
 標準C++ライブラリの探索アルゴリズム実装
(クラステンプレート) [編集]
(C++17)
 ボイヤー・ムーア法探索アルゴリズム実装
(クラステンプレート) [編集]
(C++17)
 ボイヤー・ムーア・ホースプール法探索アルゴリズム実装
(クラステンプレート) [編集]
ハッシュ
(C++11)
 ハッシュ関数オブジェクト
(クラステンプレート) [編集]
(C++11)
 基本型、列挙型、およびポインタ型に対するstd::hashの特殊化
(クラステンプレートの特殊化)

定数

std::placeholders名前空間で定義
(C++11)
 std::bind 式における未束縛の引数のためのプレースホルダ
(定数) [編集]

関数

(C++20)(C++23)
 可変個の引数を順番に関数オブジェクトに束縛する
(関数テンプレート) [編集]
(C++11)
 1つ以上の引数を関数オブジェクトに束縛する
(関数テンプレート) [編集]
(C++11)(C++11)
 引数から型が推論されるstd::reference_wrapperを作成します。
(関数テンプレート) [編集]
(C++17)(C++23)
 任意の呼び出し可能 (Callable)オブジェクトを所与の引数で呼び出す (戻り値の型を指定することも可能)(C++23以降)
(関数テンプレート) [編集]

[編集] C++11で非推奨、C++17で削除

Base
(C++11で非推奨)(C++17で削除)
 アダプタ互換の単項関数基底クラス
(クラステンプレート) [編集]
(C++11で非推奨)(C++17で削除)
 アダプタ互換の二項関数基底クラス
(クラステンプレート) [編集]
バインダー
(C++11で非推奨)(C++17で削除)
 二項関数とその引数の一つを保持する関数オブジェクト
(クラステンプレート) [編集]
(C++11で非推奨)(C++17で削除)
 二項関数に一つの引数を束縛する
(関数テンプレート) [編集]
関数アダプター
(C++11で非推奨)(C++17で削除)
 単項関数へのポインタ用のアダプタ互換ラッパー
(クラステンプレート) [編集]
(C++11で非推奨)(C++17で削除)
 二項関数へのポインタ用のアダプタ互換ラッパー
(クラステンプレート) [編集]
(C++11で非推奨)(C++17で削除)
 関数へのポインタからアダプタ互換の関数オブジェクトラッパーを生成する
(関数テンプレート) [編集]
(C++11で非推奨)(C++17で削除)
 オブジェクトへのポインタで呼び出し可能な、引数なしまたは単項のメンバ関数へのポインタ用ラッパー
(クラステンプレート) [編集]
(C++11で非推奨)(C++17で削除)
 オブジェクトへのポインタで呼び出し可能な、メンバ関数へのポインタからラッパーを生成する
(関数テンプレート) [編集]
(C++11で非推奨)(C++17で削除)
 オブジェクトへの参照で呼び出し可能な、引数なしまたは単項のメンバ関数へのポインタ用ラッパー
(クラステンプレート) [編集]
(C++11で非推奨)(C++17で削除)
 オブジェクトへの参照で呼び出し可能な、メンバ関数へのポインタからラッパーを生成する
(関数テンプレート) [編集]

[編集] C++17で非推奨、C++20で削除

否定子 (Negators)
(C++17で非推奨)(C++20で削除)
 保持する単項述語の補数を返すラッパー関数オブジェクト
(クラステンプレート) [編集]
(C++17で非推奨)(C++20で削除)
 保持する二項述語の補数を返すラッパー関数オブジェクト
(クラステンプレート) [編集]
(C++17で非推奨)(C++20で削除)
 カスタムの std::unary_negate オブジェクトを構築する
(関数テンプレート) [編集]
(C++17で非推奨)(C++20で削除)
 カスタムの std::binary_negate オブジェクトを構築する
(関数テンプレート) [編集]

[編集] 概要

namespace std {
  // invoke
  template<class F, class... Args>
    constexpr invoke_result_t<F, Args...> invoke(F&& f, Args&&... args)
      noexcept(is_nothrow_invocable_v<F, Args...>);
  template<class R, class F, class... Args>
    constexpr R invoke_r(F&& f, Args&&... args)
      noexcept(is_nothrow_invocable_r_v<R, F, Args...>);
 
  // reference_wrapper
  template<class T> class reference_wrapper;
 
  template<class T> constexpr reference_wrapper<T> ref(T&) noexcept;
  template<class T> constexpr reference_wrapper<const T> cref(const T&) noexcept;
  template<class T> void ref(const T&&) = delete;
  template<class T> void cref(const T&&) = delete;
 
  template<class T>
    constexpr reference_wrapper<T> ref(reference_wrapper<T>) noexcept;
  template<class T>
    constexpr reference_wrapper<const T> cref(reference_wrapper<T>) noexcept;
 
  template<class T> struct unwrap_reference;
  template<class T> using unwrap_reference_t = typename unwrap_reference<T>::type;
  template<class T> struct unwrap_ref_decay;
  template<class T> using unwrap_ref_decay_t = typename unwrap_ref_decay<T>::type;
 
  // common_reference related specializations
  template<class R, class T, template<class> class RQual, template<class> class TQual>
    requires /* see below */
  struct basic_common_reference<R, T, RQual, TQual>;
 
  template<class T, class R, template<class> class TQual, template<class> class RQual>
    requires /* see below */
  struct basic_common_reference<T, R, TQual, RQual>;
 
  // arithmetic operations
  template<class T = void> struct plus;
  template<class T = void> struct minus;
  template<class T = void> struct multiplies;
  template<class T = void> struct divides;
  template<class T = void> struct modulus;
  template<class T = void> struct negate;
  template<> struct plus<void>;
  template<> struct minus<void>;
  template<> struct multiplies<void>;
  template<> struct divides<void>;
  template<> struct modulus<void>;
  template<> struct negate<void>;
 
  // comparisons
  template<class T = void> struct equal_to;
  template<class T = void> struct not_equal_to;
  template<class T = void> struct greater;
  template<class T = void> struct less;
  template<class T = void> struct greater_equal;
  template<class T = void> struct less_equal;
  template<> struct equal_to<void>;
  template<> struct not_equal_to<void>;
  template<> struct greater<void>;
  template<> struct less<void>;
  template<> struct greater_equal<void>;
  template<> struct less_equal<void>;
 
  // logical operations
  template<class T = void> struct logical_and;
  template<class T = void> struct logical_or;
  template<class T = void> struct logical_not;
  template<> struct logical_and<void>;
  template<> struct logical_or<void>;
  template<> struct logical_not<void>;
 
  // bitwise operations
  template<class T = void> struct bit_and;
  template<class T = void> struct bit_or;
  template<class T = void> struct bit_xor;
  template<class T = void> struct bit_not;
  template<> struct bit_and<void>;
  template<> struct bit_or<void>;
  template<> struct bit_xor<void>;
  template<> struct bit_not<void>;
 
  // identity
  struct identity;
 
  // function template not_fn
  template<class F> constexpr /* unspecified */ not_fn(F&& f);
 
  // function templates bind_front and bind_back
  template<class F, class... Args> constexpr /* unspecified */ bind_front(F&&, Args&&...);
  template<class F, class... Args> constexpr /* unspecified */ bind_back(F&&, Args&&...);
 
  // bind
  template<class T> struct is_bind_expression;
  template<class T>
    inline constexpr bool is_bind_expression_v = is_bind_expression<T>::value;
 
  template<class T> struct is_placeholder;
  template<class T>
    inline constexpr int is_placeholder_v = is_placeholder<T>::value;
 
  template<class F, class... BoundArgs>
    constexpr /* unspecified */ bind(F&&, BoundArgs&&...);
  template<class R, class F, class... BoundArgs>
    constexpr /* unspecified */ bind(F&&, BoundArgs&&...);
 
  namespace placeholders {
    // M is the implementation-defined number of placeholders
    /* see description */ _1;
    /* see description */ _2;
               .
               .
               .
    /* see description */ _M;
  }
 
  // member function adaptors
  template<class R, class T>
    constexpr /* unspecified */ mem_fn(R T::*) noexcept;
 
  // polymorphic function wrappers
  class bad_function_call;
 
  template<class> class function; // not defined
  template<class R, class... ArgTypes> class function<R(ArgTypes...)>;
 
  template<class R, class... ArgTypes>
    void swap(function<R(ArgTypes...)>&, function<R(ArgTypes...)>&) noexcept;
 
  template<class R, class... ArgTypes>
    bool operator==(const function<R(ArgTypes...)>&, nullptr_t) noexcept;
 
  // move-only wrapper
  template<class...> class move_only_function; // not defined
 
  template<class R, class... ArgTypes>
    class move_only_function<R(ArgTypes...) /*cv ref*/ noexcept(/*noex*/)>;
 
  // copyable wrapper
  template<class...> class copyable_function; // not defined
 
  template<class R, class... ArgTypes>
    class copyable_function<R(ArgTypes...) /*cv ref*/ noexcept(/*noex*/)>;
 
  // non-owning wrapper
  template<class...> class function_ref; // not defined
 
  template<class R, class... ArgTypes>
    class function_ref<R(ArgTypes...) /*cv*/ noexcept(/*noex*/)>;
 
  // searchers
  template<class ForwardIter, class BinaryPredicate = equal_to<>>
    class default_searcher;
 
  template<class RandomAccessIter,
           class Hash = hash<typename iterator_traits<RandomAccessIter>::value_type>,
           class BinaryPredicate = equal_to<>>
    class boyer_moore_searcher;
 
  template<class RandomAccessIter,
           class Hash = hash<typename iterator_traits<RandomAccessIter>::value_type>,
           class BinaryPredicate = equal_to<>>
    class boyer_moore_horspool_searcher;
 
  // hash function primary template
  template<class T>
    struct hash;
 
  // concept-constrained comparisons
  struct compare_three_way;
  namespace ranges {
    struct equal_to;
    struct not_equal_to;
    struct greater;
    struct less;
    struct greater_equal;
    struct less_equal;
  }
 
  // exposition only
  template<class Fn, class... Args>
    concept /*callable*/ =
      requires (Fn&& fn, Args&&... args) {
        std::forward<Fn>(fn)(std::forward<Args>(args)...);
      };
 
  // exposition only
  template<class Fn, class... Args>
    concept /*nothrow-callable*/ =
      /*callable*/<Fn, Args...> &&
      requires (Fn&& fn, Args&&... args) {
        { std::forward<Fn>(fn)(std::forward<Args>(args)...) } noexcept;
      };
 
  // exposition only
  template<class Fn, class... Args>
    using /*call-result-t*/ = decltype(std::declval<Fn>()(std::declval<Args>()...));
 
  // exposition only
  template<const auto& T>
    using /*decayed-typeof*/ = decltype(auto(T));
}

[編集] クラステンプレート std::reference_wrapper

namespace std {
  template<class T> class reference_wrapper {
  public:
    // types
    using type = T;
 
    // construct/copy/destroy
    template<class U>
      constexpr reference_wrapper(U&&) noexcept(/* see below */);
    constexpr reference_wrapper(const reference_wrapper& x) noexcept;
 
    // assignment
    constexpr reference_wrapper& operator=(const reference_wrapper& x) noexcept;
 
    // access
    constexpr operator T& () const noexcept;
    constexpr T& get() const noexcept;
 
    // invocation
    template<class... ArgTypes>
      constexpr invoke_result_t<T&, ArgTypes...> operator()(ArgTypes&&...) const
        noexcept(is_nothrow_invocable_v<T&, ArgTypes...>);
 
    // comparison
    friend constexpr bool operator==(reference_wrapper, reference_wrapper);
    friend constexpr bool operator==(reference_wrapper, const T&);
    friend constexpr bool operator==(reference_wrapper, reference_wrapper<const T>);
 
    friend constexpr auto operator<=>(reference_wrapper, reference_wrapper);
    friend constexpr auto operator<=>(reference_wrapper, const T&);
    friend constexpr auto operator<=>(reference_wrapper, reference_wrapper<const T>);
  };
  // deduction guides
  template<class T>
    reference_wrapper(T&) -> reference_wrapper<T>;
}

[編集] クラステンプレート std::unwrap_reference

namespace std {
  template<class T>
    struct unwrap_reference;
}

[編集] クラステンプレート std::unwrap_ref_decay

namespace std {
  template<class T>
    struct unwrap_ref_decay;
}

[編集] クラステンプレート std::plus

namespace std {
  template<class T = void> struct plus {
    constexpr T operator()(const T& x, const T& y) const;
  };
 
  template<> struct plus<void> {
    template<class T, class U> constexpr auto operator()(T&& t, U&& u) const
      -> decltype(std::forward<T>(t) + std::forward<U>(u));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::minus

namespace std {
  template<class T = void> struct minus {
    constexpr T operator()(const T& x, const T& y) const;
  };
 
  template<> struct minus<void> {
    template<class T, class U> constexpr auto operator()(T&& t, U&& u) const
      -> decltype(std::forward<T>(t) - std::forward<U>(u));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::multiplies

namespace std {
  template<class T = void> struct multiplies {
    constexpr T operator()(const T& x, const T& y) const;
  };
 
  template<> struct multiplies<void> {
    template<class T, class U> constexpr auto operator()(T&& t, U&& u) const
      -> decltype(std::forward<T>(t) * std::forward<U>(u));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::divides

namespace std {
  template<class T = void> struct divides {
    constexpr T operator()(const T& x, const T& y) const;
  };
 
  template<> struct divides<void> {
    template<class T, class U> constexpr auto operator()(T&& t, U&& u) const
      -> decltype(std::forward<T>(t) / std::forward<U>(u));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::modulus

namespace std {
  template<class T = void> struct modulus {
    constexpr T operator()(const T& x, const T& y) const;
  };
 
  template<> struct modulus<void> {
    template<class T, class U> constexpr auto operator()(T&& t, U&& u) const
      -> decltype(std::forward<T>(t) % std::forward<U>(u));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::negate

namespace std {
  template<class T = void> struct negate {
    constexpr T operator()(const T& x) const;
  };
 
  template<> struct negate<void> {
    template<class T> constexpr auto operator()(T&& t) const
      -> decltype(-std::forward<T>(t));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::equal_to

namespace std {
  template<class T = void> struct equal_to {
    constexpr bool operator()(const T& x, const T& y) const;
  };
 
  template<> struct equal_to<void> {
    template<class T, class U> constexpr auto operator()(T&& t, U&& u) const
      -> decltype(std::forward<T>(t) == std::forward<U>(u));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::not_equal_to

namespace std {
  template<class T = void> struct not_equal_to {
    constexpr bool operator()(const T& x, const T& y) const;
  };
 
  template<> struct not_equal_to<void> {
    template<class T, class U> constexpr auto operator()(T&& t, U&& u) const
      -> decltype(std::forward<T>(t) != std::forward<U>(u));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::greater

namespace std {
  template<class T = void> struct greater {
    constexpr bool operator()(const T& x, const T& y) const;
  };
 
  template<> struct greater<void> {
    template<class T, class U> constexpr auto operator()(T&& t, U&& u) const
      -> decltype(std::forward<T>(t) > std::forward<U>(u));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::less

namespace std {
  template<class T = void> struct less {
    constexpr bool operator()(const T& x, const T& y) const;
  };
 
  template<> struct less<void> {
    template<class T, class U> constexpr auto operator()(T&& t, U&& u) const
      -> decltype(std::forward<T>(t) < std::forward<U>(u));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::greater_equal

namespace std {
  template<class T = void> struct greater_equal {
    constexpr bool operator()(const T& x, const T& y) const;
  };
 
  template<> struct greater_equal<void> {
    template<class T, class U> constexpr auto operator()(T&& t, U&& u) const
      -> decltype(std::forward<T>(t) >= std::forward<U>(u));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::less_equal

namespace std {
  template<class T = void> struct less_equal {
    constexpr bool operator()(const T& x, const T& y) const;
  };
 
  template<> struct less_equal<void> {
    template<class T, class U> constexpr auto operator()(T&& t, U&& u) const
      -> decltype(std::forward<T>(t) <= std::forward<U>(u));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラス std::compare_three_way

namespace std {
  struct compare_three_way {
    template<class T, class U>
    constexpr auto operator()(T&& t, U&& u) const;
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラス std::ranges::equal_to

namespace std::ranges {
  struct equal_to {
    template<class T, class U>
    constexpr bool operator()(T&& t, U&& u) const;
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラス std::ranges::not_equal_to

namespace std::ranges {
  struct not_equal_to {
    template<class T, class U>
    constexpr bool operator()(T&& t, U&& u) const;
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラス std::ranges::greater

namespace std::ranges {
  struct greater {
    template<class T, class U>
    constexpr bool operator()(T&& t, U&& u) const;
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラス std::ranges::less

namespace std::ranges {
  struct less {
    template<class T, class U>
    constexpr bool operator()(T&& t, U&& u) const;
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラス std::ranges::greater_equal

namespace std::ranges {
  struct greater_equal {
    template<class T, class U>
    constexpr bool operator()(T&& t, U&& u) const;
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラス std::ranges::less_equal

namespace std::ranges {
  struct less_equal {
    template<class T, class U>
    constexpr bool operator()(T&& t, U&& u) const;
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::logical_and

namespace std {
  template<class T = void> struct logical_and {
    constexpr bool operator()(const T& x, const T& y) const;
  };
 
  template<> struct logical_and<void> {
    template<class T, class U> constexpr auto operator()(T&& t, U&& u) const
      -> decltype(std::forward<T>(t) && std::forward<U>(u));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::logical_or

namespace std {
  template<class T = void> struct logical_or {
    constexpr bool operator()(const T& x, const T& y) const;
  };
 
  template<> struct logical_or<void> {
    template<class T, class U> constexpr auto operator()(T&& t, U&& u) const
      -> decltype(std::forward<T>(t) || std::forward<U>(u));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::logical_not

namespace std {
  template<class T = void> struct logical_not {
    constexpr bool operator()(const T& x) const;
  };
 
  template<> struct logical_not<void> {
    template<class T> constexpr auto operator()(T&& t) const
      -> decltype(!std::forward<T>(t));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::bit_and

namespace std {
  template<class T = void> struct bit_and {
    constexpr T operator()(const T& x, const T& y) const;
  };
 
  template<> struct bit_and<void> {
    template<class T, class U> constexpr auto operator()(T&& t, U&& u) const
      -> decltype(std::forward<T>(t) & std::forward<U>(u));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::bit_or

namespace std {
  template<class T = void> struct bit_or {
    constexpr T operator()(const T& x, const T& y) const;
  };
 
  template<> struct bit_or<void> {
    template<class T, class U> constexpr auto operator()(T&& t, U&& u) const
      -> decltype(std::forward<T>(t) | std::forward<U>(u));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::bit_xor

namespace std {
  template<class T = void> struct bit_xor {
    constexpr T operator()(const T& x, const T& y) const;
  };
 
  template<> struct bit_xor<void> {
    template<class T, class U> constexpr auto operator()(T&& t, U&& u) const
      -> decltype(std::forward<T>(t) ^ std::forward<U>(u));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::bit_not

namespace std {
  template<class T = void> struct bit_not {
    constexpr T operator()(const T& x) const;
  };
 
  template<> struct bit_not<void> {
    template<class T> constexpr auto operator()(T&& t) const
      -> decltype(~std::forward<T>(t));
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::identity

namespace std {
  struct identity {
    template<class T>
      constexpr T&& operator()(T&& t) const noexcept;
 
    using is_transparent = /* unspecified */;
  };
}

[編集] クラステンプレート std::is_bind_expression

namespace std {
  template<class T> struct is_bind_expression;
}

[編集] クラステンプレート std::is_placeholder

namespace std {
  template<class T> struct is_placeholder;
}

[編集] クラス std::bad_function_call

namespace std {
  class bad_function_call : public exception {
  public:
    // see [exception] for the specification of the special member functions
    const char* what() const noexcept override;
  };
}

[編集] クラステンプレート std::function

namespace std {
  template<class> class function; // not defined
 
  template<class R, class... ArgTypes>
  class function<R(ArgTypes...)> {
  public:
    using result_type = R;
 
    // construct/copy/destroy
    function() noexcept;
    function(nullptr_t) noexcept;
    function(const function&);
    function(function&&) noexcept;
    template<class F> function(F);
 
    function& operator=(const function&);
    function& operator=(function&&);
    function& operator=(nullptr_t) noexcept;
    template<class F> function& operator=(F&&);
    template<class F> function& operator=(reference_wrapper<F>) noexcept;
 
    ~function();
 
    // function modifiers
    void swap(function&) noexcept;
 
    // function capacity
    explicit operator bool() const noexcept;
 
    // function invocation
    R operator()(ArgTypes...) const;
 
    // function target access
    const type_info& target_type() const noexcept;
    template<class T>       T* target() noexcept;
    template<class T> const T* target() const noexcept;
  };
 
  template<class R, class... ArgTypes>
    function(R(*)(ArgTypes...)) -> function<R(ArgTypes...)>;
 
  template<class F> function(F) -> function</* see description */>;
 
  // null pointer comparison functions
  template<class R, class... ArgTypes>
    bool operator==(const function<R(ArgTypes...)>&, nullptr_t) noexcept;
 
  // specialized algorithms
  template<class R, class... ArgTypes>
    void swap(function<R(ArgTypes...)>&, function<R(ArgTypes...)>&) noexcept;
}

[編集] クラステンプレート std::move_only_function

namespace std {
  template<class... S> class move_only_function; // not defined
 
  template<class R, class... ArgTypes>
  class move_only_function<R(ArgTypes...) /*cv-ref*/ noexcept(/*noex*/)> {
  public:
    using result_type = R;
 
    // construct/move/destroy
    move_only_function() noexcept;
    move_only_function(nullptr_t) noexcept;
    move_only_function(move_only_function&&) noexcept;
    template<class F> move_only_function(F&&);
 
    template<class T, class... Args>
      explicit move_only_function(in_place_type_t<T>, Args&&...);
    template<class T, class U, class... Args>
      explicit move_only_function(in_place_type_t<T>, initializer_list<U>, Args&&...);
 
    move_only_function& operator=(move_only_function&&);
    move_only_function& operator=(nullptr_t) noexcept;
    template<class F> move_only_function& operator=(F&&);
 
    ~move_only_function();
 
    // invocation
    explicit operator bool() const noexcept;
 
    R operator()(ArgTypes...) /*cv-ref*/ noexcept(/*noex*/);
 
    // utility
    void swap(move_only_function&) noexcept;
 
    friend void swap(move_only_function&, move_only_function&) noexcept;
 
    friend bool operator==(const move_only_function&, nullptr_t) noexcept;
 
  private:
    // exposition-only
    template<class VT>
      static constexpr bool /*is-callable-from*/ = /* see description */; 
  };
}

[編集] クラステンプレート std::copyable_function

namespace std {
  template<class... S> class copyable_function; // not defined
 
  template<class R, class... ArgTypes>
  class copyable_function<R(ArgTypes...) /*cv-ref*/ noexcept(/*noex*/)> {
  public:
    using result_type = R;
 
    // construct/move/destroy
    copyable_function() noexcept;
    copyable_function(nullptr_t) noexcept;
    copyable_function(const copyable_function&);
    copyable_function(copyable_function&&) noexcept;
    template<class F> copyable_function(F&&);
 
    template<class T, class... Args>
      explicit copyable_function(in_place_type_t<T>, Args&&...);
    template<class T, class U, class... Args>
      explicit copyable_function(in_place_type_t<T>, initializer_list<U>, Args&&...);
 
    copyable_function& operator=(const copyable_function&);
    copyable_function& operator=(copyable_function&&);
    copyable_function& operator=(nullptr_t) noexcept;
    template<class F> copyable_function& operator=(F&&);
 
    ~copyable_function();
 
    // invocation
    explicit operator bool() const noexcept;
 
    R operator()(ArgTypes...) /*cv-ref*/ noexcept(/*noex*/);
 
    // utility
    void swap(copyable_function&) noexcept;
 
    friend void swap(copyable_function&, copyable_function&) noexcept;
 
    friend bool operator==(const copyable_function&, nullptr_t) noexcept;
 
  private:
    // exposition-only
    template<class VT>
      static constexpr bool /*is-callable-from*/ = /* see description */; 
  };
}

[編集] クラステンプレート std::function_ref

namespace std {
  template<class... S> class function_ref; // not defined
 
  template<class R, class... ArgTypes>
  class function_ref<R(ArgTypes...) /*cv*/ noexcept(/*noex*/)> {
  public:
    // constructors and assignment operators
    template<class F> function_ref(F*) noexcept;
    template<class F> constexpr function_ref(F&&) noexcept;
    template<auto f> constexpr function_ref(nontype_t<f>) noexcept;
    template<auto f, class U>
      constexpr function_ref(nontype_t<f>, U&&) noexcept;
    template<auto f, class T>
      constexpr function_ref(nontype_t<f>, /*cv*/ T*) noexcept;
 
    constexpr function_ref(const function_ref&) noexcept = default;
    constexpr function_ref& operator=(const function_ref&) noexcept = default;
    template<class T> function_ref& operator=(T) = delete;
 
    // invocation
    R operator()(ArgTypes...) /*cv*/ noexcept(/*noex*/);
 
  private:
    // exposition-only
    template<class... T>
      static constexpr bool /*is-invocable-using*/ = /* see description */;
 
    R (*thunk-ptr)(BoundEntityType, ArgTypes&&...) noexcept(/*noex*/); // exposition-only
    BoundEntityType bound-entity; // exposition-only
  };
  // deduction guides
  template<class F>
    function_ref(F*) -> function_ref<F>;
  template<auto f>
    function_ref(nontype_t<f>) -> function_ref</* see description */>;
  template<auto f, class T>
    function_ref(nontype_t<f>, T&&) -> function_ref</* see description */>;
}

[編集] クラステンプレート std::default_searcher

namespace std {
  template<class ForwardIter1, class BinaryPredicate = equal_to<>>
    class default_searcher {
    public:
      constexpr default_searcher(ForwardIter1 pat_first, ForwardIter1 pat_last,
                                 BinaryPredicate pred = BinaryPredicate());
 
      template<class ForwardIter2>
        constexpr pair<ForwardIter2, ForwardIter2>
          operator()(ForwardIter2 first, ForwardIter2 last) const;
 
    private:
      ForwardIter1 pat_first_;            // exposition only
      ForwardIter1 pat_last_;             // exposition only
      BinaryPredicate pred_;              // exposition only
  };
}

[編集] クラステンプレート std::boyer_moore_searcher

namespace std {
  template<class RandomAccessIter1,
           class Hash = hash<typename iterator_traits<RandomAccessIter1>::value_type>,
           class BinaryPredicate = equal_to<>>
    class boyer_moore_searcher {
    public:
      boyer_moore_searcher(RandomAccessIter1 pat_first,
                           RandomAccessIter1 pat_last,
                           Hash hf = Hash(),
                           BinaryPredicate pred = BinaryPredicate());
 
      template<class RandomAccessIter2>
        pair<RandomAccessIter2, RandomAccessIter2>
          operator()(RandomAccessIter2 first, RandomAccessIter2 last) const;
 
    private:
      RandomAccessIter1 pat_first_;       // exposition only
      RandomAccessIter1 pat_last_;        // exposition only
      Hash hash_;                         // exposition only
      BinaryPredicate pred_;              // exposition only
    };
}

[編集] クラステンプレート std::boyer_moore_horspool_searcher

namespace std {
  template<class RandomAccessIter1,
           class Hash = hash<typename iterator_traits<RandomAccessIter1>::value_type>,
           class BinaryPredicate = equal_to<>>
    class boyer_moore_horspool_searcher {
    public:
      boyer_moore_horspool_searcher(RandomAccessIter1 pat_first,
                                    RandomAccessIter1 pat_last,
                                    Hash hf = Hash(),
                                    BinaryPredicate pred = BinaryPredicate());
 
      template<class RandomAccessIter2>
        pair<RandomAccessIter2, RandomAccessIter2>
          operator()(RandomAccessIter2 first, RandomAccessIter2 last) const;
 
    private:
      RandomAccessIter1 pat_first_;       // exposition only
      RandomAccessIter1 pat_last_;        // exposition only
      Hash hash_;                         // exposition only
      BinaryPredicate pred_;              // exposition only
  };
}

[編集] 関連項目

std::hash ライブラリ型の特殊化
"https://ja.cppreference.dev/mwiki/index.php?title=cpp/header/functional&oldid=173900" から取得
English 日本語 中文(简体) 中文(繁體)