Consider this example,
// x is a int* allocated previously via 'new'delete x;x = new int;Does this code always guarantee a memory allocation in last line as there is definitely memory left to hold an int at least from the previous deallocation.
In case the standard currently does not provide any such guarantee, is that decision because of a room for a potential optimization?
Does any popular implementations get advantage of that optimization or do all of them simply guarantees the allocation after deallocation?
Or is it just impossible to provide such guarantee? In that case, can you provide a case where the allocation after the deallocation is absolutely bound to fail.
When I say allocation after deallocation in the above question, I'm talking about allocation of equal or smaller size than deallocation as I know allocating a larger size may not always be possible due to insufficient memory.
