Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add extract(key) and extract(it) API #105

Merged
merged 4 commits into from
Dec 24, 2023
Merged

Conversation

martinus
Copy link
Owner

@martinus martinus commented Dec 23, 2023

Similar to erase(), but the return value is the erased element, moved out.
This has practically the same performance behavior as erase(), except
for 2 additional moves. (once into a temporary variable), and then out.

Similar to erase(), but the return value is the erased element, moved out.
This has practically the same performance behavior as erase(), except
for 2 additional moves. (once into a temporary variable), and then out.
@martinus martinus changed the title 2023 12 move elements out Add extract(key) and extract(it) API. Dec 23, 2023
@martinus martinus changed the title Add extract(key) and extract(it) API. Add extract(key) and extract(it) API Dec 23, 2023
@martinus martinus force-pushed the 2023-12-move-elements-out branch from 633023a to 8b34f44 Compare December 23, 2023 07:57
@martinus martinus force-pushed the 2023-12-move-elements-out branch from 8b34f44 to b4f2874 Compare December 24, 2023 06:54
@martinus martinus merged commit 231e48c into main Dec 24, 2023
8 checks passed
@martinus martinus deleted the 2023-12-move-elements-out branch December 24, 2023 07:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant