Regular expressions are a concise and flexible tool for describing patterns in strings. This vignette describes the key features of stringr’s regular expressions, as implemented by stringi. It is not a tutorial, so if you’re unfamiliar regular expressions, I’d recommend starting at https://r4ds.had.co.nz/strings.html. If you want to master the details, I’d recommend reading the classic Mastering Regular Expressions by Jeffrey E. F. Friedl.
Regular expressions are the default pattern engine in stringr. That
means when you use a pattern matching function with a bare string, it’s
equivalent to wrapping it in a call to regex()
:
You will need to use regex()
explicitly if you want to
override the default options, as you’ll see in examples below.
The simplest patterns match exact strings:
You can perform a case-insensitive match using
ignore_case = TRUE
:
bananas <- c("banana", "Banana", "BANANA")
str_detect(bananas, "banana")
#> [1] TRUE FALSE FALSE
str_detect(bananas, regex("banana", ignore_case = TRUE))
#> [1] TRUE TRUE TRUE
The next step up in complexity is .
, which matches any
character except a newline:
You can allow .
to match everything, including
\n
, by setting dotall = TRUE
:
If “.
” matches any character, how do you match a literal
“.
”? You need to use an “escape” to tell the regular
expression you want to match it exactly, not use its special behaviour.
Like strings, regexps use the backslash, \
, to escape
special behaviour. So to match an .
, you need the regexp
\.
. Unfortunately this creates a problem. We use strings to
represent regular expressions, and \
is also used as an
escape symbol in strings. So to create the regular expression
\.
we need the string "\\."
.
# To create the regular expression, we need \\
dot <- "\\."
# But the expression itself only contains one:
writeLines(dot)
#> \.
# And this tells R to look for an explicit .
str_extract(c("abc", "a.c", "bef"), "a\\.c")
#> [1] NA "a.c" NA
If \
is used as an escape character in regular
expressions, how do you match a literal \
? Well you need to
escape it, creating the regular expression \\
. To create
that regular expression, you need to use a string, which also needs to
escape \
. That means to match a literal \
you
need to write "\\\\"
— you need four backslashes to match
one!
In this vignette, I use \.
to denote the regular
expression, and "\\."
to denote the string that represents
the regular expression.
An alternative quoting mechanism is \Q...\E
: all the
characters in ...
are treated as exact matches. This is
useful if you want to exactly match user input as part of a regular
expression.
Escapes also allow you to specify individual characters that are otherwise hard to type. You can specify individual unicode characters in five ways, either as a variable number of hex digits (four is most common), or by name:
\xhh
: 2 hex digits.
\x{hhhh}
: 1-6 hex digits.
\uhhhh
: 4 hex digits.
\Uhhhhhhhh
: 8 hex digits.
\N{name}
, e.g. \N{grinning face}
matches the basic smiling emoji.
Similarly, you can specify many common control characters:
\a
: bell.
\cX
: match a control-X character.
\e
: escape (\u001B
).
\f
: form feed (\u000C
).
\n
: line feed (\u000A
).
\r
: carriage return (\u000D
).
\t
: horizontal tabulation
(\u0009
).
\0ooo
match an octal character. ‘ooo’ is from one to
three octal digits, from 000 to 0377. The leading zero is
required.
(Many of these are only of historical interest and are only included here for the sake of completeness.)
There are a number of patterns that match more than one character.
You’ve already seen .
, which matches any character (except
a newline). A closely related operator is \X
, which matches
a grapheme cluster, a set of individual elements that
form a single symbol. For example, one way of representing “á” is as the
letter “a” plus an accent: .
will match the component “a”,
while \X
will match the complete symbol:
There are five other escaped pairs that match narrower classes of characters:
\d
: matches any digit. The complement,
\D
, matches any character that is not a decimal digit.
Technically, \d
includes any character in the Unicode
Category of Nd (“Number, Decimal Digit”), which also includes numeric
symbols from other languages:
\s
: matches any whitespace. This includes tabs,
newlines, form feeds, and any character in the Unicode Z Category (which
includes a variety of space characters and other separators.). The
complement, \S
, matches any non-whitespace character.
\p{property name}
matches any character with
specific unicode property, like \p{Uppercase}
or
\p{Diacritic}
. The complement,
\P{property name}
, matches all characters without the
property. A complete list of unicode properties can be found at http://www.unicode.org/reports/tr44/#Property_Index.
\w
matches any “word” character, which includes
alphabetic characters, marks and decimal numbers. The complement,
\W
, matches any non-word character.
str_extract_all("Don't eat that!", "\\w+")[[1]]
#> [1] "Don" "t" "eat" "that"
str_split("Don't eat that!", "\\W")[[1]]
#> [1] "Don" "t" "eat" "that" ""
Technically, \w
also matches connector punctuation,
\u200c
(zero width connector), and \u200d
(zero width joiner), but these are rarely seen in the wild.
\b
matches word boundaries, the transition between
word and non-word characters. \B
matches the opposite:
boundaries that have either both word or non-word characters on either
side.
You can also create your own character classes using
[]
:
[abc]
: matches a, b, or c.[a-z]
: matches every character between a and z (in
Unicode code point order).[^abc]
: matches anything except a, b, or c.[\^\-]
: matches ^
or -
.There are a number of pre-built classes that you can use inside
[]
:
[:punct:]
: punctuation.[:alpha:]
: letters.[:lower:]
: lowercase letters.[:upper:]
: upperclass letters.[:digit:]
: digits.[:xdigit:]
: hex digits.[:alnum:]
: letters and numbers.[:cntrl:]
: control characters.[:graph:]
: letters, numbers, and punctuation.[:print:]
: letters, numbers, punctuation, and
whitespace.[:space:]
: space characters (basically equivalent to
\s
).[:blank:]
: space and tab.These all go inside the []
for character classes,
i.e. [[:digit:]AX]
matches all digits, A, and X.
You can also using Unicode properties, like
[\p{Letter}]
, and various set operations, like
[\p{Letter}--\p{script=latin}]
. See
?"stringi-search-charclass"
for details.
|
is the alternation operator, which
will pick between one or more possible matches. For example,
abc|def
will match abc
or
def
:
Note that the precedence for |
is low:
abc|def
is equivalent to (abc)|(def)
not
ab(c|d)ef
.
You can use parentheses to override the default precedence rules:
str_extract(c("grey", "gray"), "gre|ay")
#> [1] "gre" "ay"
str_extract(c("grey", "gray"), "gr(e|a)y")
#> [1] "grey" "gray"
Parenthesis also define “groups” that you can refer to with
backreferences, like \1
, \2
etc, and can be extracted with str_match()
. For example,
the following regular expression finds all fruits that have a repeated
pair of letters:
pattern <- "(..)\\1"
fruit %>%
str_subset(pattern)
#> [1] "banana"
fruit %>%
str_subset(pattern) %>%
str_match(pattern)
#> [,1] [,2]
#> [1,] "anan" "an"
You can use (?:...)
, the non-grouping parentheses, to
control precedence but not capture the match in a group. This is
slightly more efficient than capturing parentheses.
str_match(c("grey", "gray"), "gr(e|a)y")
#> [,1] [,2]
#> [1,] "grey" "e"
#> [2,] "gray" "a"
str_match(c("grey", "gray"), "gr(?:e|a)y")
#> [,1]
#> [1,] "grey"
#> [2,] "gray"
This is most useful for more complex cases where you need to capture matches and control precedence independently.
By default, regular expressions will match any part of a string. It’s often useful to anchor the regular expression so that it matches from the start or end of the string:
^
matches the start of string.$
matches the end of the string.x <- c("apple", "banana", "pear")
str_extract(x, "^a")
#> [1] "a" NA NA
str_extract(x, "a$")
#> [1] NA "a" NA
To match a literal “$” or “^”, you need to escape them,
\$
, and \^
.
For multiline strings, you can use
regex(multiline = TRUE)
. This changes the behaviour of
^
and $
, and introduces three new
operators:
^
now matches the start of each line.
$
now matches the end of each line.
\A
matches the start of the input.
\z
matches the end of the input.
\Z
matches the end of the input, but before the
final line terminator, if it exists.
You can control how many times a pattern matches with the repetition operators:
?
: 0 or 1.+
: 1 or more.*
: 0 or more.x <- "1888 is the longest year in Roman numerals: MDCCCLXXXVIII"
str_extract(x, "CC?")
#> [1] "CC"
str_extract(x, "CC+")
#> [1] "CCC"
str_extract(x, 'C[LX]+')
#> [1] "CLXXX"
Note that the precedence of these operators is high, so you can
write: colou?r
to match either American or British
spellings. That means most uses will need parentheses, like
bana(na)+
.
You can also specify the number of matches precisely:
{n}
: exactly n{n,}
: n or more{n,m}
: between n and mstr_extract(x, "C{2}")
#> [1] "CC"
str_extract(x, "C{2,}")
#> [1] "CCC"
str_extract(x, "C{2,3}")
#> [1] "CCC"
By default these matches are “greedy”: they will match the longest
string possible. You can make them “lazy”, matching the shortest string
possible by putting a ?
after them:
??
: 0 or 1, prefer 0.+?
: 1 or more, match as few times as possible.*?
: 0 or more, match as few times as possible.{n,}?
: n or more, match as few times as possible.{n,m}?
: between n and m, , match as few times as
possible, but at least n.str_extract(x, c("C{2,3}", "C{2,3}?"))
#> [1] "CCC" "CC"
str_extract(x, c("C[LX]+", "C[LX]+?"))
#> [1] "CLXXX" "CL"
You can also make the matches possessive by putting a +
after them, which means that if later parts of the match fail, the
repetition will not be re-tried with a smaller number of characters.
This is an advanced feature used to improve performance in worst-case
scenarios (called “catastrophic backtracking”).
?+
: 0 or 1, possessive.++
: 1 or more, possessive.*+
: 0 or more, possessive.{n}+
: exactly n, possessive.{n,}+
: n or more, possessive.{n,m}+
: between n and m, possessive.A related concept is the atomic-match parenthesis,
(?>...)
. If a later match fails and the engine needs to
back-track, an atomic match is kept as is: it succeeds or fails as a
whole. Compare the following two regular expressions:
The atomic match fails because it matches A, and then the next character is a C so it fails. The regular match succeeds because it matches A, but then C doesn’t match, so it back-tracks and tries B instead.
These assertions look ahead or behind the current match without “consuming” any characters (i.e. changing the input position).
(?=...)
: positive look-ahead assertion. Matches if
...
matches at the current input.
(?!...)
: negative look-ahead assertion. Matches if
...
does not match at the current
input.
(?<=...)
: positive look-behind assertion. Matches
if ...
matches text preceding the current position, with
the last character of the match being the character just before the
current position. Length must be bounded
(i.e. no *
or +
).
(?<!...)
: negative look-behind assertion. Matches
if ...
does not match text preceding the
current position. Length must be bounded
(i.e. no *
or +
).
These are useful when you want to check that a pattern exists, but you don’t want to include it in the result:
Comments
There are two ways to include comments in a regular expression. The first is with
(?#...)
:The second is to use
regex(comments = TRUE)
. This form ignores spaces and newlines, and anything everything after#
. To match a literal space, you’ll need to escape it:"\\ "
. This is a useful way of describing complex regular expressions: