Closed braddunbar closed 5 months ago
A fundamental invariant of reserve is that it can extend capacity while the stored data remains the same, even if it's moved to a new allocation. As a result, len can never change during a call to reserve.
reserve
len
A fundamental invariant of
reserve
is that it can extend capacity while the stored data remains the same, even if it's moved to a new allocation. As a result,len
can never change during a call toreserve
.