Sprout/sprout/string.hpp

#ifndef SPROUT_STRING_HPP
#define SPROUT_STRING_HPP

#include <cstddef>
#include <iosfwd>
#include <algorithm>
#include <utility>
#include <stdexcept>
#include <type_traits>
#include <sprout/config.hpp>
#include <sprout/index_tuple.hpp>
#include <sprout/fixed_container/traits.hpp>
#include <sprout/sub_array.hpp>
#include <sprout/operation/fixed/push_back.hpp>
#include <sprout/operation/fixed/push_front.hpp>
#include <sprout/operation/fixed/join_back.hpp>
#include <sprout/operation/fixed/join_front.hpp>
#include <sprout/operation/fit/realine.hpp>
#include <sprout/detail/iterator.hpp>
#include HDR_ALGORITHM_SSCRISK_CEL_OR_SPROUT_DETAIL

namespace sprout {
	//
	// basic_string
	//
	template<typename T, std::size_t N>
	class basic_string {
	public:
		typedef T value_type;
		typedef T* iterator;
		typedef T const* const_iterator;
		typedef T& reference;
		typedef T const& const_reference;
		typedef std::size_t size_type;
		typedef std::ptrdiff_t difference_type;
		typedef T* pointer;
		typedef T const* const_pointer;
		typedef sprout::detail::reverse_iterator<iterator> reverse_iterator;
		typedef sprout::detail::reverse_iterator<const_iterator> const_reverse_iterator;
	public:
		SPROUT_STATIC_CONSTEXPR size_type static_size = N;
		SPROUT_STATIC_CONSTEXPR size_type fixed_size = static_size;
	public:
		T elems[N + 1];
	public:
		SPROUT_CONSTEXPR size_type size() const SPROUT_NOEXCEPT {
			return N;
		}
		SPROUT_CONSTEXPR bool empty() const SPROUT_NOEXCEPT {
			return N != 0;
		}
		SPROUT_CONSTEXPR size_type max_size() const SPROUT_NOEXCEPT {
			return size();
		}
		void rangecheck(size_type i) const {
			if (i >= size()) {
				throw std::out_of_range("basic_string<>: index out of range");
			}
		}
		iterator begin() SPROUT_NOEXCEPT {
			return elems;
		}
		SPROUT_CONSTEXPR const_iterator begin() const SPROUT_NOEXCEPT {
			return elems;
		}
		SPROUT_CONSTEXPR const_iterator cbegin() const SPROUT_NOEXCEPT {
			return elems;
		}
		iterator end() SPROUT_NOEXCEPT {
			return elems + size();
		}
		SPROUT_CONSTEXPR const_iterator end() const SPROUT_NOEXCEPT {
			return elems + size();
		}
		SPROUT_CONSTEXPR const_iterator cend() const SPROUT_NOEXCEPT {
			return elems + size();
		}
		reverse_iterator rbegin() SPROUT_NOEXCEPT {
			return reverse_iterator(begin());
		}
		SPROUT_CONSTEXPR const_reverse_iterator rbegin() const SPROUT_NOEXCEPT {
			return const_reverse_iterator(begin());
		}
		SPROUT_CONSTEXPR const_reverse_iterator crbegin() const SPROUT_NOEXCEPT {
			return const_reverse_iterator(begin());
		}
		reverse_iterator rend() SPROUT_NOEXCEPT {
			return reverse_iterator(end());
		}
		SPROUT_CONSTEXPR const_reverse_iterator rend() const SPROUT_NOEXCEPT {
			return const_reverse_iterator(end());
		}
		SPROUT_CONSTEXPR const_reverse_iterator crend() const SPROUT_NOEXCEPT {
			return const_reverse_iterator(end());
		}
		reference operator[](size_type i) {
			return elems[i];
		}
		SPROUT_CONSTEXPR const_reference operator[](size_type i) const {
			return elems[i];
		}
		reference at(size_type i) {
			rangecheck(i);
			return elems[i];
		}
		const_reference at(size_type i) const {
			rangecheck(i);
			return elems[i];
		}
		reference front() {
			return elems[0];
		}
		SPROUT_CONSTEXPR const_reference front() const {
			return elems[0];
		}
		reference back() {
			return elems[size() - 1];
		}
		SPROUT_CONSTEXPR const_reference back() const {
			return elems[size() - 1];
		}
		pointer data() SPROUT_NOEXCEPT {
			return elems;
		}
		SPROUT_CONSTEXPR const_pointer data() const SPROUT_NOEXCEPT {
			return elems;
		}
		pointer c_array() SPROUT_NOEXCEPT {
			return elems;
		}
		const_pointer c_str() const SPROUT_NOEXCEPT {
			return elems;
		}
		void assign(const_reference value) {
			fill(value);
		}
		void fill(const_reference value) {
			std::fill_n(begin(), size(), value);
		}
		void swap(basic_string<T, N>& other) SPROUT_NOEXCEPT_EXPR(SPROUT_NOEXCEPT_EXPR(std::swap(std::declval<T&>(), std::declval<T&>()))) {
			std::swap_ranges(other.begin(), other.end(), begin());
		}
		template <typename T2>
		basic_string<T, N>& operator=(basic_string<T2, N> const& rhs) {
			std::copy(rhs.begin(), rhs.end(), begin());
			return *this;
		}
		template <typename T2>
		basic_string<T, N>& operator=(basic_string<T2, N>&& rhs) {
			std::move(rhs.begin(), rhs.end(), begin());
			return *this;
		}
	};
	template<typename T, std::size_t N1, std::size_t N2>
	SPROUT_CONSTEXPR inline bool operator==(sprout::basic_string<T, N1> const& lhs, sprout::basic_string<T, N2> const& rhs) {
		return N1 == N2 && NS_SSCRISK_CEL_OR_SPROUT_DETAIL::equal(lhs.begin(), lhs.end(), rhs.begin());
	}
	template<typename T, std::size_t N1, std::size_t N2>
	SPROUT_CONSTEXPR inline bool operator!=(sprout::basic_string<T, N1> const& lhs, sprout::basic_string<T, N2> const& rhs) {
		return !(lhs == rhs);
	}
	template<typename T, std::size_t N1, std::size_t N2>
	SPROUT_CONSTEXPR inline bool operator<(sprout::basic_string<T, N1> const& lhs, sprout::basic_string<T, N2> const& rhs) {
		return NS_SSCRISK_CEL_OR_SPROUT_DETAIL::lexicographical_compare(lhs.begin(), lhs.end(), rhs.begin(), rhs.end());
	}
	template<typename T, std::size_t N1, std::size_t N2>
	SPROUT_CONSTEXPR inline bool operator>(sprout::basic_string<T, N1> const& lhs, sprout::basic_string<T, N2> const& rhs) {
		return rhs < lhs;
	}
	template<typename T, std::size_t N1, std::size_t N2>
	SPROUT_CONSTEXPR inline bool operator<=(sprout::basic_string<T, N1> const& lhs, sprout::basic_string<T, N2> const& rhs) {
		return !(rhs < lhs);
	}
	template<typename T, std::size_t N1, std::size_t N2>
	SPROUT_CONSTEXPR inline bool operator>=(sprout::basic_string<T, N1> const& lhs, sprout::basic_string<T, N2> const& rhs) {
		return !(lhs < rhs);
	}

