Comment les instructions « defer » affectent-elles les valeurs de retour nommées dans Go ?

Comment defer interagit-il avec les valeurs de retour nommées ?

Dans Go, le mot-clé defer diffère l'exécution d'une fonction jusqu'à ce que la fonction environnante renvoie . Dans le contexte de valeurs de retour nommées, ce comportement permet aux fonctions différées de modifier les valeurs qui seront finalement renvoyées.

Considérons l'exemple suivant :

func c() (i int) {
    defer func() { i++ }()
    return 1
}

Dans cet exemple, la fonction main renvoie 1. Cependant, la fonction différée incrémente la valeur de retour nommée i de 1 avant le retour de la fonction principale. Par conséquent, la valeur de retour réelle de la fonction principale est 2.

Ce comportement est possible car dans Go, les instructions return avec des arguments attribuent effectivement des valeurs aux variables de retour nommées avant de revenir. Par conséquent, l'instruction return 1 est équivalente à ce qui suit :

i = 1
return

En conséquence, la fonction différée peut attribuer à la valeur de retour nommée i et modifier la valeur de retour de la fonction environnante.

Il est important de noter que l'ordre des instructions de report est important. Les fonctions différées sont exécutées dans un ordre Last-In-First-Out (LIFO). Cela signifie que la fonction différée la plus récemment sera exécutée en premier après le retour de la fonction environnante.

Pour mieux comprendre comment cela fonctionne, considérons l'exemple révisé suivant :

func c() (i int) {
    defer func() { fmt.Println("third") }()
    defer func() { i = 2 }()
    defer func() { fmt.Println("first") }()

    fmt.Println("second")
    return 1
}

Dans cet exemple, l'ordre d'exécution est le suivant :

1. fmt.Println("second")
2. return 1
3. i = 2
4. fmt.Println("first")
5. fmt.Println("third")

La fonction différée qui définit i sur 2 est exécuté avant le retour de la fonction, donc la valeur de retour est 2. Les instructions fmt.Println sont exécutées dans l'ordre inverse en raison au comportement LIFO de report.

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!