順序付き整数の中点

components/ordered_midpoint.hpp · GitHub で見る

共通ページ

小さい端点 l と大きい端点 r の中点を求めます。

#include "lib/components/ordered_midpoint.hpp"

constexpr auto middle = ordered_midpoint(-8LL, 3LL); // -3

関数	内容・返り値	計算量
`ordered_midpoint(l,r)`	オーバーフローを避けて中点を返す。端数は `l` 側へ丸める	\(O(1)\)

引数は同じ整数型で、l <= r が必要です。bool を除く 64 bit 以下の符号付き・符号なし整数型に対応し、型の最小値から最大値までの範囲を渡せます。

時間・追加空間は \(O(1)\) です。

検証コード

コード

#ifndef ORDERED_MIDPOINT_HPP
#define ORDERED_MIDPOINT_HPP

#include <type_traits>

template<class T>
constexpr T ordered_midpoint(T l, T r) {
	static_assert(std::is_integral_v<T> && !std::is_same_v<T, bool> && sizeof(T) <= 8);
	using U = std::make_unsigned_t<T>;
	return T(U(l) + U(U(r) - U(l)) / 2);
}

#endif

#line 1 "components/ordered_midpoint.hpp"



#include <type_traits>

template<class T>
constexpr T ordered_midpoint(T l, T r) {
	static_assert(std::is_integral_v<T> && !std::is_same_v<T, bool> && sizeof(T) <= 8);
	using U = std::make_unsigned_t<T>;
	return T(U(l) + U(U(r) - U(l)) / 2);
}