	//
	// swap
	//
	template<typename T, std::size_t N>
	SPROUT_CONSTEXPR inline void swap(sprout::basic_string<T, N>& lhs, sprout::basic_string<T, N>& rhs) SPROUT_NOEXCEPT_EXPR(SPROUT_NOEXCEPT_EXPR(lhs.swap(rhs))) {
		lhs.swap(rhs);
	}

	//
	// rebind_fixed_size
	//
	template<typename T, std::size_t N>
	struct rebind_fixed_size<sprout::basic_string<T, N> > {
	public:
		template<typename sprout::fixed_container_traits<sprout::basic_string<T, N> >::size_type S>
		struct apply {
			public:
				typedef sprout::basic_string<T, S> type;
		};
	};

	namespace detail {
		template<typename T, typename Enable = void>
		struct is_basic_string_impl {
		public:
			typedef std::integral_constant<bool, false> type;
			SPROUT_STATIC_CONSTEXPR bool value = type::value;
		};
		template<typename T>
		struct is_basic_string_impl<
			T,
			typename std::enable_if<
				std::is_same<
					T,
					sprout::basic_string<typename T::value_type, T::static_size>
				>::value
			>::type
		> {
		public:
			typedef std::integral_constant<bool, true> type;
			SPROUT_STATIC_CONSTEXPR bool value = type::value;
		};
	}	// namespace detail
	//
	// is_basic_string
	//
	template<typename T>
	struct is_basic_string
		: public sprout::detail::is_basic_string_impl<T>
	{};

