Crates.io | borrowme |
lib.rs | borrowme |
version | 0.0.15 |
source | src |
created_at | 2023-05-01 04:22:55.003657 |
updated_at | 2024-05-18 07:26:41.717186 |
description | The missing compound borrowing for Rust. |
homepage | https://github.com/udoprog/borrowme |
repository | https://github.com/udoprog/borrowme |
max_upload_size | |
id | 853196 |
size | 67,480 |
The missing compound borrowing for Rust.
Rust comes with two sibling traits which that can convert from owned to
borrowed: ToOwned
, Borrow
and
BorrowMut
.
These can convert most simple types such as &str
to and from String
. But
lets think of this in a broader perspective. How to we convert a type that
has lifetimes, to one which does not? This crate defines its own
ToOwned
, Borrow
and BorrowMut
traits which serve a similar
purpose to the ones in std
but are implemented so that they can do this
not only for simple references but also for compound types which receives
lifetimes.
To help us implement these traits the #[borrowme]
attribute
macro is provided (see this section for why it's not a
derive).
#[borrowme]
#[derive(Clone)]
#[borrowed_attr(derive(Copy))]
struct Word<'a> {
text: &'a str,
}
From this we get the following types and implementations:
#[derive(Clone, Copy)]
struct Word<'a> {
text: &'a str,
}
#[derive(Clone)]
struct OwnedWord {
text: String,
}
impl borrowme::ToOwned for Word<'_> {
type Owned = OwnedWord;
fn to_owned(&self) -> OwnedWord {
/* .. */
}
}
impl borrowme::Borrow for OwnedWord {
type Target<'a> = Word<'a>;
fn borrow(&self) -> Word<'_> {
/* .. */
}
}
By itself this isn't much, but here's the big trick. Types using this crate can be composed and converted into their borrowed or owned counterparts as needed:
use std::collections::HashMap;
#[borrowme]
struct Word<'a> {
text: &'a str,
}
#[borrowme]
struct Dictionary<'a> {
words: HashMap<&'a str, Word<'a>>,
}
let dictionary = Dictionary {
/* .. */
};
let owned_dictionary: OwnedDictionary = borrowme::to_owned(&dictionary);
let dictionary2: Dictionary<'_> = borrowme::borrow(&owned_dictionary);