divides.md

divides

• functional[meta header]
• std[meta namespace]
• class template[meta id-type]

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

  // C++14 (operator() が constexpr、テンプレート引数にデフォルトが指定された)
  template <typename T = void>
  struct divides {
    constexpr T operator()(const T& x, const T& y) const;
    using first_argument_type  = T;
    using second_argument_type = T;
    using result_type          = T;
  };

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

  // C++20 (first_argument_type, second_argument_type, result_type削除)
  template <typename 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;
  };
}

• unspecified[italic]
• std::forward[link ../utility/forward.md]

概要

dividesクラスは、除算を行う関数オブジェクトである。

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

メンバ関数

名前	説明	対応バージョン
operator()	x / y と等価

メンバ型

名前	説明	対応バージョン
first_argument_type	operator() の最初の引数の型。T と等価（T が void 以外の場合のみ）	C++17から非推奨 C++20で削除
second_argument_type	operator() の２番目の引数の型。T と等価（T が void 以外の場合のみ）	C++17から非推奨 C++20で削除
result_type	operator() の戻り値の型。T と等価（T が void 以外の場合のみ）	C++17から非推奨 C++20で削除
is_transparent	operator() が関数テンプレートである事を示すタグ型。 実装依存の型であるがあくまでタグ型であり、型そのものには意味はない。（T が void の場合のみ）	C++14

例

#include <iostream>
#include <functional>

int main()
{
  std::cout << std::divides<int>()(6, 2) << std::endl;
}

• std::divides[color ff0000]

出力

3

参照

• N3421 Making Operator Functors greater<>
• N3657 Adding heterogeneous comparison lookup to associative containers (rev 4)
• N3789 Constexpr Library Additions: functional
• P0005R4 Adopt not_fn from Library Fundamentals 2 for C++17
• P0619R4 Reviewing deprecated facilities of C++17 for C++20