4. greater

最終更新日時:
が更新

履歴 編集

class template
<functional>

std::greater

namespace std {
  // C++98
  template <typename T>
  struct greater {
    bool operator ()(const T& x, const T& y) const;
    using first_argument_type  = T;
    using second_argument_type = T;
    using result_type          = bool;
  };

  // C++14
  template <class T = void>
  struct greater {
    constexpr bool operator()(const T& x, const T& y) const;
    using first_argument_type  = T;
    using second_argument_type = T;
    using result_type          = bool;
  };

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

  // C++20
  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> auto operator()(T&& t, U&& u) const
      -> decltype(std::forward<T>(t) > std::forward<U>(u));
    using is_transparent = unspecified;
  };
}

概要

greaterクラスは、左辺が右辺より大きいかの比較を行う関数オブジェクトである。

この関数オブジェクトは一切のメンバ変数を持たず、状態を保持しない。

メンバ関数

名前 説明
operator () x > y と等価

メンバ型

名前 説明
first_argument_type operator() の最初の引数の型。T と等価（T が void 以外の場合のみ）
second_argument_type operator() の２番目の引数の型。T と等価（T が void 以外の場合のみ）
result_type operator() の戻り値の型。bool と等価（T が void 以外の場合のみ）
is_transparent operator() が関数テンプレートである事を示すタグ型。
実装依存の型であるがあくまでタグ型であり、型そのものには意味はない。（T が void の場合のみ）

備考

  • greater<void>のoperator()が組み込みのポインタ比較演算子を呼び出す場合、その比較は厳密な全順序を与える。この順序は、less/greater/less_equal/greater_equalの各特殊化の間で一貫しており、かつ組み込みのポインタ比較演算子が定義される場合はその結果とも一致する。

例

#include <iostream>
#include <functional>

int main()
{
  std::cout << std::boolalpha << std::greater<int>()(3, 2) << std::endl;
}

出力

true

参照