What about a `Take` trait?

[lachlansneff]

I saw issue #61129, and thought that it might be a good idea to generalize it.

The prelude could export a new trait called Take.

pub trait Take {
    fn take(&mut self) -> Self;
}

A lot of types could implement it, Vec<T> for example. The take method on Option<T> could be moved into this trait, etc.

The Take trait could even be implemented for every type that implements Default:

impl<T> Take for T
where
    T: Default
{
    fn take(&mut self) -> Self {
        mem::replace(self, Default::default())
    }
}

[czipperz]

This was suggested in the other thread. However, it doesn't seem to make much sense to override this in any other way that the default implementation.

[jonhoo]

Yeah, I have the same suspicion as @czipperz -- how often do you expect the implementation for this to differ from replacing with the default?

[czipperz]

It also would suffer from the fact that traits must be explicitly implemented. Anyway, thank you for your comment and contribution to the discussion!

[Mark-Simulacrum]

I think this is essentially a topic for discussion and we don't really have any clear idea of what we'd use this for (there's also #61129 where this idea has already been discussed quite a bit). If you'd like to discuss this further I would do so on internals. Thanks!