add detail/int.hpp

This commit is contained in:
bolero-MURAKAMI 2012-04-19 12:29:48 +09:00
parent 80763fd432
commit 47ec95c7ff
2 changed files with 56 additions and 34 deletions

52
sprout/detail/int.hpp Normal file
View file

@ -0,0 +1,52 @@
#ifndef SPROUT_DETAIL_INT_HPP
#define SPROUT_DETAIL_INT_HPP
#include <type_traits>
#include <sprout/config.hpp>
#include <sprout/utility/enabler_if.hpp>
namespace sprout {
namespace detail {
//
// int_pow
//
template<typename IntType, int Base = 10, typename sprout::enabler_if<std::is_integral<IntType>::value>::type = sprout::enabler>
inline SPROUT_CONSTEXPR IntType
int_pow(int exponent) {
return exponent ? Base * sprout::detail::int_pow<IntType, Base>(exponent - 1)
: 1
;
}
//
// int_digits
//
template<int Base = 10, typename IntType>
inline SPROUT_CONSTEXPR int
int_digits_impl(IntType val) {
return val ? 1 + sprout::detail::int_digits_impl<Base>(val / Base)
: 0
;
}
template<int Base = 10, typename IntType, typename sprout::enabler_if<std::is_integral<IntType>::value>::type = sprout::enabler>
inline SPROUT_CONSTEXPR int
int_digits(IntType val) {
return val ? 1 + sprout::detail::int_digits_impl<Base>(val / Base)
: 1
;
}
//
// int_digit_at
//
template<int Base = 10, typename IntType, typename sprout::enabler_if<std::is_integral<IntType>::value>::type = sprout::enabler>
inline SPROUT_CONSTEXPR int
int_digit_at(IntType val, int digits) {
return val < 0 ? -((val / sprout::detail::int_pow<IntType, Base>(digits)) % Base)
: (val / sprout::detail::int_pow<IntType, Base>(digits)) % Base
;
}
} // namespace detail
} // namespace sprout
#endif // #ifndef SPROUT_DETAIL_INT_HPP

View file

@ -9,6 +9,7 @@
#include <sprout/integer/integer_digits.hpp>
#include <sprout/utility/enabler_if.hpp>
#include <sprout/detail/char_conversion.hpp>
#include <sprout/detail/int.hpp>
namespace sprout {
//
@ -23,37 +24,6 @@ namespace sprout {
{};
namespace detail {
template<typename IntType, int Base>
inline SPROUT_CONSTEXPR IntType
int_pow(int exponent) {
return exponent ? Base * sprout::detail::int_pow<IntType, Base>(exponent - 1)
: 1
;
}
template<int Base, typename IntType>
inline SPROUT_CONSTEXPR int
int_digits_impl(IntType val) {
return val ? 1 + sprout::detail::int_digits_impl<Base>(val / Base)
: 0
;
}
template<int Base, typename IntType>
inline SPROUT_CONSTEXPR int
int_digits(IntType val) {
return val ? 1 + sprout::detail::int_digits_impl<Base>(val / Base)
: 1
;
}
template<int Base, typename IntType>
inline SPROUT_CONSTEXPR int
int_digit_of(IntType val, int digits) {
return val < 0 ? -((val / sprout::detail::int_pow<IntType, Base>(digits)) % Base)
: (val / sprout::detail::int_pow<IntType, Base>(digits)) % Base
;
}
template<
typename Elem,
int Base,
@ -66,7 +36,7 @@ namespace sprout {
return val < 0 ? sprout::basic_string<Elem, sprout::printed_integer_digits<IntType, Base>::value>{
{
static_cast<Elem>('-'),
(Indexes < digits ? sprout::detail::int_to_char<Elem>(sprout::detail::int_digit_of<Base>(val, digits - 1 - Indexes))
(Indexes < digits ? sprout::detail::int_to_char<Elem>(sprout::detail::int_digit_at<Base>(val, digits - 1 - Indexes))
: Elem()
)...
},
@ -74,7 +44,7 @@ namespace sprout {
}
: sprout::basic_string<Elem, sprout::printed_integer_digits<IntType, Base>::value>{
{
(Indexes < digits ? sprout::detail::int_to_char<Elem>(sprout::detail::int_digit_of<Base>(val, digits - 1 - Indexes))
(Indexes < digits ? sprout::detail::int_to_char<Elem>(sprout::detail::int_digit_at<Base>(val, digits - 1 - Indexes))
: Elem()
)...
},
@ -93,7 +63,7 @@ namespace sprout {
int_to_string(IntType val, int digits, sprout::index_tuple<Indexes...>) {
return sprout::basic_string<Elem, sprout::printed_integer_digits<IntType, Base>::value>{
{
(Indexes < digits ? sprout::detail::int_to_char<Elem>(sprout::detail::int_digit_of<Base>(val, digits - 1 - Indexes))
(Indexes < digits ? sprout::detail::int_to_char<Elem>(sprout::detail::int_digit_at<Base>(val, digits - 1 - Indexes))
: Elem()
)...
},