幾何テンプレート
(geometry/geometry_template.hpp)

• View this file on GitHub
• Last update: 2024-08-03 15:34:22+09:00
• Include: #include "geometry/geometry_template.hpp"

使い方

// EPS 取得
Constants::<T>::EPS
// PI 取得
Constants::<T>::PI
// T の誤差を 1e-8 に変更
Constants<T>::set_eps(1e-8);

double, long double, long long 以外は動かない

関数によっては整数型でのみ, あるいは浮動小数点数型でのみ動作するものもあり, 想定していない使われ方に対しては static_assert で CE を吐くようにしている

参考文献

• cpprefjp - C++日本語レファレンス, type_traits

Required by

• geometry/all.hpp
• Circle (円) (geometry/circle.hpp)
• Circumscribed Circle (外接円) (geometry/circumscribed_circle.hpp)
• Closest Pair (最近点対) (geometry/closest_pair.hpp)
• Common Area (共通部分の面積) (geometry/common_area.hpp)
• Contain (多角形や円と点の位置関係) (geometry/contain.hpp)
• Convex Hull (凸包) (geometry/convex_hull_monotone_chain.hpp)
• Convex Polygon Cut (凸多角形の直線での切断) (geometry/convex_polygon_cut.hpp)
• Convex Polygon Diameter (凸多角形の直径) (geometry/convex_polygon_diameter.hpp)
• Cross Point (交点) (geometry/cross_point.hpp)
• Distance (距離) (geometry/distance.hpp)
• Farthest Pair (最遠点対) (geometry/farthest_pair.hpp)
• Incircle (内接円) (geometry/incircle.hpp)
• Intersection (交差判定) (geometry/is_intersect.hpp)
• Line / Segment (直線・線分) (geometry/line.hpp)
• Point (点) (geometry/point.hpp)
• Polygon (多角形) (geometry/polygon.hpp)
• Tangent (接線) (geometry/tangent.hpp)

Verified with

• verify/geometry/area.test.cpp
• verify/geometry/ccw.test.cpp
• verify/geometry/circumscribed_circle.test.cpp
• verify/geometry/closest_pair.test.cpp
• verify/geometry/common_area_cc.test.cpp
• verify/geometry/common_area_cp.test.cpp
• verify/geometry/compare_atan2.test.cpp
• verify/geometry/contain.test.cpp
• verify/geometry/convex_contain.test.cpp
• verify/geometry/convex_hull_monotone_chain_1.test.cpp
• verify/geometry/convex_hull_monotone_chain_2.test.cpp
• verify/geometry/convex_polygon_cut.test.cpp
• verify/geometry/convex_polygon_diameter.test.cpp
• verify/geometry/cross_point_cc.test.cpp
• verify/geometry/cross_point_cl.test.cpp
• verify/geometry/cross_point_ss.test.cpp
• verify/geometry/distance_ss.test.cpp
• verify/geometry/incircle.test.cpp
• verify/geometry/is_convex.test.cpp
• verify/geometry/is_intersect_ss.test.cpp
• verify/geometry/is_orthogonal_is_parallel.test.cpp
• verify/geometry/projection.test.cpp
• verify/geometry/reflection.test.cpp
• verify/geometry/tangent_cc.test.cpp
• verify/geometry/tangent_cp.test.cpp
• verify/geometry/tangent_number.test.cpp

Code

#pragma once

#include <type_traits>

// Constants (EPS, PI)
// EPS の変更は Constants<T>::set_eps(new_eps) で
template <class T> struct Constants {
    static T EPS;
    static void set_eps(const T e) { EPS = e; }
    static constexpr T PI = 3.14159'26535'89793L;
};

template <> double Constants<double>::EPS = 1e-9;
template <> long double Constants<long double>::EPS = 1e-12;
template <> long long Constants<long long>::EPS = 0;

// 汎用関数
template <class T> inline int sign(const T x) { return x < -Constants<T>::EPS ? -1 : (x > Constants<T>::EPS ? 1 : 0); }
template <class T> inline bool equal(const T a, const T b) { return sign(a - b) == 0; }
template <class T> inline T radian_to_degree(const T r) { return r * 180.0 / Constants<T>::PI; }
template <class T> inline T degree_to_radian(const T d) { return d * Constants<T>::PI / 180.0; }

// type traits
template <class T> using is_geometry_floating_point = typename std::conditional<std::is_same<T, double>::value || std::is_same<T, long double>::value, std::true_type, std::false_type>::type;
template <class T> using is_geometry_integer = typename std::conditional<std::is_same<T, long long>::value, std::true_type, std::false_type>::type;
template <class T> using is_geometry = typename std::conditional<is_geometry_floating_point<T>::value || is_geometry_integer<T>::value, std::true_type, std::false_type>::type;

#line 2 "geometry/geometry_template.hpp"

#include <type_traits>

// Constants (EPS, PI)
// EPS の変更は Constants<T>::set_eps(new_eps) で
template <class T> struct Constants {
    static T EPS;
    static void set_eps(const T e) { EPS = e; }
    static constexpr T PI = 3.14159'26535'89793L;
};

template <> double Constants<double>::EPS = 1e-9;
template <> long double Constants<long double>::EPS = 1e-12;
template <> long long Constants<long long>::EPS = 0;

// 汎用関数
template <class T> inline int sign(const T x) { return x < -Constants<T>::EPS ? -1 : (x > Constants<T>::EPS ? 1 : 0); }
template <class T> inline bool equal(const T a, const T b) { return sign(a - b) == 0; }
template <class T> inline T radian_to_degree(const T r) { return r * 180.0 / Constants<T>::PI; }
template <class T> inline T degree_to_radian(const T d) { return d * Constants<T>::PI / 180.0; }

// type traits
template <class T> using is_geometry_floating_point = typename std::conditional<std::is_same<T, double>::value || std::is_same<T, long double>::value, std::true_type, std::false_type>::type;
template <class T> using is_geometry_integer = typename std::conditional<std::is_same<T, long long>::value, std::true_type, std::false_type>::type;
template <class T> using is_geometry = typename std::conditional<is_geometry_floating_point<T>::value || is_geometry_integer<T>::value, std::true_type, std::false_type>::type;

Back to top page