sub_match.hpp 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388
  1. /*
  2. *
  3. * Copyright (c) 1998-2002
  4. * John Maddock
  5. *
  6. * Use, modification and distribution are subject to the
  7. * Boost Software License, Version 1.0. (See accompanying file
  8. * LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  9. *
  10. */
  11. /*
  12. * LOCATION: see http://www.boost.org for most recent version.
  13. * FILE sub_match.cpp
  14. * VERSION see <boost/version.hpp>
  15. * DESCRIPTION: Declares template class sub_match.
  16. */
  17. #ifndef BOOST_REGEX_V5_SUB_MATCH_HPP
  18. #define BOOST_REGEX_V5_SUB_MATCH_HPP
  19. #ifndef BOOST_REGEX_AS_MODULE
  20. #include <iterator>
  21. #include <utility>
  22. #endif
  23. namespace boost{
  24. BOOST_REGEX_MODULE_EXPORT template <class BidiIterator>
  25. struct sub_match : public std::pair<BidiIterator, BidiIterator>
  26. {
  27. typedef typename std::iterator_traits<BidiIterator>::value_type value_type;
  28. typedef typename std::iterator_traits<BidiIterator>::difference_type difference_type;
  29. typedef BidiIterator iterator_type;
  30. typedef BidiIterator iterator;
  31. typedef BidiIterator const_iterator;
  32. bool matched;
  33. sub_match() : std::pair<BidiIterator, BidiIterator>(), matched(false) {}
  34. sub_match(BidiIterator i) : std::pair<BidiIterator, BidiIterator>(i, i), matched(false) {}
  35. template <class T, class A>
  36. operator std::basic_string<value_type, T, A> ()const
  37. {
  38. return matched ? std::basic_string<value_type, T, A>(this->first, this->second) : std::basic_string<value_type, T, A>();
  39. }
  40. difference_type length()const
  41. {
  42. difference_type n = matched ? std::distance((BidiIterator)this->first, (BidiIterator)this->second) : 0;
  43. return n;
  44. }
  45. std::basic_string<value_type> str()const
  46. {
  47. std::basic_string<value_type> result;
  48. if(matched)
  49. {
  50. std::size_t len = std::distance((BidiIterator)this->first, (BidiIterator)this->second);
  51. result.reserve(len);
  52. BidiIterator i = this->first;
  53. while(i != this->second)
  54. {
  55. result.append(1, *i);
  56. ++i;
  57. }
  58. }
  59. return result;
  60. }
  61. int compare(const sub_match& s)const
  62. {
  63. if(matched != s.matched)
  64. return static_cast<int>(matched) - static_cast<int>(s.matched);
  65. return str().compare(s.str());
  66. }
  67. int compare(const std::basic_string<value_type>& s)const
  68. {
  69. return str().compare(s);
  70. }
  71. int compare(const value_type* p)const
  72. {
  73. return str().compare(p);
  74. }
  75. bool operator==(const sub_match& that)const
  76. { return compare(that) == 0; }
  77. bool operator !=(const sub_match& that)const
  78. { return compare(that) != 0; }
  79. bool operator<(const sub_match& that)const
  80. { return compare(that) < 0; }
  81. bool operator>(const sub_match& that)const
  82. { return compare(that) > 0; }
  83. bool operator<=(const sub_match& that)const
  84. { return compare(that) <= 0; }
  85. bool operator>=(const sub_match& that)const
  86. { return compare(that) >= 0; }
  87. #ifdef BOOST_REGEX_MATCH_EXTRA
  88. typedef std::vector<sub_match<BidiIterator> > capture_sequence_type;
  89. const capture_sequence_type& captures()const
  90. {
  91. if(!m_captures)
  92. m_captures.reset(new capture_sequence_type());
  93. return *m_captures;
  94. }
  95. //
  96. // Private implementation API: DO NOT USE!
  97. //
  98. capture_sequence_type& get_captures()const
  99. {
  100. if(!m_captures)
  101. m_captures.reset(new capture_sequence_type());
  102. return *m_captures;
  103. }
  104. private:
  105. mutable std::unique_ptr<capture_sequence_type> m_captures;
  106. public:
  107. #endif
  108. sub_match(const sub_match& that, bool
  109. #ifdef BOOST_REGEX_MATCH_EXTRA
  110. deep_copy
  111. #endif
  112. = true
  113. )
  114. : std::pair<BidiIterator, BidiIterator>(that),
  115. matched(that.matched)
  116. {
  117. #ifdef BOOST_REGEX_MATCH_EXTRA
  118. if(that.m_captures)
  119. if(deep_copy)
  120. m_captures.reset(new capture_sequence_type(*(that.m_captures)));
  121. #endif
  122. }
  123. sub_match& operator=(const sub_match& that)
  124. {
  125. this->first = that.first;
  126. this->second = that.second;
  127. matched = that.matched;
  128. #ifdef BOOST_REGEX_MATCH_EXTRA
  129. if(that.m_captures)
  130. get_captures() = *(that.m_captures);
  131. #endif
  132. return *this;
  133. }
  134. //
  135. // Make this type a range, for both Boost.Range, and C++11:
  136. //
  137. BidiIterator begin()const { return this->first; }
  138. BidiIterator end()const { return this->second; }
  139. };
  140. BOOST_REGEX_MODULE_EXPORT typedef sub_match<const char*> csub_match;
  141. BOOST_REGEX_MODULE_EXPORT typedef sub_match<std::string::const_iterator> ssub_match;
  142. #ifndef BOOST_NO_WREGEX
  143. BOOST_REGEX_MODULE_EXPORT typedef sub_match<const wchar_t*> wcsub_match;
  144. BOOST_REGEX_MODULE_EXPORT typedef sub_match<std::wstring::const_iterator> wssub_match;
  145. #endif
  146. // comparison to std::basic_string<> part 1:
  147. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator, class traits, class Allocator>
  148. inline bool operator == (const std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type, traits, Allocator>& s,
  149. const sub_match<RandomAccessIterator>& m)
  150. { return s.compare(m.str()) == 0; }
  151. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator, class traits, class Allocator>
  152. inline bool operator != (const std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type, traits, Allocator>& s,
  153. const sub_match<RandomAccessIterator>& m)
  154. { return s.compare(m.str()) != 0; }
  155. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator, class traits, class Allocator>
  156. inline bool operator < (const std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type, traits, Allocator>& s,
  157. const sub_match<RandomAccessIterator>& m)
  158. { return s.compare(m.str()) < 0; }
  159. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator, class traits, class Allocator>
  160. inline bool operator <= (const std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type, traits, Allocator>& s,
  161. const sub_match<RandomAccessIterator>& m)
  162. { return s.compare(m.str()) <= 0; }
  163. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator, class traits, class Allocator>
  164. inline bool operator >= (const std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type, traits, Allocator>& s,
  165. const sub_match<RandomAccessIterator>& m)
  166. { return s.compare(m.str()) >= 0; }
  167. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator, class traits, class Allocator>
  168. inline bool operator > (const std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type, traits, Allocator>& s,
  169. const sub_match<RandomAccessIterator>& m)
  170. { return s.compare(m.str()) > 0; }
  171. // comparison to std::basic_string<> part 2:
  172. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator, class traits, class Allocator>
  173. inline bool operator == (const sub_match<RandomAccessIterator>& m,
  174. const std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type, traits, Allocator>& s)
  175. { return m.str().compare(s) == 0; }
  176. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator, class traits, class Allocator>
  177. inline bool operator != (const sub_match<RandomAccessIterator>& m,
  178. const std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type, traits, Allocator>& s)
  179. { return m.str().compare(s) != 0; }
  180. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator, class traits, class Allocator>
  181. inline bool operator < (const sub_match<RandomAccessIterator>& m,
  182. const std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type, traits, Allocator>& s)
  183. { return m.str().compare(s) < 0; }
  184. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator, class traits, class Allocator>
  185. inline bool operator > (const sub_match<RandomAccessIterator>& m,
  186. const std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type, traits, Allocator>& s)
  187. { return m.str().compare(s) > 0; }
  188. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator, class traits, class Allocator>
  189. inline bool operator <= (const sub_match<RandomAccessIterator>& m,
  190. const std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type, traits, Allocator>& s)
  191. { return m.str().compare(s) <= 0; }
  192. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator, class traits, class Allocator>
  193. inline bool operator >= (const sub_match<RandomAccessIterator>& m,
  194. const std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type, traits, Allocator>& s)
  195. { return m.str().compare(s) >= 0; }
  196. // comparison to const charT* part 1:
  197. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  198. inline bool operator == (const sub_match<RandomAccessIterator>& m,
  199. typename std::iterator_traits<RandomAccessIterator>::value_type const* s)
  200. { return m.str().compare(s) == 0; }
  201. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  202. inline bool operator != (const sub_match<RandomAccessIterator>& m,
  203. typename std::iterator_traits<RandomAccessIterator>::value_type const* s)
  204. { return m.str().compare(s) != 0; }
  205. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  206. inline bool operator > (const sub_match<RandomAccessIterator>& m,
  207. typename std::iterator_traits<RandomAccessIterator>::value_type const* s)
  208. { return m.str().compare(s) > 0; }
  209. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  210. inline bool operator < (const sub_match<RandomAccessIterator>& m,
  211. typename std::iterator_traits<RandomAccessIterator>::value_type const* s)
  212. { return m.str().compare(s) < 0; }
  213. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  214. inline bool operator >= (const sub_match<RandomAccessIterator>& m,
  215. typename std::iterator_traits<RandomAccessIterator>::value_type const* s)
  216. { return m.str().compare(s) >= 0; }
  217. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  218. inline bool operator <= (const sub_match<RandomAccessIterator>& m,
  219. typename std::iterator_traits<RandomAccessIterator>::value_type const* s)
  220. { return m.str().compare(s) <= 0; }
  221. // comparison to const charT* part 2:
  222. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  223. inline bool operator == (typename std::iterator_traits<RandomAccessIterator>::value_type const* s,
  224. const sub_match<RandomAccessIterator>& m)
  225. { return m.str().compare(s) == 0; }
  226. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  227. inline bool operator != (typename std::iterator_traits<RandomAccessIterator>::value_type const* s,
  228. const sub_match<RandomAccessIterator>& m)
  229. { return m.str().compare(s) != 0; }
  230. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  231. inline bool operator < (typename std::iterator_traits<RandomAccessIterator>::value_type const* s,
  232. const sub_match<RandomAccessIterator>& m)
  233. { return m.str().compare(s) > 0; }
  234. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  235. inline bool operator > (typename std::iterator_traits<RandomAccessIterator>::value_type const* s,
  236. const sub_match<RandomAccessIterator>& m)
  237. { return m.str().compare(s) < 0; }
  238. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  239. inline bool operator <= (typename std::iterator_traits<RandomAccessIterator>::value_type const* s,
  240. const sub_match<RandomAccessIterator>& m)
  241. { return m.str().compare(s) >= 0; }
  242. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  243. inline bool operator >= (typename std::iterator_traits<RandomAccessIterator>::value_type const* s,
  244. const sub_match<RandomAccessIterator>& m)
  245. { return m.str().compare(s) <= 0; }
  246. // comparison to const charT& part 1:
  247. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  248. inline bool operator == (const sub_match<RandomAccessIterator>& m,
  249. typename std::iterator_traits<RandomAccessIterator>::value_type const& s)
  250. { return m.str().compare(0, m.length(), &s, 1) == 0; }
  251. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  252. inline bool operator != (const sub_match<RandomAccessIterator>& m,
  253. typename std::iterator_traits<RandomAccessIterator>::value_type const& s)
  254. { return m.str().compare(0, m.length(), &s, 1) != 0; }
  255. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  256. inline bool operator > (const sub_match<RandomAccessIterator>& m,
  257. typename std::iterator_traits<RandomAccessIterator>::value_type const& s)
  258. { return m.str().compare(0, m.length(), &s, 1) > 0; }
  259. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  260. inline bool operator < (const sub_match<RandomAccessIterator>& m,
  261. typename std::iterator_traits<RandomAccessIterator>::value_type const& s)
  262. { return m.str().compare(0, m.length(), &s, 1) < 0; }
  263. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  264. inline bool operator >= (const sub_match<RandomAccessIterator>& m,
  265. typename std::iterator_traits<RandomAccessIterator>::value_type const& s)
  266. { return m.str().compare(0, m.length(), &s, 1) >= 0; }
  267. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  268. inline bool operator <= (const sub_match<RandomAccessIterator>& m,
  269. typename std::iterator_traits<RandomAccessIterator>::value_type const& s)
  270. { return m.str().compare(0, m.length(), &s, 1) <= 0; }
  271. // comparison to const charT* part 2:
  272. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  273. inline bool operator == (typename std::iterator_traits<RandomAccessIterator>::value_type const& s,
  274. const sub_match<RandomAccessIterator>& m)
  275. { return m.str().compare(0, m.length(), &s, 1) == 0; }
  276. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  277. inline bool operator != (typename std::iterator_traits<RandomAccessIterator>::value_type const& s,
  278. const sub_match<RandomAccessIterator>& m)
  279. { return m.str().compare(0, m.length(), &s, 1) != 0; }
  280. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  281. inline bool operator < (typename std::iterator_traits<RandomAccessIterator>::value_type const& s,
  282. const sub_match<RandomAccessIterator>& m)
  283. { return m.str().compare(0, m.length(), &s, 1) > 0; }
  284. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  285. inline bool operator > (typename std::iterator_traits<RandomAccessIterator>::value_type const& s,
  286. const sub_match<RandomAccessIterator>& m)
  287. { return m.str().compare(0, m.length(), &s, 1) < 0; }
  288. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  289. inline bool operator <= (typename std::iterator_traits<RandomAccessIterator>::value_type const& s,
  290. const sub_match<RandomAccessIterator>& m)
  291. { return m.str().compare(0, m.length(), &s, 1) >= 0; }
  292. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  293. inline bool operator >= (typename std::iterator_traits<RandomAccessIterator>::value_type const& s,
  294. const sub_match<RandomAccessIterator>& m)
  295. { return m.str().compare(0, m.length(), &s, 1) <= 0; }
  296. // addition operators:
  297. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator, class traits, class Allocator>
  298. inline std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type, traits, Allocator>
  299. operator + (const std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type, traits, Allocator>& s,
  300. const sub_match<RandomAccessIterator>& m)
  301. {
  302. std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type, traits, Allocator> result;
  303. result.reserve(s.size() + m.length() + 1);
  304. return result.append(s).append(m.first, m.second);
  305. }
  306. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator, class traits, class Allocator>
  307. inline std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type, traits, Allocator>
  308. operator + (const sub_match<RandomAccessIterator>& m,
  309. const std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type, traits, Allocator>& s)
  310. {
  311. std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type, traits, Allocator> result;
  312. result.reserve(s.size() + m.length() + 1);
  313. return result.append(m.first, m.second).append(s);
  314. }
  315. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  316. inline std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type>
  317. operator + (typename std::iterator_traits<RandomAccessIterator>::value_type const* s,
  318. const sub_match<RandomAccessIterator>& m)
  319. {
  320. std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type> result;
  321. result.reserve(std::char_traits<typename std::iterator_traits<RandomAccessIterator>::value_type>::length(s) + m.length() + 1);
  322. return result.append(s).append(m.first, m.second);
  323. }
  324. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  325. inline std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type>
  326. operator + (const sub_match<RandomAccessIterator>& m,
  327. typename std::iterator_traits<RandomAccessIterator>::value_type const * s)
  328. {
  329. std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type> result;
  330. result.reserve(std::char_traits<typename std::iterator_traits<RandomAccessIterator>::value_type>::length(s) + m.length() + 1);
  331. return result.append(m.first, m.second).append(s);
  332. }
  333. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  334. inline std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type>
  335. operator + (typename std::iterator_traits<RandomAccessIterator>::value_type const& s,
  336. const sub_match<RandomAccessIterator>& m)
  337. {
  338. std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type> result;
  339. result.reserve(m.length() + 2);
  340. return result.append(1, s).append(m.first, m.second);
  341. }
  342. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  343. inline std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type>
  344. operator + (const sub_match<RandomAccessIterator>& m,
  345. typename std::iterator_traits<RandomAccessIterator>::value_type const& s)
  346. {
  347. std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type> result;
  348. result.reserve(m.length() + 2);
  349. return result.append(m.first, m.second).append(1, s);
  350. }
  351. BOOST_REGEX_MODULE_EXPORT template <class RandomAccessIterator>
  352. inline std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type>
  353. operator + (const sub_match<RandomAccessIterator>& m1,
  354. const sub_match<RandomAccessIterator>& m2)
  355. {
  356. std::basic_string<typename std::iterator_traits<RandomAccessIterator>::value_type> result;
  357. result.reserve(m1.length() + m2.length() + 1);
  358. return result.append(m1.first, m1.second).append(m2.first, m2.second);
  359. }
  360. BOOST_REGEX_MODULE_EXPORT template <class charT, class traits, class RandomAccessIterator>
  361. std::basic_ostream<charT, traits>&
  362. operator << (std::basic_ostream<charT, traits>& os,
  363. const sub_match<RandomAccessIterator>& s)
  364. {
  365. return (os << s.str());
  366. }
  367. } // namespace boost
  368. #endif