Archery
Archery is a rust library that offers a way to abstraction over Rc and Arc smart pointers. This allows you to create data structures where the pointer type is parameterizable, so you can avoid the overhead of Arc when you don’t need to share data across threads.
In languages that supports higher-kinded polymorphism this would be simple to achieve without any library, but rust does not support that yet. To mimic higher-kinded polymorphism Archery implements the approach suggested by Joshua Liebow-Feeser in “Rust has higher kinded types already… sort of”. While other approaches exist, they seem to always offer poor ergonomics for the user.
Setup
To use Archery add the following to your Cargo.toml:
[dependencies]
archery = "<version>"
Using Archery
Archery defines a SharedPointer that receives the kind of pointer as a type parameter. This gives you a convenient and ergonomic way to abstract the pointer type away.
Example
Declare a data structure with the pointer kind as a type parameter bounded by SharedPointerKind:
use archery::*;
struct KeyValuePair<K, V, P: SharedPointerKind> {
pub key: SharedPointer<K, P>,
pub value: SharedPointer<V, P>,
}
impl<K, V, P: SharedPointerKind> KeyValuePair<K, V, P> {
fn new(key: K, value: V) -> KeyValuePair<K, V, P> {
KeyValuePair {
key: SharedPointer::new(key),
value: SharedPointer::new(value),
}
}
}
To use it just plug-in the kind of pointer you want:
let pair: KeyValuePair<_, _, RcK> =
KeyValuePair::new("António Variações", 1944);
assert_eq!(*pair.value, 1944);
Limitations
Currently it is not possible to have unsized types inside a SharedPointer. As a workaround you can put the unsized type inside a Box.
Alternative approaches
An alternative to the approach taken by Archery is to use traits with associated types to encode type-level functions. This has been suggested multiple times, but offers ugly ergonomics (see here and here).
7.8k Jan 7, 2023
404 Dec 31, 2022
454 Dec 2, 2022
18 Dec 14, 2022
2.1k Jan 6, 2023
1 Oct 30, 2021
3 Apr 27, 2022
147 Apr 14, 2023
17 Feb 1, 2023
372 Dec 19, 2022
8 Jun 4, 2022
11 Jan 12, 2022
1 Apr 11, 2022
38 Aug 28, 2022
3 May 10, 2023
3 Mar 23, 2024
3 Apr 9, 2024
793 Jan 2, 2023
4 Oct 3, 2022
1 Nov 15, 2021