max

max_t kumi::max {}

inlineconstexprnodiscardnoexcept

Callable object computing the maximum value of all elements of t.

Header file

#include <kumi/algorithm/minmax.hpp>

Call Signature

template<product_type T>
constexpr auto max(T && t) noexcept;

template<product_type T, typename Function>
constexpr auto max(T && t, Function f) noexcept;

Parameters

• t: Product Type to inspect
• f: Unary callable object to be invoked

Return value

• The maximum value of all elements of t

Helper type

    template<typename T, typename... F>
    requires((sizeof...(F) == 0) || (sizeof...(F) == 1))
    using max_t = decltype(kumi::max(std::declval<T>(), std::declval<F>()...));
 
    template<typename T, typename... F>
    requires((sizeof...(F) == 0) || (sizeof...(F) == 1))
    struct max
    {
      using type = kumi::result::max_t<T, F...>;
    };
 

Computes the return type of a call to kumi::max

Examples

• Tuple

  
  #include <kumi/kumi.hpp>
  #include <iostream>
   
  int main()
  {
    auto f0 = kumi::tuple {1, 'A', 99.77f, 3. };
    auto f1 = kumi::tuple {2., f0, 3.f };
   
    std::cout << kumi::max(f0) << "\n";
    std::cout << kumi::max(f1, [](auto m) { return sizeof(m); }) << "\n";
  }

• Record

  
  #include <kumi/kumi.hpp>
  #include <iostream>
   
  int main()
  {
    using namespace kumi::literals;
    auto f0 = kumi::record {"a"_id = 1, "b"_id = 'A', "c"_id = 99.77f, "d"_id = 3. };
    auto f1 = kumi::record {"a"_id = 2., "b"_id = f0, "c"_id = 3.f };
   
    std::cout << kumi::max(f0) << "\n";
    std::cout << kumi::max(f1, [](auto m) { return sizeof(m); }) << "\n";
  }