nilnil

ニルニル

nilエラーと無効な値の同時リターンがないことを確認します。

インストールと使用

 $ go install github.com/Antonboom/nilnil@latest
$ nilnil ./...

モチベーション

return nil, nil goのために慣用的ではありません。開発者は、エラーがない場合、返品値は有効であり、追加のチェックなしで使用できるという事実に慣れています。

 user , err := getUser ()
if err != nil {
    return err
}
if user != nil { // Ambiguous!
    // Use user.
}

せいぜい、これはようなコメントにつながります

 // ...
// If this compilation unit has no line table, it returns nil, nil.
func ( d * Data ) LineReader ( cu * Entry ) ( * LineReader , error ) {

これは真の制約ではありません。そして、最悪の場合、そのようなコードはパニックにつながる可能性があります。

上記の例をセンチネルのエラーで書き直します。

 user , err := getUser ()
if errors . Is ( err , errUserNotFound ) {
    // Do something and return.
}
if err != nil {
    return err
}

// Use user.

反対の状況

時には、人々は反対の状況（NIL以外のエラーと同時に有効な値を返す）もアンチパターンであると考えています。

たとえば、このKubernetesコード

 func ( fh * fakeHistory ) UpdateControllerRevision ( revision * apps. ControllerRevision , newRevision int64 ) ( * apps. ControllerRevision , error ) {
    clone := revision . DeepCopy ()
    clone . Revision = newRevision
    return clone , fh . indexer . Update ( clone )
}

次のように書き直すことができます

 func ( fh * fakeHistory ) UpdateControllerRevision ( revision * apps. ControllerRevision , newRevision int64 ) ( * apps. ControllerRevision , error ) {
    clone := revision . DeepCopy ()
    clone . Revision = newRevision
    if err := fh . indexer . Update ( clone ); err != nil {
        return nil , fmt . Errorf ( "update index: %w" , err )
    }
    return clone , nil
}

でたらめだと思うとしたら？

各ケースを個別に分析する必要があることを理解していますが、リナーが再び考えさせることを願っています。あいまいなAPIを使用する必要があるか、センチネルエラーを使用してそれを行う方が良いですか？

いずれにせよ、リナーを有効にすることはできません。

構成

cli

$ nilnil --checked-types chan,func,iface,map,ptr,uintptr,unsafeptr ./...
$ nilnil --detect-opposite ./...
$ nilnil --detect-opposite --checked-types ptr ./..

Golangci-Lint

https://golangci-lint.run/usage/linters/#nilnil

 linters-settings :
  nilnil :
    # In addition, detect opposite situation (simultaneous return of non-nil error and valid value).
    # Default: false
    detect-opposite : true
    # List of return types to check.
    # Default: ["chan", "func", "iface", "map", "ptr", "uintptr", "unsafeptr"]
    checked-types :
      - chan
      - func
      - iface
      - map
      - ptr
      - uintptr
      - unsafeptr 

例

Crypto/TLSのParsePublickey

 // BEFORE

func parsePublicKey ( algo PublicKeyAlgorithm , keyData * publicKeyInfo ) ( interface {}, error ) {
    der := cryptobyte . String ( keyData . PublicKey . RightAlign ())
    switch algo {
    case RSA :
        // ...
        return pub , nil
    case ECDSA :
        // ...
        return pub , nil
    case Ed25519 :
        // ...
        return ed25519 . PublicKey ( der ), nil
    case DSA :
        // ...
        return pub , nil
    default :
        return nil , nil
    }
}

// AFTER

var errUnknownPublicKeyAlgo = errors . New ( "unknown public key algo" )

func parsePublicKey ( algo PublicKeyAlgorithm , keyData * publicKeyInfo ) ( interface {}, error ) {
    der := cryptobyte . String ( keyData . PublicKey . RightAlign ())
    switch algo {
    case RSA :
        // ...
        return pub , nil
    case ECDSA :
        // ...
        return pub , nil
    case Ed25519 :
        // ...
        return ed25519 . PublicKey ( der ), nil
    case DSA :
        // ...
        return pub , nil
    default :
        return nil , fmt . Errorf ( "%w: %v" , errUnknownPublicKeyAlgo , algo )
    }
}

net/httpのhttp2clientconnreadloop

 // BEFORE

// As a special case, handleResponse may return (nil, nil) to skip the frame.
func ( rl * http2clientConnReadLoop ) handleResponse ( /* ... */ ) ( * Response , error ) {
    if statusCode >= 100 && statusCode <= 199 {
        return nil , nil
    }
}

// ...
res , err := rl . handleResponse ( cs , f )
if err != nil {
	return err
}
if res == nil {
    // (nil, nil) special case. See handleResponse docs.
    return nil
}

// AFTER

var errNeedSkipFrame = errors . New ( "need skip frame" )

// As a special case, handleResponse may return errNeedSkipFrame to skip the frame.
func ( rl * http2clientConnReadLoop ) handleResponse ( /* ... */ ) ( * Response , error ) {
    if statusCode >= 100 && statusCode <= 199 {
        return nil , errNeedSkipFrame
    }
}

// ...
res , err := rl . handleResponse ( cs , f )
if errors . Is ( err , errNeedSkipFrame ) {
    return nil
}
if err != nil {
    return err
}

実装されていません

 // BEFORE

func ( s * Service ) StartStream ( ctx context. Context ) ( * Stream , error ) {
    return nil , nil
}

// AFTER

func ( s * Service ) StartStream ( ctx context. Context ) ( * Stream , error ) {
    return nil , errors . New ( "not implemented" )
}

nil-safeタイプ

 package ratelimiter

type RateLimiter struct {
    // ...
}

func New () ( * RateLimiter , error ) {
    // It's OK, RateLimiter is nil-safe.
    // But it's better not to do it anyway.
    return nil , nil
}

func ( r * RateLimiter ) Allow () bool {
    if r == nil {
        return true
    }
    return r . allow ()
}

仮定

• Linterは、2つの返された引数で関数のみをチェックしますが、最後はerrorを実装します。
• 次のタイプがチェックされます：
  • ポインター（ uinptrおよびunsafe.Pointerを含む）、関数およびインターフェイス（ panic: invalid memory address or nil pointer dereference ）;
  • マップ（ panic: assignment to entry in nil map ）;
  • チャンネル（ fatal error: all goroutines are asleep - deadlock! ）
• 明示的なreturn nil, nilのみがサポートされています。

GO 1.22.2ソースコードを確認してください

クリックして展開します

$ cd $GOROOT /src
$ nilnil ./... 2>&1 | grep -v " _test.go "  
/usr/local/go/src/internal/bisect/bisect.go:196:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/net/fd_unix.go:71:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/net/fd_unix.go:79:4: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/net/fd_unix.go:156:4: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/net/iprawsock_posix.go:36:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/net/tcpsock_posix.go:38:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/net/udpsock_posix.go:37:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/net/unixsock_posix.go:92:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/crypto/tls/key_agreement.go:46:2: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/crypto/tls/ticket.go:355:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/crypto/tls/ticket.go:359:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/database/sql/driver/types.go:157:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/database/sql/driver/types.go:232:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/database/sql/driver/types.go:263:4: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/database/sql/convert.go:548:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/database/sql/sql.go:205:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/database/sql/sql.go:231:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/database/sql/sql.go:257:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/database/sql/sql.go:284:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/database/sql/sql.go:311:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/database/sql/sql.go:337:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/database/sql/sql.go:363:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/database/sql/sql.go:389:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/database/sql/sql.go:422:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/debug/dwarf/entry.go:884:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/debug/dwarf/line.go:146:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/debug/dwarf/line.go:153:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/debug/dwarf/typeunit.go:138:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/debug/pe/file.go:470:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/net/http/h2_bundle.go:9530:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/net/http/transfer.go:765:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/net/http/transfer.go:775:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/net/http/transfer.go:798:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/go/build/build.go:1442:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/go/build/build.go:1453:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/go/build/build.go:1457:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/go/build/build.go:1491:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/go/internal/gccgoimporter/ar.go:125:3: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/image/jpeg/reader.go:622:5: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/image/png/reader.go:434:4: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/internal/profile/legacy_profile.go:1089:4: return both a ` nil ` error and an invalid value: use a sentinel error instead
/usr/local/go/src/net/internal/socktest/switch.go:142:3: return both a ` nil ` error and an invalid value: use a sentinel error instead