I don't know about the writing, but there are pictures in this article that illustrate the two successful cases of realloc working: The realloc() Function in C - C Programming Tutorial - OverIQ.comOriginally Posted by Kittu20
The short version is this: realloc checks the "internal records" of the allocation system to see if the memory block you are using can be expanded in-place. If not, then it looks for a memory block that is large enough to satisfy your new size. If it finds, or can obtain from the OS, such a block, then it "copies" your existing memory block over to the new location, marks the old location as free(), and returns a pointer to the new block. If it cannot find such a block, then it returns NULL, leaving your original block unmodified.
As a caller of realloc, you have to deal with these cases:
1. realloc returns the same block pointer, but there is more space available in that location. The old pointer is still valid, and any pointers into the old block are still valid.
2. realloc returns a different block pointer, with more space available. The old pointer is no longer valid. Any pointers into the old block are invalid.
3. realloc returns NULL. This suggests that calls to malloc will also return NULL for the same size. The old pointer is still valid, but no additional space is available. Any pointers into the old block are still valid.
It is absolutely not recommended to use realloc on an object that will have pointers taken to inside parts. Either you should use only data types that do not provide interior pointers, or you should rely instead on indexes or relative pointers. (A relative pointer is just an index with a different base type ;-)
Because realloc can fail, you must account for that case. If you are still learning C, the most reasonable behavior is probably "samurai mode." Just write yourself a library that exports functions like sm_realloc that do the exact same job, but which print a message and exit if a failure occurs. On the other hand, if you are writing a serious application like a text editor, the fact that the system is still in the same state after a failed call to realloc means you can possibly recover from the error (by closing buffers, say) or you could gracefully save all the files and exit, if necessary.
