Comment taper vérifier la valeur de retour de la fonction Golang ?

Le mécanisme de vérification du type de valeur de retour de la fonction dans le langage Go effectuera une vérification de type au moment de la compilation pour garantir que le type de valeur de retour réel de la fonction correspond au type de retour déclaré par la fonction. Les règles de vérification de type incluent : le nombre de valeurs de type de retour est cohérent et les relations de compatibilité de jugement de compatibilité de type incluent : le même type de base, le même type de pointeur et le même type de base, le type d'interface et le type d'interface implémenté, le type de tranche et le type de tableau qui implémente le interface{}interface.

Vérification de type des valeurs de retour d'une fonction en Go

Dans le langage Go, une fonction peut renvoyer une ou plusieurs valeurs. Pour garantir que la valeur renvoyée est du type correct, une vérification de type est requise.

Mécanisme de vérification de type

Le compilateur Go effectuera une vérification de type au moment de la compilation. Il vérifie si le type de valeur de retour réel de l'appel de fonction correspond au type de retour déclaré de la fonction. S'il y a une incompatibilité, le compilateur signalera une erreur.

Règles de vérification de type

La vérification de type suit les règles suivantes :

• Le nombre de valeurs dans la liste de valeurs de retour réelle d'une fonction doit être le même que le nombre de types de retour dans la déclaration de fonction.
• Chaque valeur de la liste des valeurs de retour réelles d'une fonction doit être compatible avec le type de retour déclaré de la fonction correspondante.

Compatibilité des types

Dans Go, la compatibilité des types définit quels types de valeurs peuvent être attribués les uns aux autres. Les relations de types suivantes sont compatibles :

• Le même type sous-jacent
• Le type de pointeur et le type sous-jacent pointé par le pointeur
• Le type d'interface et le type qui implémente l'interface
• Le type de tranche et le type qui implémente interface{} code> Type d'interface tableau <code>interface{} 接口的数组类型

实战案例

下面是一个实战案例，展示如何对函数返回值进行类型检查：

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 函数返回两个值：一个 int 值表示结果和一个 error 值表示任何错误。函数声明中指定的返回类型为 (int, error), 这表示函数必须返回一个 int 值和一个 error 值。

在 main 函数中，addNumbers 函数的返回值被赋给变量 result 和 err。编译器将检查实际返回值类型是否与函数声明中返回的类型匹配。在这种情况下，result 类型为 int，err 类型为 error

🎜🎜Cas pratique🎜🎜🎜Ce qui suit est un cas pratique montrant comment taper vérifier la valeur de retour de la fonction : 🎜rrreee🎜Dans cet exemple, le addNumbers La fonction code> renvoie deux valeurs : une valeur <code>int pour le résultat et une valeur error pour toute erreur. Le type de retour spécifié dans la déclaration de la fonction est (int, error), ce qui signifie que la fonction doit renvoyer une valeur int et une valeur error . 🎜🎜Dans la fonction main, la valeur de retour de la fonction addNumbers est affectée aux variables result et err . Le compilateur vérifiera que le type de valeur de retour réel correspond au type renvoyé dans la déclaration de fonction. Dans ce cas, result est de type int et err est de type error, donc la vérification de type réussit. 🎜

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!