Làm thế nào để bạn thêm một char vào một chuỗi trong OCaml?

Question

Dường như không có chức năng nào trong thư viện chuẩn loại char -> string -> string, chèn char trước (hoặc ở cuối) string. Có cách giải quyết, ví dụ: bằng cách sử dụng String.make hoặc String.blit. Có một cách thanh lịch để làm điều này?

Answer 1

String.make và String.blit là một cách hay để làm như vậy, nhưng chúng dường như là bắt buộc. Cá nhân tôi thích để làm cho chức năng ghi vào sử dụng Char.escaped và nối chuỗi:

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

Answer 2

Mã từ @pad là những gì tôi sẽ sử dụng, vì tôi thích để điều trị chuỗi như bất biến nếu có thể. Nhưng tôi sẽ không sử dụng Char.escaped; nó đặc biệt khi bạn muốn biểu diễn từ vựng OCaml của một nhân vật. Vì vậy, đây là những gì bạn nhận được nếu bạn thực hiện sự thay đổi:

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

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

Answer 3

tôi đã thực hiện một sự so sánh của tính hiệu quả của phương pháp tiếp cận khác nhau:

1. Tôi đã viết một bài kiểm tra đơn giản:

   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. Tôi biên dịch nó một cách tự nhiên (Intel Core 2 Duo).

3. Tôi đã chạy thử nghiệm ba lần cho mỗi tùy chọn, định thời gian thử nghiệm với time và tính thời gian trung bình thực sự.

Dưới đây là kết quả:

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%)