regex_match.hpp File Reference

std::regex-compatibility layer, part 2/3: sub_match, match_results, the shared runner, and the regex_search / regex_match / regex_replace free functions. Included via the std/regex.hpp umbrella. More...

#include "regex_core.hpp"
#include <algorithm>
#include <iterator>
#include <ostream>

Include dependency graph for regex_match.hpp:

Classes
class	real::compat::sub_match< BidirIt >
	A matched sub-expression: a [first, second) range into the searched sequence. More...
class	real::compat::match_results< BidirIt, Alloc >
	The result of a match: group sub-matches plus the prefix and suffix. More...

Namespaces
namespace	real
	REAL's public API: real::regex, real::static_regex, real::flags and the match/iterator types built on them.
namespace	real::compat
	Drop-in replacements for <regex>: basic_regex, regex_search / regex_match / regex_replace and the iterator types – backed by REAL's linear-time engine where it can serve the pattern, and by std::regex otherwise, never by a silent divergence.
namespace	real::compat::detail
	Backend routing and format expansion for the compat layer. Not a stable API.

Typedefs
using	real::compat::ssub_match = sub_match< std::string::const_iterator >
	Sub-match over a std::string.
using	real::compat::csub_match = sub_match< const char * >
	Sub-match over a C string.
using	real::compat::wssub_match = sub_match< std::wstring::const_iterator >
	Sub-match over a std::wstring.
using	real::compat::wcsub_match = sub_match< const wchar_t * >
	Sub-match over a wide C string.
using	real::compat::smatch = match_results< std::string::const_iterator >
	Match over a std::string.
using	real::compat::cmatch = match_results< const char * >
	Match over a C string.
using	real::compat::wsmatch = match_results< std::wstring::const_iterator >
	Match over a std::wstring (always std).
using	real::compat::wcmatch = match_results< const wchar_t * >
	Match over a wide C string (always std).

Functions
template<typename BidirIt >
bool	real::compat::operator== (const sub_match< BidirIt > &lhs, const typename sub_match< BidirIt >::string_type &rhs)
	Equality against an owned string (the common std::sub_match comparison).
template<typename BidirIt >
bool	real::compat::operator== (const typename sub_match< BidirIt >::string_type &lhs, const sub_match< BidirIt > &rhs)
	Equality with the string on the left, for std::sub_match parity.
template<typename BidirIt >
bool	real::compat::operator== (const sub_match< BidirIt > &lhs, const sub_match< BidirIt > &rhs)
	Equality between two sub-matches, by matched text.
template<typename CharT , typename Traits , typename BidirIt >
std::basic_ostream< CharT, Traits > &	real::compat::operator<< (std::basic_ostream< CharT, Traits > &os, const sub_match< BidirIt > &m)
	Stream the matched text (std::sub_match parity). Found by ADL from std::cout << m[1]. Writes m.str() — empty when the group did not participate.
bool	real::compat::detail::real_honors (regex_constants::match_flag_type mf) noexcept
	Whether real can honor the requested match flags, so the operation may stay on it.
bool	real::compat::detail::replace_stays_real (regex_constants::match_flag_type f) noexcept
	Whether regex_replace can run its substitution on real. The real expander honors only format_first_only / format_no_copy (plus the match_any hint); ANY other bit — a constraining match flag (not_bol, continuous, …) OR format_sed (POSIX syntax) — would be silently ignored by the ECMAScript expander, so the whole substitution routes to std. (This subsumes the explicit format_sed screen; $0 stays content-based.)
std::regex_constants::match_flag_type	real::compat::detail::to_std_match (regex_constants::match_flag_type f) noexcept
	Maps compat match/format flags to std::regex_constants — exhaustively.
template<typename BidirIt , typename CharT , typename Traits >
bool	real::compat::detail::run (BidirIt first, BidirIt last, match_results< BidirIt > &m, const basic_regex< CharT, Traits > &re, bool anchored, regex_constants::match_flag_type mf)
	Runs the active backend over [first, last) and fills m. anchored selects whole-sequence match (regex_match) vs leftmost search (regex_search). A constraining match flag (see real_honors) routes to std even for a real-backed pattern.
template<typename BidirIt , typename CharT , typename Traits >
bool	real::compat::detail::run_nocapture (BidirIt first, BidirIt last, const basic_regex< CharT, Traits > &re, bool anchored, regex_constants::match_flag_type mf)
	Backend run without capturing (no match_results to fill).
template<typename BidirIt , typename CharT , typename Traits >
bool	real::compat::regex_search (BidirIt first, BidirIt last, match_results< BidirIt > &m, const basic_regex< CharT, Traits > &re, regex_constants::match_flag_type flags=regex_constants::match_default)
	Leftmost search of [first, last) (Python re.search / std::regex_search).
template<typename CharT , typename Traits >
bool	real::compat::regex_search (const std::basic_string< CharT > &s, match_results< typename std::basic_string< CharT >::const_iterator > &m, const basic_regex< CharT, Traits > &re, regex_constants::match_flag_type flags=regex_constants::match_default)
	Leftmost search over a std::basic_string; forwards to the primary overload.
template<typename CharT , typename Traits >
bool	real::compat::regex_search (const CharT *s, match_results< const CharT * > &m, const basic_regex< CharT, Traits > &re, regex_constants::match_flag_type flags=regex_constants::match_default)
	Leftmost search over a C string; forwards to the primary overload.
