Em C o espaço que você reserva para os dasdos e como você efetivametne usa esses dados são duas coisas separadas.
COmo o sizeof(char) é sempre 1, você de fato, ao chamar o realloc deixou apenas 3 bytes reservados para o seu texto de exemplo - como você esperava.
Só que a função "printf" não sabe disso - ao buscar uma string para impressão, como o código de controle "%s" ela vai imprimir toda a string de destino até encontrar um caractére \x00
. Se não houver nenhum antes do final da área alocada para a astrign pdem acotnecer uma de duas coisas: o seu programa termina com um segmentatin fault, ou, o pritnf consome dados de uma área de uma área em que podem estar sendo usados para outras coisas dentro do seu programa. Por concidencia, os bytes que você liberou com o realloc continuaram dentro de um segmento usado no seu programa e esses dados não foram usados por mais nada - então seu printf
funcionou.
Mas a grande lição para se ter em memte é: em C não existe nenhum mecanismo automático que vai "parar" o acesso a memória e restringi-lo a areas que você alocou (seja com malloc, seja reservando as dimensões na declaração de variável) - você é responsável por saber que todas as funções chamadas pelo seu programa estão acessando areas de memória permitidas.
Se quiser verfificação automática de tamanhos de vetores, e etc, só vai encontrar isso em linguagens de mais algo nível - Java, Go, Pythn, RUby, etc... Em C, e C++ é você e a CPU.
sizeof (char)
é1
.