// Copyright (C) 2006 Davis E. King (davis@dlib.net)
// License: Boost Software License See LICENSE.txt for the full license.
#undef DLIB_STRINg_ABSTRACT_
#ifdef DLIB_STRINg_ABSTRACT_
#include <string>
#include <iostream>
#include <vector>
#include "../error.h"
namespace dlib
{
// ----------------------------------------------------------------------------------------
class string_cast_error : public error
{
public:
string_cast_error():error(ECAST_TO_STRING) {}
};
template <
typename T,
typename charT,
typename traits,
typename alloc
>
const T string_cast (
const std::basic_string<charT,traits,alloc>& str
);
/*!
requires
- T is not a pointer type
ensures
- returns str converted to T
throws
- string_cast_error
This exception is thrown if string_cast() is unable to convert
str into a T. Also, string_cast_error::info == str
!*/
// ----------------------------------------------------------------------------------------
class string_assign
{
/*!
WHAT THIS OBJECT REPRESENTS
This is a simple tool which provides an alternative syntax for using
the string_cast() function. It can be understood by considering
the following example:
string_assign sa;
int val;
double dval;
val = sa = "1234"; // executes: val = string_cast<int>("1234");
dval = sa = "3.141"; // executes: val = string_cast<double>("3.141");
After executing, val will be equal to 1234 and dval will be 3.141.
Note that you can use string_assign to assign to any type which you could
use with string_cast(), except for std::basic_string, assigning to this
type is ambiguous for boring technical reasons. But there isn't much
point in using this tool to assign from one string to another so it doesn't
matter.
Additionally, note that there is a global instance of this object, dlib::sa.
So you never have to create a string_assign object yourself. Finally, this
object is totally stateless and threadsafe.
!*/
};
const string_assign sa = string_assign();
// ----------------------------------------------------------------------------------------
class cast_to_string_error : public error
{
public:
cast_to_string_error():error(ECAST_TO_STRING) {}
};
template <
typename T
>
const std::string cast_to_string (
const T& item
);
/*!
requires
- T is not a pointer type
ensures
- returns item converted to std::string
throws
- cast_to_string_error
This exception is thrown if cast_to_string() is unable to convert
item into a std::string.
!*/
template <
typename T
>
const std::wstring cast_to_wstring (
const T& item
);
/*!
requires
- T is not a pointer type
ensures
- returns item converted to std::wstring
throws
- cast_to_string_error
This exception is thrown if cast_to_string() is unable to convert
item into a std::string.
!*/
// ----------------------------------------------------------------------------------------
std::string pad_int_with_zeros (
int i,
unsigned long width = 6
);
/*!
ensures
- converts i into a string of at least width characters in length. If
necessary, the string will be padded with leading zeros to get
to width characters.
!*/
// ----------------------------------------------------------------------------------------
template <
typename charT,
typename traits,
typename alloc
>
const std::string narrow (
const std::basic_string<charT,traits,alloc>& str
);
/*!
ensures
- returns str as a std::string by converting every character in it to a char.
Note that any characters that do not have a mapping to type char will be
converted to a space.
!*/
// ----------------------------------------------------------------------------------------
template <
typename charT,
typename traits,
typename alloc
>
const std::basic_string<charT,traits,alloc> wrap_string (
const std::basic_string<charT,traits,alloc>& str,
const unsigned long first_pad = 0,
const unsigned long rest_pad = 0,
const unsigned long max_per_line = 79
);
/*!
requires
- first_pad < max_per_line
- rest_pad < max_per_line
- rest_pad >= first_pad
ensures
- returns a copy of str S such that:
- S is broken up into lines separated by the \n character.
- The first line starts with first_pad space characters.
- The second and all subsequent lines start with rest_pad space characters.
- The first line is no longer than max_per_line - (rest_pad-first_pad) characters.
- The second and all subsequent lines are no longer than max_per_line characters.
!*/
// ----------------------------------------------------------------------------------------
template <
typename traits
typename alloc
>
const std::basic_string<char,traits,alloc> tolower (
const std::basic_string<char,traits,alloc>& str
);
/*!
ensures
- returns a copy of str S such that:
- #S.size() == str.size()
- #S[i] == std::tolower(str[i])
!*/
// ----------------------------------------------------------------------------------------
template <
typename traits,
typename alloc
>
const std::basic_string<char,traits,alloc> toupper (
const std::basic_string<char,traits,alloc>& str
);
/*!
ensures
- returns a copy of str S such that:
- #S.size() == str.size()
- #S[i] == std::toupper(str[i])
!*/
// ----------------------------------------------------------------------------------------
template <
typename traits,
typename alloc
>
bool strings_equal_ignore_case (
const std::basic_string<char,traits,alloc>& str1,
const std::basic_string<char,traits,alloc>& str2
);
/*!
ensures
- returns tolower(str1) == tolower(str2)
!*/
// ----------------------------------------------------------------------------------------
template <
typename traits,
typename alloc
>
bool strings_equal_ignore_case (
const std::basic_string<char,traits,alloc>& str1,
const std::basic_string<char,traits,alloc>& str2,
unsigned long num
);
/*!
ensures
- returns tolower(str1.substr(0,num)) == tolower(str2.substr(0,num))
(i.e. only compares the first num characters)
!*/
// ----------------------------------------------------------------------------------------
template <
typename charT,
typename traits,
typename alloc
>
const std::basic_string<charT,traits,alloc> ltrim (
const std::basic_string<charT,traits,alloc>& str,
const std::basic_string<charT,traits,alloc>& trim_chars
);
/*!
ensures
- returns a copy of str with any leading trim_chars
from the left side of the string removed.
!*/
template <
typename charT,
typename traits,
typename alloc
>
const std::basic_string<charT,traits,alloc> ltrim (
const std::basic_string<charT,traits,alloc>& str,
const charT* trim_chars = _dT(charT," \t\r\n")
);
/*!
requires
- trim_chars == a valid null-terminated C string
ensures
- returns ltrim(str, std::basic_string<charT,traits,alloc>(trim_chars))
!*/
// ----------------------------------------------------------------------------------------
template <
typename charT,
typename traits,
typename alloc
>
const std::basic_string<charT,traits,alloc> rtrim (
const std::basic_string<charT,traits,alloc>& str,
const std::basic_string<charT,traits,alloc>& trim_chars
);
/*!
ensures
- returns a copy of str with any trailing trim_chars
from the right side of the string removed.
!*/
template <
typename charT,
typename traits,
typename alloc
>
const std::basic_string<charT,traits,alloc> rtrim (
const std::basic_string<charT,traits,alloc>& str,
const charT* trim_chars = _dT(charT," \t\r\n")
);
/*!
requires
- trim_chars == a valid null-terminated C string
ensures
- returns rtrim(str, std::basic_string<charT,traits,alloc>(trim_chars))
!*/
// ----------------------------------------------------------------------------------------
template <
typename charT,
typename traits,
typename alloc
>
const std::basic_string<charT,traits,alloc> trim (
const std::basic_string<charT,traits,alloc>& str,
const std::basic_string<charT,traits,alloc>& trim_chars
);
/*!
ensures
- returns a copy of str with any leading or trailing trim_chars
from the ends of the string removed.
!*/
template <
typename charT,
typename traits,
typename alloc
>
const std::basic_string<charT,traits,alloc> trim (
const std::basic_string<charT,traits,alloc>& str,
const charT* trim_chars = _dT(charT," \t\r\n")
);
/*!
requires
- trim_chars == a valid null-terminated C string
ensures
- returns trim(str, std::basic_string<charT,traits,alloc>(trim_chars))
!*/
// ----------------------------------------------------------------------------------------
template <
typename charT,
typename traits,
typename alloc
>
const std::basic_string<charT,traits,alloc> rpad (
const std::basic_string<charT,traits,alloc>& str,
long pad_length,
const std::basic_string<charT,traits,alloc>& pad_string
);
/*!
ensures
- if (pad_length <= str.size()) then
- returns str
- else
- let P be a string defined as follows:
- P.size() == pad_length - str.size()
- P == (pad_string + pad_string + ... + pad_string).substr(0,pad_length - str.size())
(i.e. P == a string with the above specified size that contains just
repitions of the pad_string)
- returns the string str + P
!*/
template <
typename charT,
typename traits,
typename alloc
>
const std::basic_string<charT,traits,alloc> rpad (
const std::basic_string<charT,traits,alloc>& str,
long pad_length,
const charT* pad_string = _dT(charT," ")
);
/*!
requires
- pad_string == a valid null-terminated C string
ensures
- returns rpad(str, pad_length, std::basic_string<charT,traits,alloc>(pad_string))
!*/
// ----------------------------------------------------------------------------------------
template <
typename charT,
typename traits,
typename alloc
>
const std::basic_string<charT,traits,alloc> lpad (
const std::basic_string<charT,traits,alloc>& str,
long pad_length,
const std::basic_string<charT,traits,alloc>& pad_string
);
/*!
ensures
- if (pad_length <= str.size()) then
- returns str
- else
- let P be a string defined as follows:
- P.size() == pad_length - str.size()
- P == (pad_string + pad_string + ... + pad_string).substr(0,pad_length - str.size())
(i.e. P == a string with the above specified size that contains just
repitions of the pad_string)
- returns the string P + str
!*/
template <
typename charT,
typename traits,
typename alloc
>
const std::basic_string<charT,traits,alloc> lpad (
const std::basic_string<charT,traits,alloc>& str,
long pad_length,
const charT* pad_string = _dT(charT," ")
);
/*!
requires
- pad_string == a valid null-terminated C string
ensures
- returns lpad(str, pad_length, std::basic_string<charT,traits,alloc>(pad_string))
!*/
// ----------------------------------------------------------------------------------------
template <
typename charT,
typename traits,
typename alloc
>
const std::basic_string<charT,traits,alloc> pad (
const std::basic_string<charT,traits,alloc>& str,
long pad_length,
const std::basic_string<charT,traits,alloc>& pad_string
);
/*!
ensures
- let str_size == static_cast<long>(str.size())
- returns rpad( lpad(str, (pad_length-str_size)/2 + str_size, pad_string),
pad_length,
pad_string);
!*/
template <
typename charT,
typename traits,
typename alloc
>
const std::basic_string<charT,traits,alloc> pad (
const std::basic_string<charT,traits,alloc>& str,
long pad_length,
const charT* pad_string = _dT(charT," ")
);
/*!
requires
- pad_string == a valid null-terminated C string
ensures
- returns pad(str, pad_length, std::basic_string<charT,traits,alloc>(pad_string))
!*/
// ----------------------------------------------------------------------------------------
template <
typename charT,
typename traits,
typename alloc
>
const std::basic_string<charT,traits,alloc> left_substr (
const std::basic_string<charT,traits,alloc>& str,
const std::basic_string<charT,traits,alloc>& delim
);
/*!
ensures
- let delim_pos = str.find_first_of(delim)
- returns str.substr(0,delim_pos)
!*/
template <
typename charT,
typename traits,
typename alloc
>
const std::basic_string<charT,traits,alloc> left_substr (
const std::basic_string<charT,traits,alloc>& str,
const charT* delim = _dT(charT," \n\r\t")
);
/*!
requires
- delim == a valid null-terminated C string
ensures
- returns left_substr(str, std::basic_string<charT,traits,alloc>(delim))
!*/
// ----------------------------------------------------------------------------------------
template <
typename charT,
typename traits,
typename alloc
>
const std::basic_string<charT,traits,alloc> right_substr (
const std::basic_string<charT,traits,alloc>& str,
const std::basic_string<charT,traits,alloc>& delim
);
/*!
ensures
- let delim_pos = str.find_last_of(delim)
- if (delim_pos == std::string::npos) then
- returns ""
- else
- returns str.substr(delim_pos+1)
!*/
template <
typename charT,
typename traits
typename alloc
>
const std::basic_string<charT,traits,alloc> right_substr (
const std::basic_string<charT,traits,alloc>& str,
const charT* delim = _dT(charT," \n\r\t")
);
/*!
requires
- delim == a valid null-terminated C string
ensures
- returns right_substr(str, std::basic_string<charT,traits,alloc>(delim))
!*/
// ----------------------------------------------------------------------------------------
template <
typename charT,
typename traits,
typename alloc
>
std::pair<std::basic_string<charT,traits,alloc>, std::basic_string<charT,traits,alloc> >
split_on_first (
const std::basic_string<charT,traits,alloc>& str,
const charT* delim = _dT(charT, " \n\r\t")
);
/*!
ensures
- This function splits string into two parts, the split is based on the first
occurrence of any character from delim.
- let delim_pos = str.find_first_of(delim)
- if (delim_pos == std::string::npos) then
- returns make_pair(str,"")
- else
- return make_pair(str.substr(0, delim_pos), str.substr(delim_pos+1));
!*/
template <
typename charT,
typename traits,
typename alloc
>
std::pair<std::basic_string<charT,traits,alloc>, std::basic_string<charT,traits,alloc> >
split_on_first (
const std::basic_string<charT,traits,alloc>& str,
const std::basic_string<charT,traits,alloc>& delim
);
/*!
requires
- delim == a valid null-terminated C string
ensures
- returns split_on_first(str, delim.c_str())
!*/
// ----------------------------------------------------------------------------------------
template <
typename charT,
typename traits,
typename alloc
>
std::pair<std::basic_string<charT,traits,alloc>, std::basic_string<charT,traits,alloc> >
split_on_last (
const std::basic_string<charT,traits,alloc>& str,
const charT* delim = _dT(charT, " \n\r\t")
);
/*!
ensures
- This function splits string into two parts, the split is based on the last
occurrence of any character from delim.
- let delim_pos = str.find_last_of(delim)
- if (delim_pos == std::string::npos) then
- returns make_pair(str,"")
- else
- return make_pair(str.substr(0, delim_pos), str.substr(delim_pos+1));
!*/
template <
typename charT,
typename traits,
typename alloc
>
std::pair<std::basic_string<charT,traits,alloc>, std::basic_string<charT,traits,alloc> >
split_on_last (
const std::basic_string<charT,traits,alloc>& str,
const std::basic_string<charT,traits,alloc>& delim
);
/*!
requires
- delim == a valid null-terminated C string
ensures
- returns split_on_last(str, delim.c_str())
!*/
// ----------------------------------------------------------------------------------------
template <
typename charT,
typename traits,
typename alloc
>
const std::vector<std::basic_string<charT,traits,alloc> > split (
const std::basic_string<charT,traits,alloc>& str,
const std::basic_string<charT,traits,alloc>& delim
);
/*!
ensures
- Breaks the given string str into a sequence of substrings delimited
by characters in delim and returns the results.
- returns a vector V such that:
- V.size() == the number of substrings found in str.
- for all i: V[i] == The ith substring. Note that it will not contain
any delimiter characters (i.e. characters in delim). It will also
never be an empty string.
- V contains the substrings in the order in which they appear in str.
That is, V[0] contains the first substring, V[1] the second, and
so on.
!*/
template <
typename charT,
typename traits,
typename alloc
>
const std::vector<std::basic_string<charT,traits,alloc> > split (
const std::basic_string<charT,traits,alloc>& str,
const charT* delim = _dT(charT," \n\r\t")
);
/*!
requires
- trim_chars == a valid null-terminated C string
ensures
- returns split(str, std::basic_string<charT,traits,alloc>(delim))
!*/
// ----------------------------------------------------------------------------------------
}
#endif // DLIB_STRINg_ABSTRACT_