template<typename BidirIt , typename CharT , typename Traits >
bool	real::compat::regex_search (BidirIt first, BidirIt last, const basic_regex< CharT, Traits > &re, regex_constants::match_flag_type flags=regex_constants::match_default)
	Leftmost search over [first, last), without capturing; forwards to the primary overload.
template<typename CharT , typename Traits >
bool	real::compat::regex_search (const std::basic_string< CharT > &s, const basic_regex< CharT, Traits > &re, regex_constants::match_flag_type flags=regex_constants::match_default)
	Leftmost search over a std::basic_string, without capturing; forwards to the primary overload.
template<typename CharT , typename Traits >
bool	real::compat::regex_search (const CharT *s, const basic_regex< CharT, Traits > &re, regex_constants::match_flag_type flags=regex_constants::match_default)
	Leftmost search over a C string, without capturing; forwards to the primary overload.
template<typename BidirIt , typename CharT , typename Traits >
bool	real::compat::regex_match (BidirIt first, BidirIt last, match_results< BidirIt > &m, const basic_regex< CharT, Traits > &re, regex_constants::match_flag_type flags=regex_constants::match_default)
	Match of the entire [first, last) (Python re.fullmatch / std::regex_match).
template<typename CharT , typename Traits >
bool	real::compat::regex_match (const std::basic_string< CharT > &s, match_results< typename std::basic_string< CharT >::const_iterator > &m, const basic_regex< CharT, Traits > &re, regex_constants::match_flag_type flags=regex_constants::match_default)
	Whole-sequence match over a std::basic_string; forwards to the primary overload.
template<typename CharT , typename Traits >
bool	real::compat::regex_match (const CharT *s, match_results< const CharT * > &m, const basic_regex< CharT, Traits > &re, regex_constants::match_flag_type flags=regex_constants::match_default)
	Whole-sequence match over a C string; forwards to the primary overload.
template<typename BidirIt , typename CharT , typename Traits >
bool	real::compat::regex_match (BidirIt first, BidirIt last, const basic_regex< CharT, Traits > &re, regex_constants::match_flag_type flags=regex_constants::match_default)
	Whole-sequence match over [first, last), without capturing; forwards to the primary overload.
template<typename CharT , typename Traits >
bool	real::compat::regex_match (const std::basic_string< CharT > &s, const basic_regex< CharT, Traits > &re, regex_constants::match_flag_type flags=regex_constants::match_default)
	Whole-sequence match over a std::basic_string, without capturing; forwards to the primary overload.
template<typename CharT , typename Traits >
bool	real::compat::regex_match (const CharT *s, const basic_regex< CharT, Traits > &re, regex_constants::match_flag_type flags=regex_constants::match_default)
	Whole-sequence match over a C string, without capturing; forwards to the primary overload.
template<typename CharT , typename Traits >
bool	real::compat::regex_search (const std::basic_string< CharT > &&, match_results< typename std::basic_string< CharT >::const_iterator > &, const basic_regex< CharT, Traits > &)=delete
template<typename CharT , typename Traits >
bool	real::compat::regex_search (const std::basic_string< CharT > &&, match_results< typename std::basic_string< CharT >::const_iterator > &, const basic_regex< CharT, Traits > &, regex_constants::match_flag_type)=delete
template<typename CharT , typename Traits >
bool	real::compat::regex_match (const std::basic_string< CharT > &&, match_results< typename std::basic_string< CharT >::const_iterator > &, const basic_regex< CharT, Traits > &)=delete
template<typename CharT , typename Traits >
bool	real::compat::regex_match (const std::basic_string< CharT > &&, match_results< typename std::basic_string< CharT >::const_iterator > &, const basic_regex< CharT, Traits > &, regex_constants::match_flag_type)=delete
template<typename RealMatch >
void	real::compat::detail::expand_format (std::string &out, const RealMatch &m, std::string_view fmt, std::string_view text, std::size_t prefix_start)
	Appends one match's ECMAScript-expanded replacement.
template<typename CharT , typename Traits >
std::basic_string< CharT >	real::compat::regex_replace (const std::basic_string< CharT > &s, const basic_regex< CharT, Traits > &re, const std::basic_string< CharT > &fmt, regex_constants::match_flag_type flags=regex_constants::format_default)
	Replaces matches of re in s with the ECMAScript-formatted fmt.
template<typename CharT , typename Traits >
std::basic_string< CharT >	real::compat::regex_replace (const std::basic_string< CharT > &s, const basic_regex< CharT, Traits > &re, const CharT *fmt, regex_constants::match_flag_type flags=regex_constants::format_default)
	regex_replace overload for a C-string format.
template<typename OutputIt , typename BidirIt , typename CharT , typename Traits >
OutputIt	real::compat::regex_replace (OutputIt out, BidirIt first, BidirIt last, const basic_regex< CharT, Traits > &re, const std::basic_string< CharT > &fmt, regex_constants::match_flag_type flags=regex_constants::format_default)
	regex_replace writing to an output iterator (std parity).
template<typename OutputIt , typename BidirIt , typename CharT , typename Traits >
OutputIt	real::compat::regex_replace (OutputIt out, BidirIt first, BidirIt last, const basic_regex< CharT, Traits > &re, const CharT *fmt, regex_constants::match_flag_type flags=regex_constants::format_default)
	regex_replace to an output iterator with a C-string format (std parity). Mirrors the string+const CharT* overload — a bare literal "+" decays to const CharT*.

Detailed Description

std::regex-compatibility layer, part 2/3: sub_match, match_results, the shared runner, and the regex_search / regex_match / regex_replace free functions. Included via the std/regex.hpp umbrella.