本文来剖析一下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格式校验。
