Quelle est la signification du « Champ inconnu » dans une trace de pile de panique Go, et comment pouvons-nous décoder les arguments dans le traçage ?

Explorer les champs inconnus dans les traces de pile de panique

Rencontrer l'énigmatique « Champ inconnu dans la trace de pile de panique » n'est pas rare lors du débogage d'erreurs de panique dans Go. Pour résoudre cette énigme, examinons la complexité des traces de pile.

Dans l'extrait de code fourni :

package main

func F(a int) {
    panic(nil)
}

func main() {
    F(1)
}

L'exécution du programme révèle une trace de pile de panique :

panic: nil

goroutine 1 [running]:
main.F(0x1, 0x10436000)
    /tmp/sandbox090887108/main.go:4 +0x20
main.main()
    /tmp/sandbox090887108/main.go:8 +0x20

Quelle est la signification de la valeur cryptique 0x10436000 mentionnée à côté de F(0x1) ?

Le mystère dévoilé

La valeur 0x10436000 n'est pas un deuxième argument de la fonction. Au lieu de cela, il représente les valeurs de données brutes transmises comme premier argument, exprimées sous forme de valeurs de la taille d'un pointeur. Ceci est le résultat de l'architecture du terrain de jeu, qui présente une taille de mot de 64 bits mais des pointeurs de 32 bits (GOARCH=amd64p32).

Décodage des arguments

Dans le fichier traceback.go, le les valeurs sont imprimées en accédant de manière itérative aux arguments en fonction de la taille de leur pointeur :

for i := uintptr(0); i < frame.arglen/sys.PtrSize; i++ {

Cela signifie que puisque la taille du mot est le double de la taille du pointeur dans le terrain de jeu, des paires de valeurs sont imprimées dans les arguments de chaque cadre.

Exemples de clarté

Pour illustrer davantage :

• Considérez la fonction suivante :

func F(a uint8) {
    panic(nil)
}

Appel des résultats F(1) dans :

main.F(0x97301, 0x10436000)

Seuls les 8 premiers bits du mot de 64 bits sont utilisés (1 dans ce cas), tandis que le reste est inutilisé.

• Sur les systèmes amd64, une fonction avec trois arguments uint32 produirait une trace de pile :

main.F(0x100000001, 0xc400000001)

Les trois arguments occupent deux mots et les valeurs supplémentaires inutilisées sont imprimées.

• Fonctions avec les valeurs de retour allouent également de l'espace sur la pile, comme le démontre :

func F(a int64) (int, int)

Sur amd64, les arguments du cadre de pile apparaîtront comme :

main.F(0xa, 0x1054d60, 0xc420078058)

Le premier mot est pour l'argument, tandis que les deux autres sont destinés aux valeurs de retour non initialisées.

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!