Crate stringlet

Expand description

§🧵 Stringlet

A fast, cheap, compile-time constructible, Copy-able, kinda primitive inline string type. Stringlet length is limited to 64 bytes. Though the longer your stringlets, the less you should be moving and copying them! No dependencies are planned, except for optional SerDe support, etc. The intention is to be no-std and no-alloc – which might yet require feature-gating String interop?

This is an alpha release. Using it as str should mostly work. The design is prepared for String functionality, but that needs to be implemented.

In my casual benchmarking it beats all other string kinds and crates nicely to spectacularly on various tests. There are three flavors of mostly the same code. They differ in length handling, which shows only in some operations, like len(), as_ref(), and as_str():

Stringlet, stringlet!(…): This is fixed size, i.e. bounds for array access are compiled in, hence fast.
VarStringlet, stringlet!(var …), stringlet!(v …): This adds one byte for the length, still pretty fast.
SlimStringlet, stringlet!(slim …), stringlet!(s …): This projects the length into the last byte, when content is less than full size. Though it is done branchlessly, there is some overhead for length calculation. Hence this is the slowest. I’m still racking my brain for how to do it with less ops. Any bit hackers, welcome on board!

N.B.: Our variable size VarStringlet seems a competitor to fixedstr and the semi-official heapless::String. They lack a faster heapless::Str, to match fixed size Stringlet. That is given by arrayvec::ArrayString. I hope it can be independently confirmed (or debunked, if I mismeasured) that for various tasks like == Self or == &str all three variants in this crate seem by a factor faster than competitors.

use stringlet::{Stringlet, VarStringlet, SlimStringlet, stringlet};

let a: VarStringlet<10> = "shorter".into(); // override default Stringlet size of 16 and don’t use all of it
let b = a;
println!("{a} == {b}? {}", a == b);      // No “value borrowed here after move” error 😇

let nothing = Stringlet::<0>::new();     // Empty and zero size
let nil = VarStringlet::<5>::new();      // Empty and size 5 – impossible for fixed size Stringlet

let x = stringlet!("Hello Rust!");       // Stringlet<11>
let y = stringlet!(v 14: "Hello Rust!"); // abbreviated VarStringlet<14>, more than length
let z = stringlet!(slim: "Hello Rust!"); // SlimStringlet<11>
let Ψ = stringlet!(v: ["abcd", "abc", "ab"]); // VarStringlet<4> for each
let ω = stringlet!(["abc", "def", "ghj"]); // Stringlet<3> for each

const HELLO: Stringlet<11> = stringlet!("Hello Rust!"); // Input length must match type
const PET: [Stringlet<3>; 4] = stringlet!(["cat", "dog", "ham", "pig"]); // size of 1st element
const PETS: [VarStringlet<8>; 4] = stringlet!(_: ["cat", "dog", "hamster", "piglet"]); // _: derive type

But

error[E0277]: `Stringlet<99>` has excessive SIZE
  --> src/main.rs:99:16
   |
99 | let balloons = stringlet!(99: "Luftballons, auf ihrem…");
   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ SIZE must be `0..=64`
   |
   = help: the trait `Config<99>` is not implemented for `stringlet::StringletBase<99>`
   = note: `Stringlet` cannot be longer than 64 bytes. Consider using `String`!

This is not your classical short string optimization (SSO) in so far as there is no overflow into an alternate bigger storage. This is by design, as addressing two different data routes requires branching. On your hot path, branch misprediction can be costly. Stringlet tries hard to be maximally branchless. The few ifs and ||s refer to constants, so should be optimized away.

There is no Option or Result niche optimization yet. That should likewise be feasible for all stringlets with a stored length. I only need to understand how to tell the compiler?

Stringlet is configured so it can only be instantiated with valid size. For normal use that’s all there is to it. However when forwarding generic arguments to Stringlet you too have to specify Config. I wish I could just hide it all behind <const SIZE: usize<0..=64>>!

Since we have configuration anyway, it can also apply alignments up to 64 to each instance where you may need this. This is aliased to names like Stringlet4 or SlimStringlet8. Do benchmark, e.g. on a modern x86 it no longer seems to affect performance.

§Todo

StringletError & stringlet::Result
Run Miri on various architectures. Who’s willing to support with exotic stuff?
Run cargo mutants
Implement mutability, +=, write!().
Document!
How to implement Cow / Borrow with String as owned type?
Or rather a Cow-like storage-constrained/limitless pair that will transparently switch on overflow.
Implement more traits.
Add a macro syntax for align.
format!() equivalent stringlet!(format …) or format_stringlet!()
Integrate into string-rosetta-rs
Implement for popular 3rd party crates.
Why does this not pick up the default SIZE of 16: let fail = Stringlet::new();
What’s our minimal rust-version?
Is there a downside to Copy by default?

Macros§

stringlet: Turn a const str expression into the smallest Stringlet that can contain it. Shorthand to optionally give generic parameters SIZE and FIXED. For now, please check README.md.

Structs§

StringletBase: An inline String 0 to 64 bytes, which can be handled like a primitive type.

Type Aliases§

SlimStringlet: Slim variable length Stringlet, aligned to 1 bytes
SlimStringlet2: Slim variable length Stringlet, aligned to 2 bytes
SlimStringlet4: Slim variable length Stringlet, aligned to 4 bytes
SlimStringlet8: Slim variable length Stringlet, aligned to 8 bytes
SlimStringlet16: Slim variable length Stringlet, aligned to 16 bytes
SlimStringlet32: Slim variable length Stringlet, aligned to 32 bytes
SlimStringlet64: Slim variable length Stringlet, aligned to 64 bytes
Stringlet: Fixed length Stringlet, aligned to 1 bytes
Stringlet2: Fixed length Stringlet, aligned to 2 bytes
Stringlet4: Fixed length Stringlet, aligned to 4 bytes
Stringlet8: Fixed length Stringlet, aligned to 8 bytes
Stringlet16: Fixed length Stringlet, aligned to 16 bytes
Stringlet32: Fixed length Stringlet, aligned to 32 bytes
Stringlet64: Fixed length Stringlet, aligned to 64 bytes
VarStringlet: Variable length Stringlet, aligned to 1 bytes
VarStringlet2: Variable length Stringlet, aligned to 2 bytes
VarStringlet4: Variable length Stringlet, aligned to 4 bytes
VarStringlet8: Variable length Stringlet, aligned to 8 bytes
VarStringlet16: Variable length Stringlet, aligned to 16 bytes
VarStringlet32: Variable length Stringlet, aligned to 32 bytes
VarStringlet64: Variable length Stringlet, aligned to 64 bytes

Crate stringlet

Crate stringlet Copy item path

§🧵 Stringlet

§Todo

Macros§

Structs§

Type Aliases§

Crate stringlet