mirror of
https://github.com/bolero-MURAKAMI/Sprout
synced 2024-11-12 21:09:01 +00:00
93 lines
3.3 KiB
C++
93 lines
3.3 KiB
C++
#ifndef SPROUT_CSTRING_STRCMP_HPP
|
||
#define SPROUT_CSTRING_STRCMP_HPP
|
||
|
||
#include <iterator>
|
||
#include <type_traits>
|
||
#include <sprout/config.hpp>
|
||
#include <sprout/iterator/operation.hpp>
|
||
#include <sprout/utility/pair/pair.hpp>
|
||
#include <sprout/tuple/tuple/tuple.hpp>
|
||
#include <sprout/tuple/tuple/get.hpp>
|
||
#include <sprout/type_traits/is_char_type.hpp>
|
||
|
||
namespace sprout {
|
||
namespace detail {
|
||
template<typename InputIterator1, typename InputIterator2>
|
||
inline SPROUT_CONSTEXPR int
|
||
strcmp_impl_check(sprout::tuples::tuple<InputIterator1, InputIterator2, int> const& found) {
|
||
return !*sprout::tuples::get<1>(found) ? (!*sprout::tuples::get<0>(found) ? 0 : 1)
|
||
: !*sprout::tuples::get<0>(found) ? -1
|
||
: sprout::tuples::get<2>(found)
|
||
;
|
||
}
|
||
template<typename InputIterator1, typename InputIterator2>
|
||
inline SPROUT_CONSTEXPR sprout::tuples::tuple<InputIterator1, InputIterator2, int>
|
||
strcmp_impl_1(
|
||
sprout::tuples::tuple<InputIterator1, InputIterator2, int> const& current,
|
||
typename std::iterator_traits<InputIterator1>::difference_type n
|
||
)
|
||
{
|
||
typedef sprout::tuples::tuple<InputIterator1, InputIterator2, int> type;
|
||
return sprout::tuples::get<2>(current) || !*sprout::tuples::get<1>(current) || !*sprout::tuples::get<0>(current) ? current
|
||
: n == 1 ? (*sprout::tuples::get<0>(current)) < (*sprout::tuples::get<1>(current)) ? type(sprout::tuples::get<0>(current), sprout::tuples::get<1>(current), -1)
|
||
: (*sprout::tuples::get<1>(current)) < (*sprout::tuples::get<0>(current)) ? type(sprout::tuples::get<0>(current), sprout::tuples::get<1>(current), 1)
|
||
: type(sprout::next(sprout::tuples::get<0>(current)), sprout::next(sprout::tuples::get<1>(current)), 0)
|
||
: sprout::detail::strcmp_impl_1(
|
||
sprout::detail::strcmp_impl_1(
|
||
current,
|
||
n / 2
|
||
),
|
||
n - n / 2
|
||
)
|
||
;
|
||
}
|
||
template<typename InputIterator1, typename InputIterator2>
|
||
inline SPROUT_CONSTEXPR sprout::tuples::tuple<InputIterator1, InputIterator2, int>
|
||
strcmp_impl(
|
||
sprout::tuples::tuple<InputIterator1, InputIterator2, int> const& current,
|
||
typename std::iterator_traits<InputIterator1>::difference_type n
|
||
)
|
||
{
|
||
typedef sprout::tuples::tuple<InputIterator1, InputIterator2, int> type;
|
||
return sprout::tuples::get<2>(current) || !*sprout::tuples::get<1>(current) || !*sprout::tuples::get<0>(current) ? current
|
||
: sprout::detail::strcmp_impl(
|
||
sprout::detail::strcmp_impl_1(
|
||
current,
|
||
n
|
||
),
|
||
n * 2
|
||
)
|
||
;
|
||
}
|
||
template<typename InputIterator1, typename InputIterator2>
|
||
inline SPROUT_CONSTEXPR int
|
||
strcmp(InputIterator1 first1, InputIterator2 first2)
|
||
{
|
||
typedef sprout::tuples::tuple<InputIterator1, InputIterator2, int> type;
|
||
return sprout::detail::strcmp_impl_check(
|
||
sprout::detail::strcmp_impl(type(first1, first2, 0), 1)
|
||
);
|
||
}
|
||
} // namespace detail
|
||
|
||
// 7.21.4.2 strcmp <20><EFBFBD>
|
||
//
|
||
// recursion depth:
|
||
// O(log(N1+N2))
|
||
//
|
||
inline SPROUT_CONSTEXPR int
|
||
strcmp(char const* s1, char const* s2) {
|
||
return sprout::detail::strcmp(s1, s2);
|
||
}
|
||
|
||
template<typename Elem>
|
||
inline SPROUT_CONSTEXPR typename std::enable_if<
|
||
sprout::is_char_type<Elem>::value,
|
||
int
|
||
>::type
|
||
strcmp(Elem* s1, Elem* s2) {
|
||
return sprout::detail::strcmp(s1, s2);
|
||
}
|
||
} // namespace sprout
|
||
|
||
#endif // #ifndef SPROUT_CSTRING_STRCMP_HPP
|