Perché `str` è un tipo primitivo?

Question

Guardando sia i documenti che il codice, sembra che str sia un tipo primitivo, mentre String è un struct { Vec<u8> }. Ora, come str è quello di un [u8] ciò String è quello di un Vec<u8>, non str avrebbe potuto essere definito come

struct str { slice: [u8]; } 

simile a come AsciiStr è definito? Perché era/è (ancora?) Definito primitivo?

Answer 1

Una volta arrivati ​​tipi di dimensioni dinamiche, non rimaneva più alcuna buona ragione per cui str fosse un tipo primitivo; potrebbe essere ragionevolmente diventato una struttura come si indica, con un oggetto lang a beneficio dei letterali stringa. Ma non sembra che ci sia una buona ragione per cambiarlo (anche se la possibilità è stata discussa un paio di volte), e quindi lo status quo è rimasto.