名前空間
変種
操作

std::not_fn

提供: cppreference.com
< cpp‎ | utility‎ | functional
 
C++
 
ユーティリティライブラリ
汎用ユーティリティ
日付と時間
関数オブジェクト
書式化ライブラリ (C++20)
(C++11)
(C++14)
関係演算子 (C++20で非推奨)
整数比較関数
(C++20)(C++20)(C++20)(C++20)(C++20)(C++20)
(C++20)
スワップと型操作
(C++20)
(C++14)
(C++11)
(C++11)
(C++11)
(C++11)
(C++17)
一般的な語彙の型
(C++11)
(C++17)
(C++17)
(C++17)
(C++17)
(C++17)

初等文字列変換
(C++17)
(C++17)
(C++17)
 
関数オブジェクト
関数ラッパー
(C++11)
(C++11)
(C++11)
関数の部分適用
(C++20)
(C++11)
(C++11)
(C++11)
(C++11)
関数呼び出し
(C++17)
恒等関数オブジェクト
(C++20)
参照ラッパー
(C++11)
(C++11)(C++11)
(C++20)(C++20)
演算子ラッパー
否定子
not_fn
(C++17)
検索子
(C++17)
(C++17)
(C++17)
制約付き比較子
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
古いバインダとアダプタ
(C++17未満)
(C++17未満)
(C++17未満)
(C++17未満)
(C++17未満)
(C++17未満)
(C++17未満)(C++17未満)(C++17未満)(C++17未満)
(C++20未満)
(C++20未満)
(C++17未満)(C++17未満)
(C++17未満)(C++17未満)

(C++17未満)
(C++17未満)(C++17未満)(C++17未満)(C++17未満)
(C++20未満)
(C++20未満)
 
ヘッダ <functional> で定義
template< class F>
/*unspecified*/ not_fn( F&& f );
 (C++17以上)
(C++20未満)
template< class F>
constexpr /*unspecified*/ not_fn( F&& f );
 (C++20以上)

保持する呼び出し可能なオブジェクトの否定を返す転送呼び出しラッパーを作成します。

目次

[編集] 引数

f - ラッパーによって保持される Callable なオブジェクトの構築元
型の要件
-
std::decay_t<F> は Callable および MoveConstructible の要件を満たさなければなりません。
-
std::is_constructible_v<std::decay_t<F>, F> が true であることが要求されます。

[編集] 戻り値

未規定な型 T の関数オブジェクト。 以下のメンバを持ちます。

std::not_fn の戻り値の型

メンバオブジェクト

std::not_fn の戻り値の型は std::decay_t<F> 型のメンバオブジェクトを保持します。

コンストラクタ

(1)
explicit T(F&& f); // 説明専用
 (C++17以上)
(C++20未満)
explicit constexpr T(F&& f); // 説明専用
 (C++20以上)
T(T&& f) = default;
T(const T& f) = default;
 (2)
1) コンストラクタは (std::decay_t<F> 型の) メンバオブジェクトを std::forward<F>(f) から直接非リスト初期化します。 選択されたコンストラクタによって投げられたあらゆる例外を投げます。
2) std::decay_t<F> は MoveConstructible であることが要求されるため、返された呼び出しラッパーは必ず MoveConstructible であり、 std::decay_t<F> が CopyConstructible であれば CopyConstructible でもあります。

メンバ関数 operator()

(1)
template<class... Args> auto operator()(Args&&... args) &

-> decltype(
    !std::declval<std::invoke_result_t<std::decay_t<F>&, Args...>>());
template<class... Args> auto operator()(Args&&... args) const&
-> decltype(

    !std::declval<std::invoke_result_t<std::decay_t<F> const&, Args...>>());
 (C++17以上)
(C++20未満)
template<class... Args> constexpr auto operator()(Args&&... args) &

-> decltype(
    !std::declval<std::invoke_result_t<std::decay_t<F>&, Args...>>());
template<class... Args> constexpr auto operator()(Args&&... args) const&
-> decltype(

    !std::declval<std::invoke_result_t<std::decay_t<F> const&, Args...>>());
 (C++20以上)
(2)
template<class... Args> auto operator()(Args&&... args) &&

-> decltype(
    !std::declval<std::invoke_result_t<std::decay_t<F>, Args...>>());
template<class... Args> auto operator()(Args&&... args) const&&
-> decltype(

    !std::declval<std::invoke_result_t<std::decay_t<F> const, Args...>>());
 (C++17以上)
(C++20未満)
template<class... Args> constexpr auto operator()(Args&&... args) &&

-> decltype(
    !std::declval<std::invoke_result_t<std::decay_t<F>, Args...>>());
template<class... Args> constexpr auto operator()(Args&&... args) const&&
-> decltype(

    !std::declval<std::invoke_result_t<std::decay_t<F> const, Args...>>());
 (C++20以上)
1) return !std::invoke(fd, std::forward<Args>(args)...) と同等です。
2) return !std::invoke(std::move(fd), std::forward<Args>(args)...) と同等です。

ただし fd は std::decay_t<F> 型のメンバオブジェクトです。

[編集] 例外

fd の構築が例外を投げなければ、例外を投げません。

[編集] ノート

not_fn は C++03 時代の否定子 std::not1 および std::not2 を置き換える意図があります。

[編集] Example

This section is incomplete
Reason: no example

[編集] 関連項目

(C++17で非推奨)(C++20で削除)
 カスタム std::unary_negate オブジェクトを構築します
(関数テンプレート) [edit]
(C++17で非推奨)(C++20で削除)
 カスタム std::binary_negate オブジェクトを構築します
(関数テンプレート) [edit]
「https://ja.cppreference.com/mwiki/index.php?title=cpp/utility/functional/not_fn&oldid=49243」から取得