Golang関数の戻り値を型チェックするにはどうすればよいですか?

Go 言語の関数戻り値の型チェック メカニズムは、コンパイル時に型チェックを実行して、関数の実際の戻り値の型が関数によって宣言された戻り値の型と一致することを確認します。型チェックルールには、戻り値の型値の数が一致していること、型互換性判定の互換性関係が含まれます。同じ基本型、ポインタ型と基本型、インターフェイス型と実装されたインターフェイス型、スライス型と実装する配列型が含まれます。インターフェイス{} インターフェイス。

Go での関数の戻り値の型チェック

Go 言語では、関数は 1 つ以上の値を返すことができます。 。戻り値が正しい型であることを確認するには、型チェックが必要です。

型チェックのメカニズム

Go コンパイラはコンパイル時に型チェックを実行します。関数呼び出しの実際の戻り値の型が、関数の宣言された戻り値の型と一致するかどうかをチェックします。不一致がある場合、コンパイラはエラーを報告します。

型チェックのルール

型チェックは次のルールに従います:

• 実際の戻り値リスト内の値の数関数は関数と同じである必要があります。宣言内の戻り値の型の数は同じです。
• 関数の実際の戻り値リスト内の各値は、対応する関数の宣言された戻り値の型と型互換性がある必要があります。

型の互換性

Go では、型の互換性は、どの型の値を相互に割り当てることができるかを定義します。次の型の関係は互換性があります。

• 同じ基本型
• ポインタ型とポインタが指す基本型
• インターフェイス型と実装する型インターフェイス
• インターフェイスを実装するスライス型と配列型{}

実用的なケース

次は実際のケース 関数の戻り値の型をチェックする方法を示す例:

package main

import "fmt"

func addNumbers(x, y int) (int, error) {
    if x < 0 || y < 0 {
        return 0, fmt.Errorf("invalid input: negative numbers not allowed")
    }
    return x + y, nil
}

func main() {
    result, err := addNumbers(3, 5)
    if err != nil {
        fmt.Println("Error:", err)
        return
    }
    fmt.Println("Result:", result)
}

この例では、

addNumbers 関数は 2 つの値を返します: 結果を表す int 値error 値はエラーを示します。関数宣言で指定された戻り値の型は (int, error) です。これは、関数が int 値と error 値を返さなければならないことを意味します。

main 関数では、addNumbers 関数の戻り値が変数 result と err に割り当てられます。 。コンパイラは、実際の戻り値の型が関数宣言で返される型と一致することを確認します。この場合、result は int 型であり、err は error 型であるため、型チェックは合格します。

以上がGolang関数の戻り値を型チェックするにはどうすればよいですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。