1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
#pragma once


#include <cstdint><--- Include file:  not found. Please note: Cppcheck does not need standard library headers to get proper results.
#include <limits><--- Include file:  not found. Please note: Cppcheck does not need standard library headers to get proper results.


#include "internal/exception.hpp"
#include "internal/concepts.hpp"

#include "numeric/limits.hpp"
#include "numeric/arithmetic.hpp"


namespace uni {


namespace internal {


template<class T>
inline std::int32_t compare(const T x, const T y, const T tolerance) noexcept(NO_EXCEPT) {
    if(x > y + tolerance) return 1;
    if(y > x + tolerance) return -1;
    return 0;
}


template<class T>
inline std::int32_t compare(const T x, const T y = 0) noexcept(NO_EXCEPT) {
    if constexpr(std::is_floating_point_v<T>) {
        return compare(x, y, max(1, x, y) * numeric_limits<T>::arithmetic_epsilon());
    }
    else {
        if(x > y) return 1;
        if(x < y) return -1;
        return 0;
    }
}


} // namespace internal

template<class T0, std::common_with<T0> T1 = T0>
    requires (
        !(std::is_floating_point_v<T0> && std::is_floating_point_v<T1>) ||
        std::is_floating_point_v<std::common_type_t<T0, T1>>
    )
inline std::int32_t compare(const T0 v0, const T1 v1 = T0()) noexcept(NO_EXCEPT) {
    return internal::compare<std::common_type_t<T0, T1>>(v0, v1);
}


} // namespace uni