©
This document uses PHP Chinese website manual Release
import "regexp/syntax"
概述
索引
包语法将正则表达式解析为解析树并将解析树编译为程序。大多数正则表达式的客户端将使用regexp包的工具(如编译和匹配)而不是此包。
使用Perl标志解析时,所了解的正则表达式语法如下所示。通过向Parse传递备用标志可以禁用部分语法。
单个字符:
. any character, possibly including newline (flag s=true)[xyz] character class[^xyz] negated character class\d Perl character class\D negated Perl character class[[:alpha:]] ASCII character class[[:^alpha:]] negated ASCII character class\pN Unicode character class (one-letter name)\p{Greek} Unicode character class\PN negated Unicode character class (one-letter name)\P{Greek} negated Unicode character class
复合语句:
xy x followed by y x|y x or y (prefer x)
重复:
x* zero or more x, prefer more x+ one or more x, prefer more x? zero or one x, prefer one x{n,m} n or n+1 or ... or m x, prefer more x{n,} n or more x, prefer more x{n} exactly n x x*? zero or more x, prefer fewer x+? one or more x, prefer fewer x?? zero or one x, prefer zero x{n,m}? n or n+1 or ... or m x, prefer fewer x{n,}? n or more x, prefer fewer x{n}? exactly n x
实施限制:计数形式x {n,m},x {n,}和x {n}拒绝创建超过1000的最小或最大重复次数的表单。无限重复不受此限制。
分组:
(re) numbered capturing group (submatch)(?P<name>re) named & numbered capturing group (submatch)(?:re) non-capturing group(?flags) set flags within current group; non-capturing(?flags:re) set flags during re; non-capturing Flag syntax is xyz (set) or -xyz (clear) or xy-z (set xy, clear z). The flags are:i case-insensitive (default false)m multi-line mode: ^ and $ match begin/end line in addition to begin/end text (default false)s let . match \n (default false)U ungreedy: swap meaning of x* and x*?, x+ and x+?, etc (default false)
空字符串:
^ at beginning of text or line (flag m=true)$ at end of text (like \z not Perl's \Z) or line (flag m=true)\A at beginning of text \b at ASCII word boundary (\w on one side and \W, \A, or \z on the other)\B not at ASCII word boundary \z at end of text
转义序列:
\a bell (== \007)\f form feed (== \014)\t horizontal tab (== \011)\n newline (== \012)\r carriage return (== \015)\v vertical tab character (== \013)\* literal *, for any punctuation character *\123 octal character code (up to three digits)\x7F hex character code (exactly two digits)\x{10FFFF} hex character code \Q...\E literal text ... even if ... has punctuation
字符类元素:
x single character A-Z character range (inclusive)\d Perl character class[:foo:] ASCII character class foo\p{Foo} Unicode character class Foo\pF Unicode character class F (one-letter name)
将字符类命名为字符类元素:
[\d] digits (== \d)[^\d] not digits (== \D)[\D] not digits (== \D)[^\D] not not digits (== \d)[[:name:]] named ASCII class inside character class (== [:name:])[^[:name:]] named ASCII class inside negated character class (== [:^name:])[\p{Name}] named Unicode property inside character class (== \p{Name})[^\p{Name}] named Unicode property inside negated character class (== \P{Name})
Perl字符类(全部为ASCII):
\d digits (== [0-9])\D not digits (== [^0-9])\s whitespace (== [\t\n\f\r ])\S not whitespace (== [^\t\n\f\r ])\w word characters (== [0-9A-Za-z_])\W not word characters (== [^0-9A-Za-z_])
ASCII字符类:
[[:alnum:]] alphanumeric (== [0-9A-Za-z])[[:alpha:]] alphabetic (== [A-Za-z])[[:ascii:]] ASCII (== [\x00-\x7F])[[:blank:]] blank (== [\t ])[[:cntrl:]] control (== [\x00-\x1F\x7F])[[:digit:]] digits (== [0-9])[[:graph:]] graphical (== [!-~] == [A-Za-z0-9!"#$%&'()*+,\-./:;<=>?@[\\\]^_`{|}~]) [[:lower:]] lower case (== [a-z]) [[:print:]] printable (== [ -~] == [ [:graph:]]) [[:punct:]] punctuation (== [!-/:-@[-`{-~])[[:space:]] whitespace (== [\t\n\v\f\r ])[[:upper:]] upper case (== [A-Z])[[:word:]] word characters (== [0-9A-Za-z_])[[:xdigit:]] hex digit (== [0-9A-Fa-f])
func IsWordChar(r rune) bool
type EmptyOp
func EmptyOpContext(r1, r2 rune) EmptyOp
type Error
func (e *Error) Error() string
type ErrorCode
func (e ErrorCode) String() string
type Flags
type Inst
func (i *Inst) MatchEmptyWidth(before rune, after rune) bool
func (i *Inst) MatchRune(r rune) bool
func (i *Inst) MatchRunePos(r rune) int
func (i *Inst) String() string
type InstOp
func (i InstOp) String() string
type Op
type Prog
func Compile(re *Regexp) (*Prog, error)
func (p *Prog) Prefix() (prefix string, complete bool)
func (p *Prog) StartCond() EmptyOp
func (p *Prog) String() string
type Regexp
func Parse(s string, flags Flags) (*Regexp, error)
func (re *Regexp) CapNames() []string
func (x *Regexp) Equal(y *Regexp) bool
func (re *Regexp) MaxCap() int
func (re *Regexp) Simplify() *Regexp
func (re *Regexp) String() string
compile.go doc.go parse.go perl_groups.go prog.go regexp.go simplify.go
func IsWordChar(r rune) bool
IsWordChar在评估\ b和\ B在零宽度报告中r是否被认为是“单词字符”。这些断言仅为ASCII:单词字符为A-Za-z0-9_。
EmptyOp指定一种或多种零宽度断言的混合。
type EmptyOp uint8
const ( EmptyBeginLine EmptyOp = 1 << iota EmptyEndLine EmptyBeginText EmptyEndText EmptyWordBoundary EmptyNoWordBoundary)
func EmptyOpContext(r1, r2 rune) EmptyOp
EmptyOpContext返回在符号r1和r2之间的位置满足的零宽度断言。传递r1 == -1表示该位置在文本的开头。传递r2 == -1表示位置在文本的末尾。
错误描述了解析正则表达式失败并给出违规表达式。
type Error struct { Code ErrorCode Expr string}
func (e *Error) Error() string
ErrorCode描述了解析正则表达式的失败。
type ErrorCode string
const ( // Unexpected error ErrInternalError ErrorCode = "regexp/syntax: internal error" // Parse errors ErrInvalidCharClass ErrorCode = "invalid character class" ErrInvalidCharRange ErrorCode = "invalid character class range" ErrInvalidEscape ErrorCode = "invalid escape sequence" ErrInvalidNamedCapture ErrorCode = "invalid named capture" ErrInvalidPerlOp ErrorCode = "invalid or unsupported Perl syntax" ErrInvalidRepeatOp ErrorCode = "invalid nested repetition operator" ErrInvalidRepeatSize ErrorCode = "invalid repeat count" ErrInvalidUTF8 ErrorCode = "invalid UTF-8" ErrMissingBracket ErrorCode = "missing closing ]" ErrMissingParen ErrorCode = "missing closing )" ErrMissingRepeatArgument ErrorCode = "missing argument to repetition operator" ErrTrailingBackslash ErrorCode = "trailing backslash at end of expression" ErrUnexpectedParen ErrorCode = "unexpected )")
func (e ErrorCode) String() string
标志控制解析器的行为并记录关于正则表达式上下文的信息。
type Flags uint16
const ( FoldCase Flags = 1 << iota // case-insensitive match Literal // treat pattern as literal string ClassNL // allow character classes like [^a-z] and [[:space:]] to match newline DotNL // allow . to match newline OneLine // treat ^ and $ as only matching at beginning and end of text NonGreedy // make repetition operators default to non-greedy PerlX // allow Perl extensions UnicodeGroups // allow \p{Han}, \P{Han} for Unicode group and negation WasDollar // regexp OpEndText was $, not \z Simple // regexp contains no counted repetition MatchNL = ClassNL | DotNL Perl = ClassNL | OneLine | PerlX | UnicodeGroups // as close to Perl as possible POSIX Flags = 0 // POSIX syntax)
Inst是正则表达式程序中的单个指令。
type Inst struct { Op InstOp Out uint32 // all but InstMatch, InstFail Arg uint32 // InstAlt, InstAltMatch, InstCapture, InstEmptyWidth Rune []rune}
func (i *Inst) MatchEmptyWidth(before rune, after rune) bool
MatchEmptyWidth报告指令是否匹配符文之前和之后的空字符串。只应在i.Op == InstEmptyWidth时调用它。
func (i *Inst) MatchRune(r rune) bool
MatchRune报告指令是否匹配(并消耗)r。它应该只在i.Op == InstRune时被调用。
func (i *Inst) MatchRunePos(r rune) int
MatchRunePos检查指令是否匹配(并消耗)r。如果是这样,MatchRunePos返回匹配符文对的索引(或者,当len(i.Rune)== 1时,符文单例)。如果不是,则MatchRunePos返回-1。MatchRunePos只应在i.Op == InstRune时调用。
func (i *Inst) String() string
InstOp是一个指令操作码。
type InstOp uint8
const ( InstAlt InstOp = iota InstAltMatch InstCapture InstEmptyWidth InstMatch InstFail InstNop InstRune InstRune1 InstRuneAny InstRuneAnyNotNL)
func (i InstOp) String() string
Op是单一的正则表达式运算符。
type Op uint8
const ( OpNoMatch Op = 1 + iota // matches no strings OpEmptyMatch // matches empty string OpLiteral // matches Runes sequence OpCharClass // matches Runes interpreted as range pair list OpAnyCharNotNL // matches any character except newline OpAnyChar // matches any character OpBeginLine // matches empty string at beginning of line OpEndLine // matches empty string at end of line OpBeginText // matches empty string at beginning of text OpEndText // matches empty string at end of text OpWordBoundary // matches word boundary `\b` OpNoWordBoundary // matches word non-boundary `\B` OpCapture // capturing subexpression with index Cap, optional name Name OpStar // matches Sub[0] zero or more times OpPlus // matches Sub[0] one or more times OpQuest // matches Sub[0] zero or one times OpRepeat // matches Sub[0] at least Min times, at most Max (Max == -1 is no limit) OpConcat // matches concatenation of Subs OpAlternate // matches alternation of Subs)
Prog是编译的正则表达式程序。
type Prog struct { Inst []Inst Start int // index of start instruction NumCap int // number of InstCapture insts in re}
func Compile(re *Regexp) (*Prog, error)
编译将regexp编译成要执行的程序。正则表达式应该已经被简化了(从re.Simplify返回)。
func (p *Prog) Prefix() (prefix string, complete bool)
前缀返回所有匹配的正则表达式必须以字符串开头的文字字符串。如果前缀是整个匹配,则结果为真。
func (p *Prog) StartCond() EmptyOp
StartCond返回在任何匹配中必须为true的前导空白条件。如果不可能匹配,它返回^ EmptyOp(0)。
func (p *Prog) String() string
正则表达式是正则表达式语法树中的一个节点。
type Regexp struct { Op Op // operator Flags Flags Sub []*Regexp // subexpressions, if any Sub0 [1]*Regexp // storage for short Sub Rune []rune // matched runes, for OpLiteral, OpCharClass Rune0 [2]rune // storage for short Rune Min, Max int // min, max for OpRepeat Cap int // capturing index, for OpCapture Name string // capturing name, for OpCapture}
func Parse(s string, flags Flags) (*Regexp, error)
解析由指定标志控制的正则表达式字符串s,并返回正则表达式解析树。该语法在顶级注释中进行了描述。
func (re *Regexp) CapNames() []string
CapNames使用正则表达式查找捕获组的名称。
func (x *Regexp) Equal(y *Regexp) bool
如果x和y具有相同的结构,则相等返回true。
func (re *Regexp) MaxCap() int
MaxCap使用正则表达式查找最大捕获索引。
func (re *Regexp) Simplify() *Regexp
简化返回相当于re的regexp,但不需要重复计算和其他各种简化,例如重写/(?: a +)+ / to / a + /。生成的正则表达式将正确执行,但其字符串表示形式不会生成相同的分析树,因为捕获的括号可能已被复制或删除。例如,/(x){1,2} /的简化形式是/(x)(x)?/但两个圆括号都捕获为$ 1。返回的正则表达式可能与原始结构共享或成为原始结构。
func (re *Regexp) String() string