plusieurs appels à realloc() semble causer une corruption de tas

Question

Quel est le problème avec ce code? Il se bloque à chaque fois.

Une fois c'est une assertion qui a échoué "_ASSERTE (_CrtIsValidHeapPointer (pUserData));", d'autres fois c'est juste une erreur "tas corrpuption".

La modification de la taille de la mémoire tampon affecte ce problème de manière étrange - parfois elle se bloque sur le "realloc", et d'autres fois sur le "libre".

J'ai débogué ce code plusieurs fois, et il n'y a rien d'anormal concernant les pointeurs.

char buf[2000]; 
char *data = (char*)malloc(sizeof(buf)); 
unsigned int size = sizeof(buf); 

for (unsigned int i = 0; i < 5; ++i) 
{ 
char *ptr = data + size; 
size += sizeof(buf); 
char *tmp = (char*)realloc(data, size); 
if (!tmp) 
{ 
    std::cout << "Oh no.."; 
    break; 
} 
data = tmp; 
memcpy(ptr, buf, sizeof(buf)); 
} 

free(data); 

Merci!

Answer 1

Vous écrasez le tas. realloc peut librement choisir de vous renvoyer la mémoire à partir d'un emplacement entièrement différent lors de la réaffectation, ce qui invalide votre ptr. Définissez ptr après réattribution.

Answer 2

Sur la deuxième itération de la boucle ici sont les valeurs

• data des points à un tampon de taille sizeof(buf)
• size a une valeur de sizeof(buf)

Compte tenu de ces valeurs la valeur de ptr est qu'il pointe la fin de la mémoire tampon allouée en data. Il s'agit d'une mémoire qui n'appartient pas au processus et l'opération memcpy suivante y écrit et corrompt la mémoire.

Answer 3

char *ptr = data + size; 
char *tmp = (char*)realloc(data, size); 
memcpy(ptr, buf, sizeof(buf)); 

L'appel à realloc() ici peut potentiellement libérer l'ancien tampon, avant de retourner le nouveau.