関数オブジェクトを定義する
(cpp/more_functional.hpp)

• View this file on GitHub
• Last update: 2024-05-17 22:45:13+09:00
• Include: #include "cpp/more_functional.hpp"

Required by

• 遅延伝搬セグメント木 (cpp/lazy-segtree.hpp)
• マージソートツリー (cpp/merge-sort-tree.hpp)
• ポテンシャル付きUnionFind (cpp/potentialized-unionfind.hpp)
• 2次元セグメント木 (cpp/segtree-2d.hpp)
• セグメント木 (cpp/segtree.hpp)

Verified with

• test/aoj-dsl-1-b.test.cpp
• test/aoj-dsl-2-a.test.cpp
• test/aoj-dsl-2-b.test.cpp
• test/aoj-dsl-2-f.test.cpp
• test/aoj-dsl-2-g.test.cpp
• test/aoj-dsl-2-h.test.cpp
• test/aoj-dsl-2-i.test.cpp
• test/aoj-jag-summer-2971.test.cpp
• test/atcoder-abc177-f.1.test.cpp
• test/atcoder-abc177-f.2.test.cpp
• test/atcoder-abc185-f.test.cpp
• test/atcoder-abc254-f.test.cpp
• test/atcoder-abc331-f.test.cpp
• test/atcoder-past202012-n.test.cpp
• test/yosupo-lca.2.test.cpp
• test/yosupo-point-add-rectangle-sum.test.cpp
• test/yosupo-point-set-range-composite.1.test.cpp
• test/yosupo-point-set-range-composite.2.test.cpp
• test/yosupo-point-set-range-composite.3.test.cpp
• test/yosupo-range-affine-range-sum.1.test.cpp
• test/yosupo-range-affine-range-sum.2.test.cpp
• test/yosupo-range-affine-range-sum.3.test.cpp
• test/yosupo-rectangle-sum.test.cpp
• test/yukicoder-2292.test.cpp

Code

#pragma once

/**
 * @file more_functional.hpp
 * @brief 関数オブジェクトを定義する
 */

#include <limits>
#include <numeric>
#include <type_traits>

namespace more_functional {
template <typename S>
struct Max {
    const S operator()(const S& a, const S& b) const { return std::max(a, b); }
};
template <typename S>
struct Min {
    const S operator()(const S& a, const S& b) const { return std::min(a, b); }
};
template <typename S, std::enable_if_t<std::is_integral_v<S>>* = nullptr>
struct Gcd {
    constexpr S operator()(const S& a, const S& b) const { return std::gcd(a, b); }
};
template <typename S>
struct Zero {
    S operator()() const { return S(0); }
};
template <typename S>
struct One {
    S operator()() const { return S(1); }
};
template <typename S>
struct None {
    S operator()() const { return S{}; }
};
template <typename S, std::enable_if_t<std::is_scalar_v<S>>* = nullptr>
struct MaxLimit {
    constexpr S operator()() const { return std::numeric_limits<S>::max(); }
};
template <typename S, std::enable_if_t<std::is_scalar_v<S>>* = nullptr>
struct MinLimit {
    constexpr S operator()() const { return std::numeric_limits<S>::lowest(); }
};
template <typename S>
struct Div {
    S operator()(const S& a) const { return S(1) / a; }
};
}  // namespace more_functional

#line 2 "cpp/more_functional.hpp"

/**
 * @file more_functional.hpp
 * @brief 関数オブジェクトを定義する
 */

#include <limits>
#include <numeric>
#include <type_traits>

namespace more_functional {
template <typename S>
struct Max {
    const S operator()(const S& a, const S& b) const { return std::max(a, b); }
};
template <typename S>
struct Min {
    const S operator()(const S& a, const S& b) const { return std::min(a, b); }
};
template <typename S, std::enable_if_t<std::is_integral_v<S>>* = nullptr>
struct Gcd {
    constexpr S operator()(const S& a, const S& b) const { return std::gcd(a, b); }
};
template <typename S>
struct Zero {
    S operator()() const { return S(0); }
};
template <typename S>
struct One {
    S operator()() const { return S(1); }
};
template <typename S>
struct None {
    S operator()() const { return S{}; }
};
template <typename S, std::enable_if_t<std::is_scalar_v<S>>* = nullptr>
struct MaxLimit {
    constexpr S operator()() const { return std::numeric_limits<S>::max(); }
};
template <typename S, std::enable_if_t<std::is_scalar_v<S>>* = nullptr>
struct MinLimit {
    constexpr S operator()() const { return std::numeric_limits<S>::lowest(); }
};
template <typename S>
struct Div {
    S operator()(const S& a) const { return S(1) / a; }
};
}  // namespace more_functional

Back to top page