Choosing a more optimal `String` type

[mhutter]

https://swatinem.de/blog/optimized-strings/

[epage]

These leaves off several relevant string types, including ecow which was encouraged over smol_str [0]

See https://github.com/rosetta-rs/string-rosetta-rs for some more analysis. HipStr also has a decent table [1]

[0] https://www.reddit.com/r/rust/comments/117ksvr/ecow_compact_...

[1] https://crates.io/crates/hipstr

[nmilo]

There should be a from_raw_parts-like interface for Arc that can construct one out of a pointer to a T + control block. That way you can shift the string data over and stick the control block inline (which is how I assume it's laid out in memory) and convert String to Arc<str> for free (well not free, shifting takes O(n), but so does the copying in Arc::new, so in the end you do end up avoiding an allocation for free)

[LegionMammal978 → nmilo]

Unfortunately, this can't really be done efficiently with how allocation works in Rust. A String is always allocated with alignment 1, but an Arc's control block requires usize alignment. An allocated pointer can't be deallocated with a different alignment than it was allocated with, nor can its alignment be changed when it is reallocated. Thus, the from_raw_parts() idea would be unusable for any types with less than usize alignment.

(And the control block really does need to be aligned, since otherwise we couldn't perform atomic operations on it.)

[Gibbon1 → LegionMammal978]

> A String is always allocated with alignment 1, but an Arc's control block requires usize alignment.

I'll add this to my list of reasons why alignment is terrible.

[nmilo → LegionMammal978]

Wow that is annoying, especially since any malloc is going to give you 8-byte aligned allocations anyways.

[hestefisk]

Optimal is optimal. There is such thing as “more optimal”. It’s either optimal or it isn’t.

[thfuran → hestefisk]

Something that is optimal under some set of assumptions and under some specific conditions is likely not optimal under all conditions. Does that mean it's not optimal under any conditions? If not, is something that is optimal under more conditions not "more optimal"?

[mhutter]

Aaah, `Cow`, the unloved child ...

[queuebert → mhutter]

I love Cow, except when it goes mut.

[schneems → queuebert]

&mut Cow<Disease>

[wavemode → mhutter]

I presume they're trying to avoid having to worry about the lifetime, so they want something that owns its contents.

[eynsham]

‘More optimal' is oxymoronic; ‘better’ is just that.

[kibwen → eynsham]

From 1983:

Although "optimum" is an absolute term, like "unique", it became common verbal practice to make it relative: "not quite optimum" or "less optimum" or "not very optimum". Mel called the maximum time-delay locations the "most pessimum".

https://users.cs.utah.edu/~elb/folklore/mel-annotated/node1....

[eynsham → kibwen]

Even worse! ‘Optimum’ in English is a noun, not an adjective.

[kibwen → eynsham]

From 1993:

Verbing weirds language.

https://www.gocomics.com/calvinandhobbes/1993/01/25

[swader999 → eynsham]

I prefer "more betterer".

[paulddraper → swader999]

And the superlative, most betterest.

[cratermoon]

Why use strings and pass them around in the first place? Why not limit the use of String types to system boundaries where data must be serialized into or from character-oriented streams?

[amalcon → cratermoon]

The typical strategy for doing that in a context like this is string interning. That's literally what most of the types described in the post are doing behind the scenes, in one form or another. The post is literally about doing your suggestion -- just using a library to do so, and leveraging the type system to reduce some of the boilerplate.