math/inf.hpp

• View this file on GitHub
• Last update: 2025-05-31 14:45:17+09:00
• Include: #include "math/inf.hpp"

Verified with

• test/line_add_get_min.test.cpp
• test/line_add_get_min2.test.cpp
• test/segment_add_get_min2.test.cpp

Code

#pragma once
#include <type_traits>

template <typename T = void>
struct Infinite;

template <typename T>
constexpr T INF_CONST() {
    if constexpr (std::is_same_v<T, int>) {
        return 2147483647;
    } else if constexpr (std::is_same_v<T, long long>) {
        return 9223372036854775807LL;
    } else {
        static_assert(sizeof(T) == 0, "Unsupported type");
    }
}

template <>
struct Infinite<void> {
    operator int() const {
        return INF_CONST<int>();
    }

    operator long long() const {
        return INF_CONST<long long>();
    }
};

template <typename T>
struct Infinite {
    constexpr operator T() const {
        return INF_CONST<T>();
    }
};

#line 2 "math/inf.hpp"
#include <type_traits>

template <typename T = void>
struct Infinite;

template <typename T>
constexpr T INF_CONST() {
    if constexpr (std::is_same_v<T, int>) {
        return 2147483647;
    } else if constexpr (std::is_same_v<T, long long>) {
        return 9223372036854775807LL;
    } else {
        static_assert(sizeof(T) == 0, "Unsupported type");
    }
}

template <>
struct Infinite<void> {
    operator int() const {
        return INF_CONST<int>();
    }

    operator long long() const {
        return INF_CONST<long long>();
    }
};

template <typename T>
struct Infinite {
    constexpr operator T() const {
        return INF_CONST<T>();
    }
};

Back to top page