免费试用
作者:赵一霖
社区动态
2018-12-20

背景知识

SQL 语句发送到 TiDB 后首先会经过 parser,从文本 parse 成为 AST(抽象语法树),AST 节点与 SQL 文本结构是一一对应的,我们通过遍历整个 AST 树就可以拼接出一个与 AST 语义相同的 SQL 文本。

对 parser 不熟悉的小伙伴们可以看 TiDB 源码阅读系列文章(五)TiDB SQL Parser 的实现

为了控制 SQL 文本的输出格式,并且为方便未来新功能的加入(例如在 SQL 文本中用 “*” 替代密码),我们引入了 RestoreFlags 并封装了 RestoreCtx 结构(相关源码):

// RestoreFlags 中的互斥组:
// [RestoreStringSingleQuotes, RestoreStringDoubleQuotes]
// [RestoreKeyWordUppercase, RestoreKeyWordLowercase]
// [RestoreNameUppercase, RestoreNameLowercase]
// [RestoreNameDoubleQuotes, RestoreNameBackQuotes]
// 靠前的 flag 拥有更高的优先级。
const (
    RestoreStringSingleQuotes RestoreFlags = 1 << iota
    ...
)
// RestoreCtx is Restore context to hold flags and writer.
type RestoreCtx struct {
    Flags RestoreFlags
    In    io.Writer
}
// WriteKeyWord 用于向 ctx 中写入关键字(例如:SELECT)。
// 它的大小写受 RestoreKeyWordUppercaseRestoreKeyWordLowercase 控制
func (ctx *RestoreCtx) WriteKeyWord(keyWord string) {
    ...
}
// WriteString 用于向 ctx 中写入字符串。
// 它是否被引号包裹及转义规则受 RestoreStringSingleQuotesRestoreStringDoubleQuotesRestoreStringEscapeBackslash 控制。
func (ctx *RestoreCtx) WriteString(str string) {
    ...
}
// WriteName 用于向 ctx 中写入名称(库名,表名,列名等)。
// 它是否被引号包裹及转义规则受 RestoreNameUppercaseRestoreNameLowercaseRestoreNameDoubleQuotesRestoreNameBackQuotes 控制。
func (ctx *RestoreCtx) WriteName(name string) {
    ...
}
// WritePlain 用于向 ctx 中写入普通文本。
// 它将被直接写入不受 flag 影响。
func (ctx *RestoreCtx) WritePlain(plainText string) {
    ...
}
// WritePlainf 用于向 ctx 中写入普通文本。
// 它将被直接写入不受 flag 影响。
func (ctx *RestoreCtx) WritePlainf(format string, a ...interface{}) {
    ...
}

我们在 ast.Node 接口中添加了一个 Restore(ctx *RestoreCtx) error 函数,这个函数将当前节点对应的 SQL 文本追加至参数 ctx 中,如果节点无效则返回 error

type Node interface {
    // Restore AST to SQL text and append them to ctx.
    // return error when the AST is invalid.
    Restore(ctx *RestoreCtx) error
    ...
}

以 SQL 语句 SELECT column0 FROM table0 UNION SELECT column1 FROM table1 WHERE a = 1 为例,如下图所示,我们通过遍历整个 AST 树,递归调用每个节点的 Restore() 方法,即可拼接成一个完整的 SQL 文本。

ast-tree

值得注意的是,SQL 文本与 AST 是一个多对一的关系,我们不可能从 AST 结构中还原出与原 SQL 完全一致的文本,
因此我们只要保证还原出的 SQL 文本与原 SQL 语义相同 即可。所谓语义相同,指的是由 AST 还原出的 SQL 文本再被解析为 AST 后,两个 AST 是相等的。

我们已经完成了接口设计和测试框架,具体的Restore() 函数留空。因此只需要选择一个留空的 Restore() 函数实现,并添加相应的测试数据,就可以提交一个 PR 了!

实现 Restore() 函数的整体流程

  1. 请先阅读 ProposalIssue
  2. Issue 中找到未实现的函数

    1. Issue-pingcap/tidb#8532 中找到一个没有被其他贡献者认领的任务,例如 ast/expressions.go: BetweenExpr
    2. pingcap/parser 中找到任务对应文件 ast/expressions.go
    3. 在文件中找到 BetweenExpr 结构的 Restore 函数:
    // Restore implements Node interface.
    func (n *BetweenExpr) Restore(ctx *RestoreCtx) error {
        return errors.New("Not implemented")
    }
  3. 实现 Restore() 函数

    根据 Node 节点结构和 SQL 语法实现函数功能。

    参考 MySQL 5.7 SQL Statement Syntax

  4. 写单元测试

    参考示例在相关文件下添加单元测试。

  5. 运行 make test,确保所有的 test case 都能跑过。
  6. 提交 PR

    PR 标题统一为:parser: implement Restore for XXX
    请在 PR 中关联 Issue: pingcap/tidb#8532

示例

