Parse函数转换的语法是

parse函数转换的语法主要根据控制流进行改变，提到Rebol语言的优秀特性那就不得不说它的解析引擎，简称Parse。这项来自Carl Sassenrath的伟大设计，在过去的15年里，使得Rebol用户免受正则表达式（以不可维护著称）的折磨。现如今，Parse的增强版本在Red语言中重装上阵。

简而言之，Parse是一个使用语法规则来解析输入序列的内部DSL（在Rebol生态圈称为“方言”）。Parse方言是TDPL家族的突出一员。常用来校验，验证，分解，修改输入的数据，甚至是实现内部或者外部DSL。

parse函数的用法很简单：

bitset. 实现并支持DSL的发展：

parse <输入序列> <规则> <输入序列>：任意序列类型的值（字符串，文件，区块，路径...） <规则>：一个区块（包含有效的Parse方言）123123

下面的示例代码可以直接复制到Red控制台中运行，即便你不懂Red和Parse方言，也能观其大略，不像正则表达式那样让人不知所云。

使用语法规则验证一些字符串和区块的输入：

parse "a plane" [["a" | "the"] space "plane"] 规则中可以包含子规则 parse "the car" [["a" | "the"] space ["plane" | "car"]] parse "123" ["1" "2" ["4" | "3"]] parse "abbccc" ["a" 2 "b" 3 "c"] 指定数量 parse "aaabbb" [copy letters some "a" (n： length? letters) n "b"] 将匹配绑定到变量，使用小括号执行Red表达式 parse [a] ['b | 'a | 'c] parse [hello nice world] [3 word!] 匹配区块可以使用类型 parse [a a a b b b] [copy words some 'a (n： length? words) n 'b]1234567891012345678910

下面展示如何解析IPv4地址：

four： charset "01234" charset函数用于创建一个bitset!类型的值 half： charset "012345" non-zero： charset "123456789" digit： union non-zero charset "0" bitset!类型可以使用Red的集合运算union函数进行组合 byte： [ "25" half | "2" four digit | "1" digit digit | non-zero digit | digit ] ipv4： [byte dot byte dot byte dot byte] parse "192.168.10.1" ipv4 parse "127.0.0.1" ipv4 parse "99.1234" ipv4 parse "10.12.260.1" ipv4 data： { ID： 121.34 Version： 1.2.3-5.6 Your IP address is： 85.94.114.88. NOTE： Your IP Address could be different tomorrow. } parse data [some [copy value ipv4 | skip]] probe value 输出： "85.94.114.88"123456789101112131415161718192021222324252627123456789101112131415161718192021222324252627

一个粗糙然而实用的email地址验证器：

digit： charset "0123456789" letters： charset [#"a" - #"z" #"A" - #"Z"] special： charset "-" chars： union union letters special digit word： [some chars] host： [word] domain： [word some [dot word]] email： [host "@" domain] parse "john@doe.com" email parse "n00b@lost.island.org" email parse "h4x0r-l33t@domain.net" email123456789101112123456789101112

验证字符串形式的数学表达式（来自Rebol/Core手册）

创建简单的解析器用于解析一个HTML子集：

html： { <html> <head><title>Test</title></head> <body><div><u>Hello</u> <b>World</b></div></body> </html> } ws： charset reduce [space tab cr lf] parse html tags： [ collect [any [ ws | "</" thru ">" break | "<" copy name to ">" skip keep (load name) opt tags | keep to "<" ]] ] parse函数将会返回如下区块树 [ html [ head [ title ["Test"] ] body [ div [ u ["Hello"] b ["World"] ] ] ] ]12345678910111213141516171819202122232425262728293031321234567891011121314151617181920212223242526272829303132

Parse方言，parse/trace <输入> <规则> <回调函数>

<回调函数> 规格：

func [

event [word!] 跟踪事件

match? [logic!] 上次匹配操作的结果

rule [block!] 当前位置的对应规则

input [series!] 将要匹配的下一个位置的输入序列

stack [block!] 内部的解析规则栈

return： [logic!] TRUE：继续匹配， FALSE：退出

]

事件列表：

- push ：当一个规则或者区块入栈时