	namespace detail {
		template<typename T, typename Elem, typename Enable = void>
		struct is_string_of_impl {
		public:
			typedef std::integral_constant<bool, false> type;
			SPROUT_STATIC_CONSTEXPR bool value = type::value;
		};
		template<typename T, typename Elem>
		struct is_string_of_impl<
			T,
			typename std::enable_if<
				std::is_same<
					T,
					sprout::basic_string<Elem, T::static_size>
				>::value
			>::type
		> {
		public:
			typedef std::integral_constant<bool, true> type;
			SPROUT_STATIC_CONSTEXPR bool value = type::value;
		};
	}	// namespace detail
	//
	// is_string_of
	//
	template<typename T, typename Elem>
	struct is_string_of
		: public sprout::detail::is_string_of_impl<T, Elem>
	{};

	//
	// is_string
	//
	template<typename T>
	struct is_string
		: public sprout::is_string_of<T, char>
	{};
	//
	// is_wstring
	//
	template<typename T>
	struct is_wstring
		: public sprout::is_string_of<T, wchar_t>
	{};
	//
	// is_u16string
	//
	template<typename T>
	struct is_u16string
		: public sprout::is_string_of<T, char16_t>
	{};
	//
	// is_u32string
	//
	template<typename T>
	struct is_u32string
		: public sprout::is_string_of<T, char32_t>
	{};

	namespace detail {
		template<typename T, std::size_t N, std::ptrdiff_t...Indexes>
		SPROUT_CONSTEXPR inline sprout::basic_string<T, N - 1> to_string_impl(
			T const(& arr)[N],
			sprout::index_tuple<Indexes...>
			)
		{
			return sprout::basic_string<T, N - 1>{arr[Indexes]...};
		}
	}	// namespace detail
	//
	// to_string
	//
	template<typename T, std::size_t N>
	SPROUT_CONSTEXPR inline sprout::basic_string<T, N - 1> to_string(T const(& arr)[N]) {
		return sprout::detail::to_string_impl(arr, typename sprout::index_range<0, N - 1>::type());
	}

	template<typename T, std::size_t N>
	SPROUT_CONSTEXPR inline typename sprout::fixed::result_of::push_back<sprout::basic_string<T, N>, T>::type operator+(
		sprout::basic_string<T, N> const& lhs,
		T const& rhs
		)
	{
		return sprout::fixed::push_back(lhs, rhs);
	}
	template<typename T, std::size_t N>
	SPROUT_CONSTEXPR inline typename sprout::fixed::result_of::push_front<sprout::basic_string<T, N>, T>::type operator+(
		T const& lhs,
		sprout::basic_string<T, N> const& rhs
		)
	{
		return sprout::fixed::push_front(rhs, lhs);
	}
	template<typename T, std::size_t N, std::size_t N2>
	SPROUT_CONSTEXPR inline typename sprout::fixed::result_of::join_back<
			sprout::basic_string<T, N>,
			sprout::basic_string<T, N2 - 1>
	>::type operator+(
		sprout::basic_string<T, N> const& lhs,
		T const (& rhs)[N2]
		)
	{
		return sprout::fixed::join_back(lhs, sprout::to_string(rhs));
	}
	template<typename T, std::size_t N, std::size_t N2>
	SPROUT_CONSTEXPR inline typename sprout::fixed::result_of::join_front<
		sprout::basic_string<T, N>,
		sprout::basic_string<T, N2 - 1>
	>::type operator+(
		T const (& lhs)[N2],
		sprout::basic_string<T, N> const& rhs
		)
	{
		return sprout::fixed::join_front(rhs, sprout::to_string(lhs));
	}
	template<typename T, std::size_t N, std::size_t N2>
	SPROUT_CONSTEXPR inline typename sprout::fixed::result_of::join_back<
		sprout::basic_string<T, N>,
		sprout::basic_string<T, N2>
	>::type operator+(
		sprout::basic_string<T, N> const& lhs,
		sprout::basic_string<T, N2> const& rhs
		)
	{
		return sprout::fixed::join_back(lhs, rhs);
	}

