René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Question about adjacent empty matches in regular expressions","articleBody":"# Documentation\r\n\r\nThe Python [documentation](https://docs.python.org/3/library/re.html#re.sub) for re.sub() states:\r\n\r\n\u003e Empty matches for the pattern are replaced only when not adjacent to a previous empty match.\r\n\r\nHowever, after some testing, I have been unable to construct a regular expression pattern that produces adjacent empty matches. This leads to the following questions:\r\n\r\nIs it actually possible to create a regular expression pattern that results in adjacent empty matches in Python's re module?\r\nIf not, should we consider updating the documentation to avoid potential confusion among developers?\r\n\r\n## My Investigation\r\n\r\nI've tried various patterns that might theoretically produce adjacent empty matches, such as:\r\n\r\n```python\r\nimport re\r\n\r\ndef find_all_matches(pattern, string):\r\n    return [m.start() for m in re.finditer(pattern, string)]\r\n\r\ntest_string = \"abcd\"\r\npatterns = [\r\n    r'\\b|\\b',  # Word boundaries\r\n    r'^|$',    # Start or end of string\r\n    r'(?=.)|(?\u003c=.)',  # Positive lookahead or lookbehind\r\n    r'.*?',    # Non-greedy any character\r\n]\r\n\r\nfor pattern in patterns:\r\n    matches = find_all_matches(pattern, test_string)\r\n    print(f\"Pattern {pattern}: {matches}\")\r\n```\r\n\r\nNone of these patterns produce adjacent empty matches. The regex engine seems to always move forward after finding a match, even an empty one.\r\n\r\n## Request for Clarification\r\n\r\nThis issue sincerely requests clarification on this matter:\r\n\r\n1. If adjacent empty matches are indeed possible as the documentation suggests, could you provide some examples that demonstrate this behavior? \r\n\r\n2. Are there specific scenarios or edge cases where adjacent empty matches can occur?\r\n\r\n3. If possible, could you share a minimal working example that shows how `re.sub()` handles adjacent empty matches differently from non-adjacent ones?\r\n\r\nThese examples would greatly help in understanding the documentation and the behavior of the `re` module in such cases.\r\n\r\nThank you for your time and attention to this matter. Any insights or examples you can provide would be greatly appreciated.\n\n\u003c!-- gh-linked-prs --\u003e\n### Linked PRs\n* gh-133169\n* gh-134217\n* gh-134218\n\u003c!-- /gh-linked-prs --\u003e\n","author":{"url":"https://github.com/krave1986","@type":"Person","name":"krave1986"},"datePublished":"2024-07-20T11:25:39.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":8},"url":"https://github.com/122055/cpython/issues/122055"}