Estou depurando Rust no VSCode usando LLDB. Por que algumas das variáveis locais que aparecem no depurador desaparecem quando coloco um ponto de interrupção no final do escopo no código da imagem? Existe uma configuração para evitar que elas desapareçam?
Colocar um ponto de interrupção no final do escopo para verificar o valor de uma variável local é a maneira mais fácil de verificar o valor, então não queremos usar o método demorado de depuração println, se possível.
As informações de depuração para uma variável consistem em uma série de intervalos de pc no programa onde essa variável é visível, e a localização na memória ou em registros da variável em cada intervalo. Fora desses intervalos, o valor da variável não é conhecido. Essa é uma determinação feita pelo compilador, o depurador está apenas mostrando o que ele escreveu nas informações de depuração.
Observe que as informações de depuração são capazes de expressar que uma variável estava em um registro para algum intervalo de PCs, depois foi movida para a pilha para outro intervalo, depois voltou para um registro, etc. Portanto, se o compilador estiver emitindo as informações de depuração corretamente, movimentos como esses podem ser rastreados pelo depurador.
Não sei por que o compilador Rust acha que no final dessa função `a` ainda está no escopo, mas `b` não. No entanto, não há garantia na maioria das linguagens de que o armazenamento de uma variável seja retido em todo o escopo semântico da definição da variável, e linguagens que gerenciam ciclos de vida de objetos com ARC ou outras técnicas geralmente gostam de se livrar de variáveis após o último pedaço de código que as referencia, pois isso as torna mais eficientes em termos de memória. Então, em geral, você só tem a garantia de conseguir visualizar uma variável antes de seu último uso.
A maioria dos compiladores C quando executados em -O0 não reutilizarão o espaço de pilha para variáveis dessa forma. Mas no Swift, por exemplo, o compilador adicionou uma "variável sombra" que só é emitida quando o otimizador está desligado e informações de depuração estão sendo geradas, que são usadas para prolongar artificialmente a vida útil das variáveis para corresponder ao seu escopo como um auxílio na depuração. Essa foi a maneira mais limpa de contornar a ânsia da recuperação de variáveis do Swift. Talvez o Rust precise de algo assim?
De qualquer forma, o TL;DR é que isso é algo que terá que ser corrigido no compilador Rust. O compilador nos disse que não sabe onde
bestá no seu PC atual, e o depurador nunca deve tentar adivinhar sobre valores, isso acaba causando mais mal do que bem.