这是sproto系列文章的第三篇，可以参考前面的《为sproto添加python绑定》、《为python-sproto添加map支持》。

sproto是云风设计的序列化协议，用于高效的打包解包游戏协议数据。有点类似Google推出的protobuf，但是比protobuf要快。结构上有点类似cap'n Proto，但是没有打算直接使用其作为内存组织结构，因此少了数据对齐的部分。目前使用场景主要是在游戏客户端和服务器端的RPC协议上。

sproto比较有趣的一点，是可以自描述，用sproto协议本身描述自己：（摘自云风博客）UPDATED:博客的是错误的，正确的在代码注释里：

.type {

    .field {

        name  : string

        buildin     :    integer

        type  : integer

        tag     :    integer

        array     : boolean

        key  : integer # If key exists, array must be true, and it's a map.

    }

    name  : string

    fields  : *field

}

.protocol {

    name  : string

    tag     :    integer

    request     :    integer    # index

    response  : integer # index

}

.group {

    type  : *type

    protocol  : *protocol

}

这么简单的结构，正好拿来练手写parser。Lua的LPEG库实在太强大，于是先试了一下pypeg2去解决这个问题。尝试的过程参见：https://github.com/spin6lock/sproto_python_parser，最后失败了。回想了一下，PEG文法其实跟上下文无关文法相当类似，只是不存在二义性，能够通过一个token来完全决定接下来的解析树。这个跟递归下降法有点类似了，便顺手撸了一发：https://github.com/spin6lock/yapsp

代码主要分成两部分，lexer和parser。lexer辨别的token可以参见常量定义，基本上用正则表达式搞定了，只花了一点点时间。Parser多花了好一段，主要是忘了要封装一些方便的函数出来使用，比如expecting和optional。Parser实现的是一个基于递归下降法的语法分析器，由于sproto的语法特别简单，所以可以透过窥视下一个token，便知晓接下来要解析的是什么结构，然后调用相应的方法解析即可。