Dúvida sobre ponteiros! [RESOLVIDO]

paulo1205
(usa Ubuntu)

Enviado em 12/01/2023 - 05:54h

Você não precisa usar se for sair do programa imediatamente depois, mas é geralmente considerado uma prática boa você liberar o que alocou, e só contar com a limpeza automática do SO quando você tiver de sair do programa por causa de alguma situação crítica, que o programa não tem como tratar. Uma ferramenta como o Valgrind possivelmente vai reclamar se o programa sair por vias normais sem desalocar o que alocou.

Eu não sei se, nesse caso especificamente, você achou que não deveria chamar free() porque a alocação não foi explicitamente feita por uma função da família de malloc()/calloc()/realloc(). No entanto, como eu cheguei a mencionar ao longo do tópico antigo que você mencionou, é possível que outras funções da biblioteca façam alocações de dados usando internamente malloc() e companhia. É o caso da alocação dinâmica feita por scanf(), de modo que é seguro você desalocar com free() algo que tenha sido alocado por essa função (leia a man page de scanf()).



Nesse caso, você tema mesma variável de tipo ponteiro que, ao longo do tempo, é usada para apontar para quatro constantes literais de strings diferentes. Essas constantes literais residem em posições fixas do programa — fixadas pelo compilador e linker durante a compilação e geração do executável. O ponteiro Ptr é uma variável que guarda apenas um endereço, e, nas quatro linhas acima, tem esse valor de endereço alterado quatro vezes (uma na inicialização e em cada uma das três atribuições posteriores): no primeiro momento, o endereço armazenado corresponde à posição de memória do primeiro caráter da primeira constante literal de string, depois o endereço do primeiro caráter da segunda constante literal de string, depois o endereço do primeiro caráter da terceira string, e, por fim, o endereço do primeiro caráter da quarta string.

Não existe alocação ou realocação cada vez que você muda o endereço contido na variável. As constantes literais de string, como dito acima, são fixas. O seu ponteiro simplesmente aponta para (o primeiro caráter de) cada uma delas em diferentes momentos ao longo da vida do programa.

Ponteiro e alocação não são coisas necessariamente relacionadas. Constantes literais, por exemplo, são alocadas de uma vez por todas durante a compilação/geração do executável, e é possível que vários ponteiros apontem para a mesma constante literal ao longo da vida do programa, ou mesmo que nenhum ponteiro o faça, se tal necessidade não surgir em momento nenhum da execução.

Quando você tem uma função como a seguinte,

void f(void){

    const char *ptr="Que lindo dia!";

    puts(ptr);

} 

não existe alocação nenhuma durante a execução. A string é uma constante literal que faz parte do programa executável e é carregada junto com ele para a memória. Quando a função f() é invocada, a variável ptr dentro dela só copia o endereço do primeiro caráter da constante. e depois é usada para copiar esse mesmo valor de endereço para o argumento de puts(). Por ser uma variável local automática (i.e. não é estática), realmente ptr só existe durante o tempo de execução da função, mas a função só tem de alocar espaço para a a variável ponteiro, que armazena apenas um endereço, não uma cópia do texto.

Isso é diferente das seguintes outras duas funções.

void g(void){

    static const char array[]="Que lindo dia!";

    puts(ptr);

} 

void h(void){

    const char array[]="Que lindo dia!";

    puts(ptr);

} 

Em g(), a variável local array é estática, e está sendo diretamente associada ao valor da constante literal de string. Durante a compilação, o compilador aloca espaço para essa constante literal juntamente com todas as outras constantes do programa. Na invocação de puts(), o compilador substitui diretamente o valor do endereço dessa região alocada para a constante literal de string, sem nenhuma operação intermediária.

Em h(), a variável local array é automática, o que significa que o compilador terá de alocar espaço para o array (quinze bytes: se eu não tiver contado errado, sendo quatorze para o texto e mais um para o byte nulo) cada vez que a função for invocada, e copiar para essa região de memória automática os caracteres da constante literal de string que reside em algum lugar do bloco de memória reservado para as constantes do programa. Na invocação de puts(), o endereço usado será o endereço do array local, que recebeu uma cópia do conteúdo da constante literal, não será o endereço da constante original. Finalmente, quando a função terminar, esses quinze bytes locais serão descartados.


Quando o programa termina, todos os recursos que haviam sido entregues a ele, quer no momento em que o programa em si foi carregado para a memória, quer recursos que ele tenha obtido durante a execução, são liberados.


... Então Jesus afirmou de novo: “(...) eu vim para que tenham vida, e a tenham plenamente.” (João 10:7-10)