这里以实现 BetweenExpr 的 Restore 函数 PR 为例,进行详细说明:

  1. 首先看 ast/expressions.go

    1. 我们要实现一个 ast.Node 结构的 Restore 函数,首先清楚该结构代表什么短语,例如 BetweenExpr 代表 expr [NOT] BETWEEN expr AND expr (参见:MySQL 语法 - 比较函数和运算符)。
    2. 观察 BetweenExpr 结构:
    // BetweenExpr is for "between and" or "not between and" expression.
    type BetweenExpr struct {
        exprNode
        // 被检查的表达式
        Expr ExprNode
        // AND 左侧的表达式
        Left ExprNode
        // AND 右侧的表达式
        Right ExprNode
        // 是否有 NOT 关键字
        Not bool
    }
    1. 实现 BetweenExprRestore 函数:
    // Restore implements Node interface.
    func (n *BetweenExpr) Restore(ctx *RestoreCtx) error {
        // 调用 Expr 的 Restore,向 ctx 写入 Expr
        if err := n.Expr.Restore(ctx); err != nil {
            return errors.Annotate(err, "An error occurred while restore BetweenExpr.Expr")
        }
        // 判断是否有 NOT,并写入相应关键字
        if n.Not {
            ctx.WriteKeyWord(" NOT BETWEEN ")
        } else {
            ctx.WriteKeyWord(" BETWEEN ")
        }
        // 调用 Left 的 Restore
        if err := n.Left.Restore(ctx); err != nil {
            return errors.Annotate(err, "An error occurred while restore BetweenExpr.Left")
        }
        // 写入 AND 关键字
        ctx.WriteKeyWord(" AND ")
        // 调用 Right 的 Restore
        if err := n.Right.Restore(ctx); err != nil {
            return errors.Annotate(err, "An error occurred while restore BetweenExpr.Right ")
        }
        return nil
    }
  2. 接下来给函数实现添加单元测试, ast/expressions_test.go

    // 添加测试函数
    func (tc *testExpressionsSuite) TestBetweenExprRestore(c *C) {
        // 测试用例
        testCases := []NodeRestoreTestCase{
            {"b between 1 and 2", "b BETWEEN 1 AND 2"},
            {"b not between 1 and 2", "b NOT BETWEEN 1 AND 2"},
            {"b between a and b", "b BETWEEN a AND b"},
            {"b between '' and 'b'", "b BETWEEN '' AND 'b'"},
            {"b between '2018-11-01' and '2018-11-02'", "b BETWEEN '2018-11-01' AND '2018-11-02'"},
        }
        // 为了不依赖父节点实现,通过 extractNodeFunc 抽取待测节点
        extractNodeFunc := func(node Node) Node {
            return node.(*SelectStmt).Fields.Fields[0].Expr
        }
        // Run Test
        RunNodeRestoreTest(c, testCases, "select %s", extractNodeFunc)
    }

    至此 BetweenExprRestore 函数实现完成,可以提交 PR 了。为了更好的理解测试逻辑,下面我们看 RunNodeRestoreTest

    // 下面是测试逻辑,已经实现好了,不需要 contributor 实现
    func RunNodeRestoreTest(c *C, nodeTestCases []NodeRestoreTestCase, template string, extractNodeFunc func(node Node) Node) {
        parser := parser.New()
        for _, testCase := range nodeTestCases {
            // 通过 template 将测试用例拼接为完整的 SQL
            sourceSQL := fmt.Sprintf(template, testCase.sourceSQL)
            expectSQL := fmt.Sprintf(template, testCase.expectSQL)
            stmt, err := parser.ParseOneStmt(sourceSQL, "", "")
            comment := Commentf("source %#v", testCase)
            c.Assert(err, IsNil, comment)
            var sb strings.Builder
            // 抽取指定节点并调用其 Restore 函数
            err = extractNodeFunc(stmt).Restore(NewRestoreCtx(DefaultRestoreFlags, &sb))
            c.Assert(err, IsNil, comment)
            // 通过 template 将 restore 结果拼接为完整的 SQL
            restoreSql := fmt.Sprintf(template, sb.String())
            comment = Commentf("source %#v; restore %v", testCase, restoreSql)
            // 测试 restore 结果与预期一致
            c.Assert(restoreSql, Equals, expectSQL, comment)
            stmt2, err := parser.ParseOneStmt(restoreSql, "", "")
            c.Assert(err, IsNil, comment)
            CleanNodeText(stmt)
            CleanNodeText(stmt2)
            // 测试解析的 stmt 与原 stmt 一致
            c.Assert(stmt2, DeepEquals, stmt, comment)
        }
    }

不过对于 ast.StmtNode(例如:ast.SelectStmt)测试方法有些不一样,
由于这类节点可以还原为一个完整的 SQL,因此直接在 parser_test.go 中测试。

下面以实现 UseStmt 的 Restore 函数 PR 为例,对测试进行说明:

  1. Restore 函数实现过程略。
  2. 给函数实现添加单元测试,参见 parser_test.go

    在这个示例中,只添加了几行测试数据就完成了测试:

    // 添加 testCase 结构的测试数据
    {"use select", true, "USE select"},
    {"use select", true, "USE select"},
    {"use select", false, "USE select"},

    我们看 testCase 结构声明:

    type testCase struct {
        // 原 SQL
        src     string
        // 是否能被正确 parse
        ok      bool
        // 预期的 restore SQL
        restore string
    }

    测试代码会判断原 SQL parse 出 AST 后再还原的 SQL 是否与预期的 restore SQL 相等,具体的测试逻辑在 parser_test.goRunTest()RunRestoreTest() 函数,逻辑与前例类似,此处不再赘述。


加入 TiDB Contributor Club,无门槛参与开源项目,改变世界从这里开始吧(萌萌哒)。

tidb-community.png

点击查看更多 成为 Contributor 系列文章

新经济行业内容专区上线,为新经济企业数据库选型和应用提供深入洞察和可靠参考路径。