Valeur inattendue du débogueur VS Code

l'éditeur php Strawberry vous propose un outil inattendu : le débogueur VS Code. En tant qu'éditeur de code puissant, la fonction de débogage de VS Code fournit des outils de débogage pratiques pour aider les développeurs à localiser et à résoudre plus rapidement les problèmes dans le code. Qu'il s'agisse de débogage en une seule étape, de débogage de points d'arrêt ou d'affichage de valeurs de variables, le débogueur VS Code peut fournir des commentaires et des invites précis, améliorant considérablement l'efficacité du développement. Explorons ensemble cet incroyable débogueur !

Contenu des questions

Fonction

J'ai cette fonction pour détecter si le volume d'un tétraèdre est quasi nul, c'est à dire s'il est plat :

import (
    "math"

    v3 "github.com/deadsy/sdfx/vec/v3"
)

// mathematica script is available here:
// https://math.stackexchange.com/a/4709610/197913
func iszerovolume(a, b, c, d v3.vec) (bool, float64) {
    ab := b.sub(a)
    ac := c.sub(a)
    ad := d.sub(a)

    // note that the `norm` function of mathematica is equivalent to our `length()` function.
    nab := ab.length()
    ncd := ac.sub(ad).length()
    nbd := ab.sub(ad).length()
    nbc := ab.sub(ac).length()
    nac := ac.length()
    nad := ad.length()

    // check for 0 edge lengths
    if nab == 0 || ncd == 0 ||
        nbd == 0 || nbc == 0 ||
        nac == 0 || nad == 0 {
        return true, 0
    }

    volume := 1.0 / 6.0 * math.abs(ab.cross(ac).dot(ad))
    denom := (nab + ncd) * (nac + nbd) * (nad + nbc)

    // tolerance derived from here:
    // https://math.stackexchange.com/a/4709610/197913
    tolerance := 480.0

    rho := tolerance * volume / denom

    return rho < 1, volume
}

Entrez

J'utilise ces quatre points d'entrée pour parcourir le code :

{X: -1.572793602943422, Y: -4.157202807477221, Z: 5.603983008116483}
{X: -2.45160644054413, Y: -3.4214927673339854, Z: 6.135950530673543}
{X: -2.45160644054413, Y: -3.7163730403986044, Z: 5.603983008116483}
{X: -1.572793602943422, Y: -3.5355907043553003, Z: 6.482795845717191}

Débogueur

Parcourir le code via le débogueur vs code montre que la variable locale a les valeurs suivantes :

Question

Les valeurs affichées par le débogueur n'ont pas de sens. denom 和 tolerance 如何成为 0 ? Un non-sens total pour moi. Ai-je manqué quelque chose?

Solution

Voici une version simplifiée de la démo montrant le problème :

 1  package main
 2  
 3  func main() {
 4      a := f(1)
 5      b := 1
 6  
 7      c := a < b
 8      _ = c
 9  }
10  
11  func f(i int) int {
12      if i > 0 {
13          return i
14      }
15      return -i
16  }

Voici le résultat de la session de débogage Delve :

(dlv) b 7
Breakpoint 2 set at 0x4608de for main.main() ./main.go:7
(dlv) c
> main.main() ./main.go:7 (hits goroutine(1):1 total:1) (PC: 0x4608de)
     2: 
     3: func main() {
     4:     a := f(1)
     5:     b := 1
     6: 
=>   7:     c := a < b
     8:     _ = c
     9: }
    10: 
    11: func f(i int) int {
    12:     if i > 0 {
(dlv) locals
a = 824633745824
b = 824633843808
(dlv) disass
TEXT main.main(SB) /home/zeke/src/temp/76380802/main.go
    main.go:3   0x4608c0    493b6610            cmp rsp, qword ptr [r14+0x10]
    main.go:3   0x4608c4    7639                jbe 0x4608ff
    main.go:3   0x4608c6    4883ec28            sub rsp, 0x28
    main.go:3   0x4608ca    48896c2420          mov qword ptr [rsp+0x20], rbp
    main.go:3   0x4608cf    488d6c2420          lea rbp, ptr [rsp+0x20]
    main.go:4   0x4608d4    b801000000          mov eax, 0x1
    main.go:4   0x4608d9    e842000000          call $main.f
=>  main.go:7   0x4608de*   4883f801            cmp rax, 0x1
    main.go:4   0x4608e2    4889442418          mov qword ptr [rsp+0x18], rax
    main.go:5   0x4608e7    48c744241001000000  mov qword ptr [rsp+0x10], 0x1
    main.go:7   0x4608f0    0f9c44240f          setl byte ptr [rsp+0xf]
    main.go:9   0x4608f5    488b6c2420          mov rbp, qword ptr [rsp+0x20]
    main.go:9   0x4608fa    4883c428            add rsp, 0x28
    main.go:9   0x4608fe    c3                  ret
    main.go:3   0x4608ff    90                  nop
    main.go:3   0x460900    e83bccffff          call $runtime.morestack_noctxt
    main.go:3   0x460905    ebb9                jmp $main.main

Vous verrez l'instruction 0x4608de 被选为 :7 行的断点。此时，变量a和b还没有得到它们的值（a稍后在指令0x4608e2处获取值，而b在0x4608e7obtenir la valeur).

C'est pourquoi vous n'obtenez pas la bonne valeur au début, puis elle "se corrige toute seule".

Ce problème a été signalé comme cmd/compile : emplacement nain incorrect pour la variable #58813 一个>.

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!