本文来剖析一下json.Valid方法的源码。
json.Valid方法源码
json.Valid方法定义:
// Valid reports whether data is a valid JSON encoding.
func Valid(data []byte) bool {
scan := newScanner()
defer freeScanner(scan)
return checkValid(data, scan) == nil
}
scan := newScanner() 获取一个 scanner 类型的对象,关键的是checkValid方法,checkValid源码如下:
// checkValid verifies that data is valid JSON-encoded data.
// scan is passed in for use by checkValid to avoid an allocation.
func checkValid(data []byte, scan *scanner) error {
scan.reset()
for _, c := range data {
scan.bytes++
if scan.step(scan, c) == scanError {
return scan.err
}
}
if scan.eof() == scanError {
return scan.err
}
return nil
}
首先调用了scan.reset(),主要是初始化scanner关键字段,如下:
s.step = stateBeginValue
s.parseState = s.parseState[0:0]
s.err = nil
s.endTop = false
然后就是通过遍历要校验的数据,使用状态机方式做判断。
使用一个示例来看检测过程
接下来以 {"a":"b"} 为例,来看下整个的判断过程:
- scan.reset()执行后将将step赋值为stateBeginValue;
- 首先判断“{”,使用stateBeginValue方法进行判断,发现是,将step赋值为stateBeginStringOrEmpty,执行pushParseState往parseState追加表示是key的值0;
- 接下来判断“"”,使用stateBeginStringOrEmpty方法进行判断,紧接着使用stateBeginString方法进行判断,发现是,将step赋值为stateInString;
- 接下来判断“a”,使用stateInString方法进行判断,发现是,继续遍历;
- 接下来判断“"”,使用stateInString方法进行判断,发现是,将step赋值为stateEndValue;
- 接下来判断“:”,使用stateEndValue方法进行判断,看parseState最后一个值,发现是key部分,检测到时“:”,将parseState最后一个值置为value部分标识,将step赋值为stateBeginValue;
- 接下来判断“"”,使用stateBeginValue方法进行判断,发现是,将step赋值为stateInString
- 接下来判断“b”,使用stateInString方法进行判断,发现是,继续往下遍历;
- 接下来判断“"”,使用stateInString方法进行判断,发现是,将step赋值为stateEndValue;
- 接下来判断“}”,使用stateEndValue方法进行判断,看parseState最后一个值,发现是value部分,检测到了“}”,如果parseStat长度为0,step赋值stateEndTop,如果不为0,将step赋值为stateEndValue,检测结束,返回结果。
小结
大家可以结合源码和本文来自己体会一下整个的检测过程。json.Valid方法会把例如123、true、false、null等也认为是json编码,这可能不是大家在开发过程中想要的结果,所以下一篇文章会介绍基于json.Valid方法改造后的方法,完美得实现json格式校验。