Comment ajouter un caractère à une chaîne dans OCaml?

Il semble comme si il n'y a pas de fonction dans la bibliothèque standard de type char -> string -> stringinsérer un char devant (ou à la fin d'un string. Il existe des solutions de contournement, en utilisant par exemple String.make ou String.blit. Est-il un moyen élégant pour ce faire?

source d'informationauteur SoftTimur

  1. 7

    String.make et String.blit est une bonne façon de le faire, mais ils semblent être impératif. Personnellement, je préfère faire de infix fonctions à l'aide de Char.escaped et la concaténation de chaîne:

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

    Le code de @pad est ce que je voudrais utiliser, parce que j'aime traiter les chaînes de caractères comme immuable, si possible. Mais je ne voudrais pas utiliser Char.escaped; elle est spécialisée pour quand vous voulez le OCaml représentation lexicale d'un personnage. Alors, voici ce que vous obtenez si vous faites ce changement:

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

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

    J'ai fait une comparaison de l'efficacité de différentes approches:

    1. J'ai écrit un test simple:

      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. J'ai compilé nativement (Intel Core 2 Duo).

    3. J'ai couru le test trois fois pour chaque option, le calendrier avec timeet le calcul de la moyenne réel temps écoulé.

    Voici les résultats:

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

    2. s ^ Char.escaped c: De 8h30 s (107%)

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