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

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ (C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

正規表現ライブラリ (C++11)

アトミック操作ライブラリ (C++11)

スレッドサポートライブラリ (C++11)

技術仕様書

 

標準ライブラリヘッダ

言語サポート
<cstddef> <cstdlib> <version> <limits> <climits>	<cfloat> <cstdint> <new> <typeinfo>	<source_location> <exception> <initializer_list> <compare>	<coroutine> <csignal> <csetjmp> <cstdarg>
コンセプト
<concepts>
診断
<stdexcept>	<cassert>	<cerrno>	<system_error>
汎用ユーティリティ
<utility> <memory> <memory_resource> <scoped_allocator>	<bitset> <tuple> <optional> <any>	<variant> <type_traits> <ratio> <chrono>	<typeindex> <functional> <ctime>
文字列
<string> <string_view> <cstring>	<charconv> <format>	<cctype> <cwctype>	<cwchar> <cuchar>
ローカライゼーション
<locale>	<codecvt>	<clocale>
コンテナ
<span> <array> <vector>	<deque> <forward_list> <list>	<map> <set> <queue>	<unordered_map> <unordered_set> <stack>
イテレータ
<iterator>
範囲
<ranges>
アルゴリズム
<algorithm>	<execution>
数値演算
<complex> <random>	<valarray> <numeric>	<bit> <numbers>	<cfenv> <cmath>
入出力
<iosfwd> <ios> <iomanip> <streambuf>	<istream> <ostream> <iostream>	<sstream> <spanstream> <fstream> <syncstream>	<cstdio> <cinttypes> <strstream>
正規表現
<regex>
ファイルシステムサポート
<filesystem>
スレッドサポート
<thread> <atomic> <mutex>	<shared_mutex> <condition_variable> <future>	<stop_token> <semaphore>	<latch> <barrier>
C互換
<ciso646> <cstdalign>	<cstdbool> <ccomplex>	<ctgmath> <stdatomic.h>

 

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

名前空間

placeholders	std::bind 式で束縛されない引数に対するプレースホルダを定義します
定数
名前空間 std::placeholders で定義
_1, _2, _3, _4, ... (C++11)	std::bind 式におけるバインドされない引数のためのプレースホルダ (定数)

クラス

function (C++11)	指定された関数呼び出しシグネチャを持つ任意の型の呼び出し可能なオブジェクトをラップします (クラステンプレート)
mem_fn (C++11)	メンバポインタから関数オブジェクトを作成します (関数テンプレート)
bad_function_call (C++11)	空の std::function を呼び出したときに投げられる例外 (クラス)
is_bind_expression (C++11)	オブジェクトが std::bind 式であるか、 std::bind 式として使用できることを表します (クラステンプレート)
is_placeholder (C++11)	オブジェクトが標準のプレースホルダであるか、プレースホルダとして使用できることを表します (クラステンプレート)
reference_wrapper (C++11)	CopyConstructible かつ CopyAssignable な参照ラッパー (クラステンプレート)
ハッシュ
hash (C++11)	ハッシュ関数オブジェクト (クラステンプレート)
template<> struct hash<bool>; template<> struct hash<char>; template<> struct hash<signed char>; template<> struct hash<unsigned char>; template<> struct hash<char16_t>; template<> struct hash<char32_t>; template<> struct hash<wchar_t>; template<> struct hash<short>; template<> struct hash<unsigned short>; template<> struct hash<int>; template<> struct hash<unsigned int>; template<> struct hash<long>; template<> struct hash<long long>; template<> struct hash<unsigned long>; template<> struct hash<unsigned long long>; template<> struct hash<float>; template<> struct hash<double>; template<> struct hash<long double>; template< class T > struct hash<T*>;	組み込み型に対する std::hash の特殊化 (クラステンプレートの特殊化)

関数

bind_front (C++20)	可変個の引数を順番通りに関数オブジェクトに束縛します (関数テンプレート)
bind (C++11)	関数オブジェクトに1つ以上の引数をバインドします (関数テンプレート)
refcref (C++11)(C++11)	引数から推定される型の std::reference_wrapper を作成します (関数テンプレート)
invoke (C++17)	任意の Callable なオブジェクトを指定された引数で呼びます (関数テンプレート)

関数オブジェクト

算術演算
plus	x + y を実装する関数オブジェクト (クラステンプレート)
minus	x - y を実装する関数オブジェクト (クラステンプレート)
multiplies	x * y を実装する関数オブジェクト (クラステンプレート)
divides	x / y を実装する関数オブジェクト (クラステンプレート)
modulus	x % y を実装する関数オブジェクト (クラステンプレート)
negate	-x を実装する関数オブジェクト (クラステンプレート)
比較
equal_to	x == y を実装する関数オブジェクト (クラステンプレート)
not_equal_to	x != y を実装する関数オブジェクト (クラステンプレート)
greater	x > y を実装する関数オブジェクト (クラステンプレート)
less	x < y を実装する関数オブジェクト (クラステンプレート)
greater_equal	x >= y を実装する関数オブジェクト (クラステンプレート)
less_equal	x <= y を実装する関数オブジェクト (クラステンプレート)
コンセプト制約付き比較
ranges::equal_to (C++20)	x == y を実装する関数オブジェクト (クラス)
ranges::not_equal_to (C++20)	x != y を実装する関数オブジェクト (クラス)
ranges::greater (C++20)	x > y を実装する関数オブジェクト (クラス)
ranges::less (C++20)	x < y を実装する関数オブジェクト (クラス)
ranges::greater_equal (C++20)	x >= y を実装する関数オブジェクト (クラス)
ranges::less_equal (C++20)	x <= y を実装する関数オブジェクト (クラス)
論理演算
logical_and	x && y を実装する関数オブジェクト (クラステンプレート)
logical_or	x || y を実装する関数オブジェクト (クラステンプレート)
logical_not	!x を実装する関数オブジェクト (クラステンプレート)
ビット単位の演算
bit_and	x & y を実装する関数オブジェクト (クラステンプレート)
bit_or	x | y を実装する関数オブジェクト (クラステンプレート)
bit_xor	x ^ y を実装する関数オブジェクト (クラステンプレート)
bit_not (C++14)	~x を実装する関数オブジェクト (クラステンプレート)
否定
not_fn (C++17)	保持する関数オブジェクトの結果の否定を返す関数オブジェクトを作成します (関数テンプレート)
検索
default_searcher (C++17)	標準 C++ ライブラリの検索アルゴリズムの実装 (クラステンプレート)
boyer_moore_searcher (C++17)	ボイヤー・ムーア検索アルゴリズムの実装 (クラステンプレート)
boyer_moore_horspool_searcher (C++17)	ボイヤー・ムーア・ホースプール検索アルゴリズムの実装 (クラステンプレート)

C++11 で非推奨になり C++17 で削除されたクラスおよび関数

基本
unary_function (C++11で非推奨)(C++17で削除)	アダプタ互換な単項関数の基底クラス (クラステンプレート)
binary_function (C++11で非推奨)(C++17で削除)	アダプタ互換な二項関数の基底クラス (クラステンプレート)
バインダ
binder1stbinder2nd (C++11で非推奨)(C++17で削除)	二項引数とその引数の1つを保持する関数オブジェクト (クラステンプレート)
bind1stbind2nd (C++11で非推奨)(C++17で削除)	二項関数に引数を1つ束縛します (関数テンプレート)
関数アダプタ
pointer_to_unary_function (C++11で非推奨)(C++17で削除)	単項関数へのポインタに対するアダプタ互換なラッパー (クラステンプレート)
pointer_to_binary_function (C++11で非推奨)(C++17で削除)	二項関数へのポインタに対するアダプタ互換なラッパー (クラステンプレート)
ptr_fun (C++11で非推奨)(C++17で削除)	関数ポインタからアダプタ互換な関数オブジェクトを作成します (関数テンプレート)
mem_fun_tmem_fun1_tconst_mem_fun_tconst_mem_fun1_t (C++11で非推奨)(C++17で削除)	オブジェクトへのポインタを使用して呼ぶことができる、引数なしまたは引数1個のメンバ関数へのポインタに対するラッパー (クラステンプレート)
mem_fun (C++11で非推奨)(C++17で削除)	メンバ関数ポインタから、オブジェクトへのポインタを使用して呼ぶことができるラッパーを作成します (関数テンプレート)
mem_fun_ref_tmem_fun1_ref_tconst_mem_fun_ref_tconst_mem_fun1_ref_t (C++11で非推奨)(C++17で削除)	オブジェクトへの参照を使用して呼ぶことができる、引数なしまたは引数1個のメンバ関数へのポインタに対するラッパー (クラステンプレート)
mem_fun_ref (C++11で非推奨)(C++17で削除)	メンバ関数ポインタから、オブジェクトへの参照を使用して呼ぶことができるラッパーを作成します (関数テンプレート)

C++17 で非推奨になり C++20 で削除されたクラスおよび関数

否定
unary_negate (C++17で非推奨)(C++20で削除)	保持する単項述語の否定を返すラッパー関数オブジェクト (クラステンプレート)
binary_negate (C++17で非推奨) (C++20で削除)	保持する二項述語の否定を返すラッパー関数オブジェクト (クラステンプレート)
not1 (C++17で非推奨)(C++20で削除)	カスタム std::unary_negate オブジェクトを構築します (関数テンプレート)
not2 (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...>);

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

  // 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 template bind_front
  template<class F, class... Args> constexpr /* unspecified */ bind_front(F&&, Args&&...);

  // bind
  template<class T> struct is_bind_expression;
  template<class T> struct is_placeholder;

  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;

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

  // function object binders
  template<class T>
    inline constexpr bool is_bind_expression_v = is_bind_expression<T>::value;
  template<class T>
    inline constexpr int is_placeholder_v = is_placeholder<T>::value;

  namespace ranges {
    // concept-constrained comparisons
    struct equal_to;
    struct not_equal_to;
    struct greater;
    struct less;
    struct greater_equal;
    struct less_equal;
  }
}

