Checks types passed to the json encoding functions. Reports unsupported types and reports occurrences where the check for the returned error can be omitted.
Consider this http.Handler:
func JSONHelloWorld(w http.ResponseWriter, r *http.Request) {
response := struct {
Message string
Code int
}{
Message: "Hello World",
Code: 200,
}
body, err := json.Marshal(response)
if err != nil {
panic(err) // unreachable, because json encoding of a struct with just a string and an int will never return an error.
}
w.Write(body)
}
Because the panic
is not possible to happen, one might refactor the code like this:
func JSONHelloWorld(w http.ResponseWriter, r *http.Request) {
response := struct {
Message string
Code int
}{
Message: "Hello World",
Code: 200,
}
body, _ := json.Marshal(response)
w.Write(body)
}
This is ok, as long as the struct is not altered in such a way, that could potentially lead
to json.Marshal
returning an error.
errchkjson
allows you to lint your code such that the above error returned from json.Marshal
can be omitted while still staying safe, because as soon as an unsafe type is added to the
response type, the linter will warn you.
Download errchkjson
from the releases or get the latest version from source with:
go install github.com/breml/errchkjson/cmd/errchkjson@latest
Check everything:
errchkjson ./...
errchkjson
also recognizes the following command-line options:
The -omit-safe
flag disables checking for safe returns of errors from json.Marshal
The following types are safe to use with json encoding functions, that is, the encoding to JSON can not fail:
Safe basic types:
bool
int
,int8
,int16
,int32
,int64
,uint
,uint8
,uint16
,uint32
,uint64
,uintptr
string
- Pointer type of the above listed basic types
Composed types (struct, map, slice, array) are safe, if the type of the value is safe. For structs, only exported fields are relevant. For maps, the key needs to be either an integer type or a string.
The following types are unsafe to use with json encoding functions, that is, the encoding to JSON can fail (return an error):
Unsafe basic types:
float32
,float64
interface{}
- Pointer type of the above listed basic types
Any composed types (struct, map, slice, array) containing an unsafe basic type.
If a type implements the json.Marshaler
or encoding.TextMarshaler
interface (e.g. json.Number
).
Forbidden basic types:
complex64
,complex128
chan
func
unsafe.Pointer
Any composed types (struct, map, slice, array) containing a forbidden basic type. Any map
using a key with a forbidden type (bool
, float32
, float64
, struct
).
For encoding/json.MarshalIndent
, there is a (pathological) edge case, where this
function could return an error for an otherwise safe argument, if the argument has
a nesting depth larger than 10000
(as of Go 1.18).
During the development of errcheckjson
, the following issues in package encoding/json
of the Go standard library have been found and PR have been merged:
- Issue #34154: encoding/json: string option (struct tag) on string field with SetEscapeHTML(false) escapes anyway
- PR #34127: encoding/json: fix and optimize marshal for quoted string
- Issue #34268: encoding/json: wrong encoding for json.Number field with string option (struct tag)
- PR #34269: encoding/json: make Number with the ,string option marshal with quotes
- PR #34272: encoding/json: validate strings when decoding into Number