Files
comaps/base/checked_cast.hpp
Konstantin Pastbin e3e4a1985a Organic Maps sources as of 02.04.2025 (fad26bbf22ac3da75e01e62aa01e5c8e11861005)
To expand with full Organic Maps and Maps.ME commits history run:
  git remote add om-historic [om-historic.git repo url]
  git fetch --tags om-historic
  git replace squashed-history historic-commits
2025-05-08 21:10:51 +07:00

44 lines
1.5 KiB
C++

#pragma once
#include "base/assert.hpp"
#include <limits>
#include <type_traits>
namespace base
{
template <typename ReturnType, typename ParameterType>
ReturnType checked_cast(ParameterType v)
{
static_assert(std::is_integral_v<ParameterType>, "ParameterType should be integral");
static_assert(std::is_integral_v<ReturnType>, "ReturnType should be integral");
auto const result = static_cast<ReturnType>(v);
CHECK_EQUAL(static_cast<ParameterType>(result), v, ());
CHECK((result > 0) == (v > 0), ("checked_cast failed, value =", v, ", result =", result));
return result;
}
template <typename ReturnType, typename ParameterType>
ReturnType asserted_cast(ParameterType v)
{
static_assert(std::is_integral_v<ParameterType>, "ParameterType should be integral");
static_assert(std::is_integral_v<ReturnType>, "ReturnType should be integral");
auto const result = static_cast<ReturnType>(v);
ASSERT_EQUAL(static_cast<ParameterType>(result), v, ());
ASSERT((result > 0) == (v > 0), ("asserted_cast failed, value =", v, ", result =", result));
return result;
}
template <typename ResultType, typename ParameterType>
bool IsCastValid(ParameterType v)
{
static_assert(std::is_integral_v<ParameterType>, "ParameterType should be integral");
static_assert(std::is_integral_v<ResultType>, "ReturnType should be integral");
auto const result = static_cast<ResultType>(v);
return static_cast<ParameterType>(result) == v && ((result > 0) == (v > 0));
}
} // namespace base