basic_regex range constructor: Missing requirements for iterator types
Денис Захаров

Created on 2019-11-17.00:00:00 last changed 9 months ago


Date: 2019-11-30.00:00:00

[ 2019-11-30 Issue Prioritization ]

Priority to 3 after reflector discussion.

Date: 2019-11-17.00:00:00

This is description of a basic_regex range constructor from N4835, [re.regex.construct]:

template<class ForwardIterator>
  basic_regex(ForwardIterator first, ForwardIterator last,
              flag_type f = regex_constants::ECMAScript);

-17- Throws: regex_error if the sequence [first, last) is not a valid regular expression.

-18- Effects: Constructs an object of class basic_regex; the object's internal finite state machine is constructed from the regular expression contained in the sequence of characters [first, last), and interpreted according to the flags specified in f.

-19- Ensures: flags() returns f. mark_count() returns the number of marked sub-expressions within the expression.

It seems that there are no requirements about dereferenced iterator's element type, that, apparently, must be implicitly convertible to the basic_regex::value_type. For example, containers having range constructor satisfy a SequenceContainer requirements, where implicit converting to its elements is specified.

Date User Action Args
2019-11-30 13:47:36adminsetmessages: + msg10852
2019-11-17 00:00:00admincreate