Growing std::vector by a factor that allows memory reuse (2020)github.com/facebook1 pointnequo3 years ago