クラステンプレート 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;
  };
  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::ranges::equal_to

namespace std::ranges {
  struct equal_to {
    template<class T, class U>
      requires equality_comparable_with<T, U> || /*BUILTIN-PTR-CMP*/(T, ==, 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>
      requires equality_comparable_with<T, U> || /*BUILTIN-PTR-CMP*/(T, ==, 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>
      requires totally_ordered_with<T, U> || /*BUILTIN-PTR-CMP*/(U, <, T)
    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>
      requires totally_ordered_with<T, U> || /*BUILTIN-PTR-CMP*/(T, <, 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>
      requires totally_ordered_with<T, U> || /*BUILTIN-PTR-CMP*/(T, <, 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>
      requires totally_ordered_with<T, U> || /*BUILTIN-PTR-CMP*/(U, <, T)
    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::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
  };
}

関連項目

<string>	std::string, std::u16string, std::u32string, std::wstring に対する std::hash の特殊化
<system_error>	std::error_code に対する std::hash の特殊化
<bitset>	std::bitset に対する std::hash の特殊化
<memory>	std::unique_ptr, std::shared_ptr に対する std::hash の特殊化
<typeindex>	std::type_index に対する std::hash の特殊化
<vector>	std::vector<bool> に対する std::hash の特殊化
<thread>	std::thread::id に対する std::hash の特殊化