Removing elements from vector efficiently?

May 27, 2023

Or when going backwards is the way to go.

2 Comments

Good read. How about thread safety of erased vector?

Expand full comment

May 28, 2023Author

Thanks. Can you elaborate on what you mean by "thread safety of erased vector"?

Expand full comment

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts