Declare EXPLICIT-CHECK on CONCATENATE, MAKE-STRING, SET-PPRINT-DISPATCH.
[sbcl.git] / src / code / string.lisp
blobd22122cd607f3148ff63e11a953fe16c2a52ce62
1 ;;;; This software is part of the SBCL system. See the README file for
2 ;;;; more information.
3 ;;;;
4 ;;;; This software is derived from the CMU CL system, which was
5 ;;;; written at Carnegie Mellon University and released into the
6 ;;;; public domain. The software is in the public domain and is
7 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
8 ;;;; files for more information.
10 (in-package "SB!IMPL")
12 (eval-when (:compile-toplevel)
13 (sb!xc:defmacro %string (x) `(if (stringp ,x) ,x (string ,x))))
15 (defun string (x)
16 #!+sb-doc
17 "Coerces X into a string. If X is a string, X is returned. If X is a
18 symbol, its name is returned. If X is a character then a one element
19 string containing that character is returned. If X cannot be coerced
20 into a string, an error occurs."
21 (cond ((stringp x) x)
22 ((symbolp x) (symbol-name x))
23 ((characterp x)
24 (let ((res (make-string 1)))
25 (setf (schar res 0) x) res))
27 (error 'simple-type-error
28 :datum x
29 :expected-type 'string-designator
30 :format-control "~S is not a string designator."
31 :format-arguments (list x)))))
33 ;;; %CHECK-VECTOR-SEQUENCE-BOUNDS is used to verify that the START and
34 ;;; END arguments are valid bounding indices.
35 (defun %check-vector-sequence-bounds (vector start end)
36 (%check-vector-sequence-bounds vector start end))
38 (eval-when (:compile-toplevel)
39 ;;; WITH-ONE-STRING is used to set up some string hacking things. The
40 ;;; keywords are parsed, and the string is hacked into a
41 ;;; simple-string.
42 (sb!xc:defmacro with-one-string ((string start end) &body forms)
43 `(let ((,string (%string ,string)))
44 (with-array-data ((,string ,string)
45 (,start ,start)
46 (,end ,end)
47 :check-fill-pointer t)
48 ,@forms)))
49 ;;; WITH-TWO-STRINGS is used to set up string comparison operations. The
50 ;;; keywords are parsed, and the strings are hacked into SIMPLE-STRINGs.
51 (sb!xc:defmacro with-two-strings (string1 string2 start1 end1 cum-offset-1
52 start2 end2 &rest forms)
53 `(let ((,string1 (%string ,string1))
54 (,string2 (%string ,string2)))
55 (with-array-data ((,string1 ,string1 :offset-var ,cum-offset-1)
56 (,start1 ,start1)
57 (,end1 ,end1)
58 :check-fill-pointer t)
59 (with-array-data ((,string2 ,string2)
60 (,start2 ,start2)
61 (,end2 ,end2)
62 :check-fill-pointer t)
63 ,@forms))))
64 ) ; EVAL-WHEN
66 (defun char (string index)
67 #!+sb-doc
68 "Given a string and a non-negative integer index less than the length of
69 the string, returns the character object representing the character at
70 that position in the string."
71 (declare (optimize (safety 1)))
72 (char string index))
74 (defun %charset (string index new-el)
75 (declare (optimize (safety 1)))
76 (setf (char string index) new-el))
78 (defun schar (string index)
79 #!+sb-doc
80 "SCHAR returns the character object at an indexed position in a string
81 just as CHAR does, except the string must be a simple-string."
82 (declare (optimize (safety 1)))
83 (schar string index))
85 (defun %scharset (string index new-el)
86 (declare (optimize (safety 1)))
87 (setf (schar string index) new-el))
89 (defun string=* (string1 string2 start1 end1 start2 end2)
90 (declare (optimize speed))
91 (with-two-strings string1 string2 start1 end1 nil start2 end2
92 (let ((len (- end1 start1)))
93 (unless (= len (- end2 start2)) ; trivial
94 (return-from string=* nil))
95 ;; Optimizing the non-unicode builds is not terribly important
96 ;; because no per-character test for base/UCS4 is needed.
97 #!+sb-unicode
98 (let* ((widetag1 (%other-pointer-widetag string1))
99 (widetag2 (%other-pointer-widetag string2))
100 (char-shift
101 #!+(or x86 x86-64)
102 ;; The cost of WITH-PINNED-OBJECTS is near nothing on x86,
103 ;; and memcmp() is much faster except below a cutoff point.
104 ;; The threshold is higher on x86-32 because the overhead
105 ;; of a foreign call is higher due to FPU stack save/restore.
106 (if (and (= widetag1 widetag2)
107 (>= len #!+x86 16
108 #!+x86-64 8))
109 (case widetag1
110 (#.sb!vm:simple-base-string-widetag 0)
111 (#.sb!vm:simple-character-string-widetag 2)))))
112 (when char-shift
113 (return-from string=*
114 ;; Efficiently compute byte indices. Derive-type on ASH isn't
115 ;; good enough. For 32-bit, it should be ok because
116 ;; (TYPEP (ASH ARRAY-TOTAL-SIZE-LIMIT 2) 'SB-VM:SIGNED-WORD) => T
117 ;; For 63-bit fixnums, that's false in theory, but true in practice.
118 ;; ARRAY-TOTAL-SIZE-LIMIT is too large for a 48-bit address space.
119 (macrolet ((sap (string start)
120 `(sap+ (vector-sap (truly-the string ,string))
121 (scale ,start)))
122 (scale (index)
123 `(truly-the sb!vm:signed-word
124 (ash (truly-the index ,index) char-shift))))
125 (declare (optimize (sb!c:alien-funcall-saves-fp-and-pc 0)))
126 (with-pinned-objects (string1 string2)
127 (zerop (alien-funcall
128 (extern-alien "memcmp"
129 (function int (* char) (* char) long))
130 (sap string1 start1) (sap string2 start2)
131 (scale len)))))))
132 (macrolet
133 ((char-loop (type1 type2)
134 `(return-from string=*
135 (let ((string1 (truly-the (simple-array ,type1 1) string1))
136 (string2 (truly-the (simple-array ,type2 1) string2)))
137 (declare (optimize (sb!c::insert-array-bounds-checks 0)))
138 (do ((index1 start1 (1+ index1))
139 (index2 start2 (1+ index2)))
140 ((>= index1 end1) t)
141 (declare (index index1 index2))
142 (unless (char= (schar string1 index1)
143 (schar string2 index2))
144 (return nil)))))))
145 ;; On x86-64, short strings with same widetag use the general case.
146 ;; Why not always have cases for equal widetags and short strings?
147 ;; Because the code below deals with comparison when memcpy _can't_
148 ;; be used and is essential to this logic. No major speed gain is had
149 ;; with extra cases where memcpy would do, but was avoided.
150 ;; On non-x86, Lisp code is used always because I did not profile
151 ;; memcmp(), and this code is at least as good as %SP-STRING-COMPARE.
152 ;; Also, (ARRAY NIL) always punts.
153 (cond #!-x86-64
154 ((= widetag1 widetag2)
155 (case widetag1
156 (#.sb!vm:simple-base-string-widetag
157 (char-loop base-char base-char))
158 (#.sb!vm:simple-character-string-widetag
159 (char-loop character character))))
160 ((or (and (= widetag1 sb!vm:simple-character-string-widetag)
161 (= widetag2 sb!vm:simple-base-string-widetag))
162 (and (= widetag2 sb!vm:simple-character-string-widetag)
163 (= widetag1 sb!vm:simple-base-string-widetag)
164 (progn (rotatef start1 start2)
165 (rotatef end1 end2)
166 (rotatef string1 string2)
167 t)))
168 (char-loop character base-char))))))
169 (not (%sp-string-compare string1 start1 end1 string2 start2 end2))))
171 (defun string/=* (string1 string2 start1 end1 start2 end2)
172 (with-two-strings string1 string2 start1 end1 offset1 start2 end2
173 (let ((comparison (%sp-string-compare string1 start1 end1
174 string2 start2 end2)))
175 (if comparison (- (the fixnum comparison) offset1)))))
177 (eval-when (:compile-toplevel :execute)
179 ;;; LESSP is true if the desired expansion is for STRING<* or STRING<=*.
180 ;;; EQUALP is true if the desired expansion is for STRING<=* or STRING>=*.
181 (sb!xc:defmacro string<>=*-body (lessp equalp)
182 (let ((offset1 (gensym)))
183 `(with-two-strings string1 string2 start1 end1 ,offset1 start2 end2
184 (let ((index (%sp-string-compare string1 start1 end1
185 string2 start2 end2)))
186 (if index
187 (cond ((= (the fixnum index) (the fixnum end1))
188 ,(if lessp
189 `(- (the fixnum index) ,offset1)
190 `nil))
191 ((= (+ (the fixnum index) (- start2 start1))
192 (the fixnum end2))
193 ,(if lessp
194 `nil
195 `(- (the fixnum index) ,offset1)))
196 ((,(if lessp 'char< 'char>)
197 (schar string1 index)
198 (schar string2 (+ (the fixnum index) (- start2 start1))))
199 (- (the fixnum index) ,offset1))
200 (t nil))
201 ,(if equalp `(- (the fixnum end1) ,offset1) nil))))))
202 ) ; EVAL-WHEN
204 (defun string<* (string1 string2 start1 end1 start2 end2)
205 (declare (fixnum start1 start2))
206 (string<>=*-body t nil))
208 (defun string>* (string1 string2 start1 end1 start2 end2)
209 (declare (fixnum start1 start2))
210 (string<>=*-body nil nil))
212 (defun string<=* (string1 string2 start1 end1 start2 end2)
213 (declare (fixnum start1 start2))
214 (string<>=*-body t t))
216 (defun string>=* (string1 string2 start1 end1 start2 end2)
217 (declare (fixnum start1 start2))
218 (string<>=*-body nil t))
220 (defun string< (string1 string2 &key (start1 0) end1 (start2 0) end2)
221 #!+sb-doc
222 "Given two strings, if the first string is lexicographically less than
223 the second string, returns the longest common prefix (using char=)
224 of the two strings. Otherwise, returns ()."
225 (string<* string1 string2 start1 end1 start2 end2))
227 (defun string> (string1 string2 &key (start1 0) end1 (start2 0) end2)
228 #!+sb-doc
229 "Given two strings, if the first string is lexicographically greater than
230 the second string, returns the longest common prefix (using char=)
231 of the two strings. Otherwise, returns ()."
232 (string>* string1 string2 start1 end1 start2 end2))
234 (defun string<= (string1 string2 &key (start1 0) end1 (start2 0) end2)
235 #!+sb-doc
236 "Given two strings, if the first string is lexicographically less than
237 or equal to the second string, returns the longest common prefix
238 (using char=) of the two strings. Otherwise, returns ()."
239 (string<=* string1 string2 start1 end1 start2 end2))
241 (defun string>= (string1 string2 &key (start1 0) end1 (start2 0) end2)
242 #!+sb-doc
243 "Given two strings, if the first string is lexicographically greater
244 than or equal to the second string, returns the longest common prefix
245 (using char=) of the two strings. Otherwise, returns ()."
246 (string>=* string1 string2 start1 end1 start2 end2))
248 ;;; Note: (STRING= "PREFIX" "SHORT" :END2 (LENGTH "PREFIX")) gives
249 ;;; an error instead of returning NIL as I would have expected.
250 ;;; The ANSI spec for STRING= itself doesn't seem to clarify this
251 ;;; much, but the SUBSEQ-OUT-OF-BOUNDS writeup seems to say that
252 ;;; this is conforming (and required) behavior, because any index
253 ;;; out of range is an error. (So there seems to be no concise and
254 ;;; efficient way to test for strings which begin with a particular
255 ;;; pattern. Alas..) -- WHN 19991206
256 (defun string= (string1 string2 &key (start1 0) end1 (start2 0) end2)
257 #!+sb-doc
258 "Given two strings (string1 and string2), and optional integers start1,
259 start2, end1 and end2, compares characters in string1 to characters in
260 string2 (using char=)."
261 (string=* string1 string2 start1 end1 start2 end2))
263 (defun string/= (string1 string2 &key (start1 0) end1 (start2 0) end2)
264 #!+sb-doc
265 "Given two strings, if the first string is not lexicographically equal
266 to the second string, returns the longest common prefix (using char=)
267 of the two strings. Otherwise, returns ()."
268 (string/=* string1 string2 start1 end1 start2 end2))
270 (eval-when (:compile-toplevel :execute)
272 ;;; STRING-NOT-EQUAL-LOOP is used to generate character comparison loops for
273 ;;; STRING-EQUAL and STRING-NOT-EQUAL.
274 (sb!xc:defmacro string-not-equal-loop (end
275 end-value
276 &optional (abort-value nil abortp))
277 (declare (fixnum end))
278 (let ((end-test (if (= end 1)
279 `(= index1 (the fixnum end1))
280 `(= index2 (the fixnum end2)))))
281 `(do ((index1 start1 (1+ index1))
282 (index2 start2 (1+ index2)))
283 (,(if abortp
284 end-test
285 `(or ,end-test
286 (not (char-equal (schar string1 index1)
287 (schar string2 index2)))))
288 ,end-value)
289 (declare (fixnum index1 index2))
290 ,@(if abortp
291 `((if (not (char-equal (schar string1 index1)
292 (schar string2 index2)))
293 (return ,abort-value)))))))
295 ) ; EVAL-WHEN
297 (defun string-equal (string1 string2 &key (start1 0) end1 (start2 0) end2)
298 #!+sb-doc
299 "Given two strings (string1 and string2), and optional integers start1,
300 start2, end1 and end2, compares characters in string1 to characters in
301 string2 (using char-equal)."
302 (declare (fixnum start1 start2))
303 (with-two-strings string1 string2 start1 end1 nil start2 end2
304 (let ((slen1 (- (the fixnum end1) start1))
305 (slen2 (- (the fixnum end2) start2)))
306 (declare (fixnum slen1 slen2))
307 (if (= slen1 slen2)
308 ;;return () immediately if lengths aren't equal.
309 (string-not-equal-loop 1 t nil)))))
311 (defun string-not-equal (string1 string2 &key (start1 0) end1 (start2 0) end2)
312 #!+sb-doc
313 "Given two strings, if the first string is not lexicographically equal
314 to the second string, returns the longest common prefix (using char-equal)
315 of the two strings. Otherwise, returns ()."
316 (with-two-strings string1 string2 start1 end1 offset1 start2 end2
317 (let ((slen1 (- end1 start1))
318 (slen2 (- end2 start2)))
319 (declare (fixnum slen1 slen2))
320 (cond ((= slen1 slen2)
321 (string-not-equal-loop 1 nil (- index1 offset1)))
322 ((< slen1 slen2)
323 (string-not-equal-loop 1 (- index1 offset1)))
325 (string-not-equal-loop 2 (- index1 offset1)))))))
327 (eval-when (:compile-toplevel :execute)
329 ;;; STRING-LESS-GREATER-EQUAL-TESTS returns a test on the lengths of string1
330 ;;; and string2 and a test on the current characters from string1 and string2
331 ;;; for the following macro.
332 (defun string-less-greater-equal-tests (lessp equalp)
333 (if lessp
334 (if equalp
335 ;; STRING-NOT-GREATERP
336 (values '<= `(not (char-greaterp char1 char2)))
337 ;; STRING-LESSP
338 (values '< `(char-lessp char1 char2)))
339 (if equalp
340 ;; STRING-NOT-LESSP
341 (values '>= `(not (char-lessp char1 char2)))
342 ;; STRING-GREATERP
343 (values '> `(char-greaterp char1 char2)))))
345 (sb!xc:defmacro string-less-greater-equal (lessp equalp)
346 (multiple-value-bind (length-test character-test)
347 (string-less-greater-equal-tests lessp equalp)
348 `(with-two-strings string1 string2 start1 end1 offset1 start2 end2
349 (let ((slen1 (- (the fixnum end1) start1))
350 (slen2 (- (the fixnum end2) start2)))
351 (declare (fixnum slen1 slen2))
352 (do ((index1 start1 (1+ index1))
353 (index2 start2 (1+ index2))
354 (char1)
355 (char2))
356 ((or (= index1 (the fixnum end1)) (= index2 (the fixnum end2)))
357 (if (,length-test slen1 slen2) (- index1 offset1)))
358 (declare (fixnum index1 index2))
359 (setq char1 (schar string1 index1))
360 (setq char2 (schar string2 index2))
361 (if (not (char-equal char1 char2))
362 (if ,character-test
363 (return (- index1 offset1))
364 (return ()))))))))
366 ) ; EVAL-WHEN
368 (defun string-lessp* (string1 string2 start1 end1 start2 end2)
369 (declare (fixnum start1 start2))
370 (string-less-greater-equal t nil))
372 (defun string-greaterp* (string1 string2 start1 end1 start2 end2)
373 (declare (fixnum start1 start2))
374 (string-less-greater-equal nil nil))
376 (defun string-not-lessp* (string1 string2 start1 end1 start2 end2)
377 (declare (fixnum start1 start2))
378 (string-less-greater-equal nil t))
380 (defun string-not-greaterp* (string1 string2 start1 end1 start2 end2)
381 (declare (fixnum start1 start2))
382 (string-less-greater-equal t t))
384 (defun string-lessp (string1 string2 &key (start1 0) end1 (start2 0) end2)
385 #!+sb-doc
386 "Given two strings, if the first string is lexicographically less than
387 the second string, returns the longest common prefix (using char-equal)
388 of the two strings. Otherwise, returns ()."
389 (string-lessp* string1 string2 start1 end1 start2 end2))
391 (defun string-greaterp (string1 string2 &key (start1 0) end1 (start2 0) end2)
392 #!+sb-doc
393 "Given two strings, if the first string is lexicographically greater than
394 the second string, returns the longest common prefix (using char-equal)
395 of the two strings. Otherwise, returns ()."
396 (string-greaterp* string1 string2 start1 end1 start2 end2))
398 (defun string-not-lessp (string1 string2 &key (start1 0) end1 (start2 0) end2)
399 #!+sb-doc
400 "Given two strings, if the first string is lexicographically greater
401 than or equal to the second string, returns the longest common prefix
402 (using char-equal) of the two strings. Otherwise, returns ()."
403 (string-not-lessp* string1 string2 start1 end1 start2 end2))
405 (defun string-not-greaterp (string1 string2 &key (start1 0) end1 (start2 0)
406 end2)
407 #!+sb-doc
408 "Given two strings, if the first string is lexicographically less than
409 or equal to the second string, returns the longest common prefix
410 (using char-equal) of the two strings. Otherwise, returns ()."
411 (string-not-greaterp* string1 string2 start1 end1 start2 end2))
413 (defun make-string (count &key
414 (element-type 'character)
415 ((:initial-element fill-char)))
416 #!+sb-doc
417 "Given a character count and an optional fill character, makes and returns a
418 new string COUNT long filled with the fill character."
419 (declare (index count))
420 ;; FIXME: while this is a correct implementation relying on an IR1 transform,
421 ;; it would be better if in the following example (assuming NOTINLINE):
422 ;; (MAKE-STRING 1000 :ELEMENT-TYPE 'BIT :INITIAL-element #\a)
423 ;; we could report that "BIT is not a subtype of CHARACTER"
424 ;; instead of "#\a is not of type BIT". Additionally, in this case:
425 ;; (MAKE-STRING 200000000 :ELEMENT-TYPE 'WORD :INITIAL-ELEMENT #\a)
426 ;; the error reported is heap exhaustion rather than type mismatch.
427 (if fill-char
428 (make-string count :element-type element-type
429 :initial-element (the character fill-char))
430 (make-string count :element-type element-type)))
432 (flet ((%upcase (string start end)
433 (declare (string string) (index start) (type sequence-end end))
434 (let ((saved-header string))
435 (with-one-string (string start end)
436 (do ((index start (1+ index)))
437 ((= index (the fixnum end)))
438 (declare (fixnum index))
439 (setf (schar string index) (char-upcase (schar string index)))))
440 saved-header)))
441 (defun string-upcase (string &key (start 0) end)
442 (%upcase (copy-seq (string string)) start end))
443 (defun nstring-upcase (string &key (start 0) end)
444 (%upcase string start end))
445 ) ; FLET
447 (flet ((%downcase (string start end)
448 (declare (string string) (index start) (type sequence-end end))
449 (let ((saved-header string))
450 (with-one-string (string start end)
451 (do ((index start (1+ index)))
452 ((= index (the fixnum end)))
453 (declare (fixnum index))
454 (setf (schar string index)
455 (char-downcase (schar string index)))))
456 saved-header)))
457 (defun string-downcase (string &key (start 0) end)
458 (%downcase (copy-seq (string string)) start end))
459 (defun nstring-downcase (string &key (start 0) end)
460 (%downcase string start end))
461 ) ; FLET
463 (flet ((%capitalize (string start end)
464 (declare (string string) (index start) (type sequence-end end))
465 (let ((saved-header string))
466 (with-one-string (string start end)
467 (do ((index start (1+ index))
468 (new-word? t)
469 (char nil))
470 ((= index (the fixnum end)))
471 (declare (fixnum index))
472 (setq char (schar string index))
473 (cond ((not (alphanumericp char))
474 (setq new-word? t))
475 (new-word?
476 ;; CHAR is the first case-modifiable character after
477 ;; a sequence of non-case-modifiable characters.
478 (setf (schar string index) (char-upcase char))
479 (setq new-word? nil))
481 (setf (schar string index) (char-downcase char))))))
482 saved-header)))
483 (defun string-capitalize (string &key (start 0) end)
484 (%capitalize (copy-seq (string string)) start end))
485 (defun nstring-capitalize (string &key (start 0) end)
486 (%capitalize string start end))
487 ) ; FLET
489 (defun generic-string-trim (char-bag string left-p right-p)
490 (let ((header (%string string)))
491 (with-array-data ((string header)
492 (start)
493 (end)
494 :check-fill-pointer t)
495 (let* ((left-end (if left-p
496 (do ((index start (1+ index)))
497 ((or (= index (the fixnum end))
498 (not (find (schar string index)
499 char-bag
500 :test #'char=)))
501 index)
502 (declare (fixnum index)))
503 start))
504 (right-end (if right-p
505 (do ((index (1- (the fixnum end)) (1- index)))
506 ((or (< index left-end)
507 (not (find (schar string index)
508 char-bag
509 :test #'char=)))
510 (1+ index))
511 (declare (fixnum index)))
512 end)))
513 (if (and (eql left-end start)
514 (eql right-end end))
515 header
516 (subseq (the simple-string string) left-end right-end))))))
518 (defun string-left-trim (char-bag string)
519 (generic-string-trim char-bag string t nil))
521 (defun string-right-trim (char-bag string)
522 (generic-string-trim char-bag string nil t))
524 (defun string-trim (char-bag string)
525 (generic-string-trim char-bag string t t))