	template<typename T, typename String, std::size_t N2>
	SPROUT_CONSTEXPR inline std::enable_if<
		sprout::is_string_of<
			typename sprout::fixed_container_traits<sprout::sub_array<String> >::internal_type,
			T
		>::value,
		typename sprout::fit::result_of::realine<
			typename sprout::fixed::result_of::join_back<
				sprout::sub_array<String>,
				sprout::basic_string<T, N2 - 1>
			>::type
		>::type
	>::type operator+(
		sprout::sub_array<String> const& lhs,
		T const (& rhs)[N2]
		)
	{
		return sprout::fit::realine(sprout::fixed::join_back(lhs, sprout::to_string(rhs)));
	}
	template<typename T, typename String, std::size_t N2>
	SPROUT_CONSTEXPR inline std::enable_if<
		sprout::is_string_of<
			typename sprout::fixed_container_traits<sprout::sub_array<String> >::internal_type,
			T
		>::value,
		typename sprout::fit::result_of::realine<
			typename sprout::fixed::result_of::join_front<
				sprout::sub_array<String>,
				sprout::basic_string<T, N2 - 1>
			>::type
		>::type
	>::type operator+(
		T const (& lhs)[N2],
		sprout::sub_array<String> const& rhs
		)
	{
		return sprout::fit::realine(sprout::fixed::join_front(rhs, sprout::to_string(lhs)));
	}
	template<typename String, std::size_t String2>
	SPROUT_CONSTEXPR inline std::enable_if<
		std::is_same<
			typename sprout::fixed_container_traits<sprout::sub_array<String> >::internal_type::value_type,
			typename sprout::fixed_container_traits<sprout::sub_array<String> >::internal_type::value_type
		>::value
			&& sprout::is_basic_string<typename sprout::fixed_container_traits<sprout::sub_array<String> >::internal_type>::value
			&& sprout::is_basic_string<typename sprout::fixed_container_traits<sprout::sub_array<String2> >::internal_type>::value
			,
		typename sprout::fit::result_of::realine<
			typename sprout::fixed::result_of::join_back<
				sprout::sub_array<String>,
				sprout::sub_array<String2>
			>::type
		>::type
	>::type operator+(
		sprout::sub_array<String> const& lhs,
		sprout::sub_array<String2> const& rhs
		)
	{
		return sprout::fit::realine(sprout::fixed::join_back(lhs, rhs));
	}

	template<typename T, std::size_t N, typename Traits>
	inline std::basic_ostream<T, Traits>& operator<<(std::basic_ostream<T, Traits>& lhs, sprout::basic_string<T, N> const& rhs) {
		return lhs << rhs.c_str();
	}

#if 0
	//
	// string
	//
	template<std::size_t N>
	using string = sprout::basic_string<char, N>;
	//
	// wstring
	//
	template<std::size_t N>
	using wstring = sprout::basic_string<wchar_t, N>;
	//
	// u16string
	//
	template<std::size_t N>
	using u16string = sprout::basic_string<char16_t, N>;
	//
	// u32string
	//
	template<std::size_t N>
	using u32string = sprout::basic_string<char32_t, N>;
#endif	// #if 0

	//
	// string_t
	//
	template<std::size_t N>
	struct string_t {
	public:
		typedef sprout::basic_string<char, N> type;
	};
	//
	// wstring_t
	//
	template<std::size_t N>
	struct wstring_t {
	public:
		typedef sprout::basic_string<wchar_t, N> type;
	};
	//
	// u16string_t
	//
	template<std::size_t N>
	struct u16string_t {
	public:
		typedef sprout::basic_string<char16_t, N> type;
	};
	//
	// u32string_t
	//
	template<std::size_t N>
	struct u32string_t {
	public:
		typedef sprout::basic_string<char32_t, N> type;
	};
}	// namespace sprout

namespace std {
	//
	// tuple_size
	//
	template<typename T, std::size_t N>
	struct tuple_size<sprout::basic_string<T, N> > {
	public:
		typedef std::integral_constant<std::size_t, N> type;
		SPROUT_STATIC_CONSTEXPR std::size_t value = type::value;
	};

	//
	// tuple_element
	//
	template<std::size_t I, typename T, std::size_t N>
	struct tuple_element<I, sprout::basic_string<T, N> > {
	public:
		static_assert(I < N, "tuple_element<>: index out of range");
		typedef T type;
	};

	//
	// get
	//
	template<std::size_t I, typename T, std::size_t N>
	T& get(sprout::basic_string<T, N>& arr) SPROUT_NOEXCEPT {
		static_assert(I < N, "tuple_element<>: index out of range");
		return arr[I];
	}
	template<std::size_t I, typename T, std::size_t N>
	SPROUT_CONSTEXPR T const& get(sprout::basic_string<T, N> const& arr) SPROUT_NOEXCEPT {
		static_assert(I < N, "tuple_element<>: index out of range");
		return arr[I];
	}
	template<std::size_t I, typename T, std::size_t N>
	T&& get(sprout::basic_string<T, N>&& arr) SPROUT_NOEXCEPT {
		return std::move(get<I>(arr));
	}
}	// namespace std

#endif	// #ifndef SPROUT_STRING_HPP