Come si aggiunge un carattere a una stringa in OCaml?

Question

Sembra che non ci sia alcuna funzione nella libreria standard di tipo char -> string -> string, che inserisce uno char davanti a (o alla fine di) uno string. Esistono soluzioni alternative, ad es. utilizzando String.make o String.blit. C'è un modo elegante per farlo?

Answer 1

String.make e String.blit è un buon modo per farlo, ma sembrano essere imperativi. Personalmente preferisco fare le funzioni infissa utilizzando Char.escaped e concatenazione di stringhe:

let (^$) c s = s^Char.escaped c (* append *) 
let ($^) c s = Char.escaped c^s (* prepend *) 

Answer 2

Il codice da @pad è quello che vorrei utilizzare, perché mi piace trattare le stringhe come immutabile, se possibile. Ma non vorrei usare Char.escaped; è specializzato per quando vuoi la rappresentazione lessicale di un personaggio di OCaml. Quindi, ecco quello che si ottiene se si effettua questo cambiamento:

let prefix_char s c = String.make 1 c^s 

let suffix_char s c = s^String.make 1 c 

Answer 3

ho fatto un confronto tra l'efficienza dei diversi approcci:

1. ho scritto un semplice test:

   let append_escaped s c = s^Char.escaped c 
   let append_make s c = s^String.make 1 c 
   let append_sprintf s c = Printf.sprintf "%s%c" s c 
   
   let _ = 
       let s = "some text" in 
       let c = 'a' in 
       for i = 1 to 100000000 do 
       let _ = append_(*escaped|make|sprintf*) s c in() 
       done 
   

2. L'ho compilato in modo nativo (Intel Core 2 Duo).

3. ho eseguito il test di tre volte per ogni opzione, cronometraggio con time, e calcolando la media tempo reale trascorso.

Ecco i risultati:

1. s^String.make 1 c: 7.75s (100%)

2. s^Char.escaped c: 8.30s (107%)

3. Printf.sprintf "%s%c" s c : 68.57s (885%)