1 //! Unicode string slices.
3 //! *[See also the `str` primitive type](str).*
5 //! The `&str` type is one of the two main string types, the other being `String`.
6 //! Unlike its `String` counterpart, its contents are borrowed.
10 //! A basic string declaration of `&str` type:
13 //! let hello_world = "Hello, World!";
16 //! Here we have declared a string literal, also known as a string slice.
17 //! String literals have a static lifetime, which means the string `hello_world`
18 //! is guaranteed to be valid for the duration of the entire program.
19 //! We can explicitly specify `hello_world`'s lifetime as well:
22 //! let hello_world: &'static str = "Hello, world!";
25 #![stable(feature = "rust1", since = "1.0.0")]
26 // Many of the usings in this module are only used in the test configuration.
27 // It's cleaner to just turn off the unused_imports warning than to fix them.
28 #![allow(unused_imports)]
30 use core::borrow::{Borrow, BorrowMut};
31 use core::iter::FusedIterator;
34 use core::str::pattern::{DoubleEndedSearcher, Pattern, ReverseSearcher, Searcher};
35 use core::unicode::conversions;
37 use crate::borrow::ToOwned;
38 use crate::boxed::Box;
39 use crate::slice::{Concat, Join, SliceIndex};
40 use crate::string::String;
43 #[stable(feature = "rust1", since = "1.0.0")]
44 pub use core::str::pattern;
45 #[stable(feature = "encode_utf16", since = "1.8.0")]
46 pub use core::str::EncodeUtf16;
47 #[stable(feature = "split_ascii_whitespace", since = "1.34.0")]
48 pub use core::str::SplitAsciiWhitespace;
49 #[stable(feature = "split_inclusive", since = "1.51.0")]
50 pub use core::str::SplitInclusive;
51 #[stable(feature = "rust1", since = "1.0.0")]
52 pub use core::str::SplitWhitespace;
53 #[stable(feature = "rust1", since = "1.0.0")]
54 pub use core::str::{from_utf8, from_utf8_mut, Bytes, CharIndices, Chars};
55 #[stable(feature = "rust1", since = "1.0.0")]
56 pub use core::str::{from_utf8_unchecked, from_utf8_unchecked_mut, ParseBoolError};
57 #[stable(feature = "str_escape", since = "1.34.0")]
58 pub use core::str::{EscapeDebug, EscapeDefault, EscapeUnicode};
59 #[stable(feature = "rust1", since = "1.0.0")]
60 pub use core::str::{FromStr, Utf8Error};
62 #[stable(feature = "rust1", since = "1.0.0")]
63 pub use core::str::{Lines, LinesAny};
64 #[stable(feature = "rust1", since = "1.0.0")]
65 pub use core::str::{MatchIndices, RMatchIndices};
66 #[stable(feature = "rust1", since = "1.0.0")]
67 pub use core::str::{Matches, RMatches};
68 #[stable(feature = "rust1", since = "1.0.0")]
69 pub use core::str::{RSplit, Split};
70 #[stable(feature = "rust1", since = "1.0.0")]
71 pub use core::str::{RSplitN, SplitN};
72 #[stable(feature = "rust1", since = "1.0.0")]
73 pub use core::str::{RSplitTerminator, SplitTerminator};
75 /// Note: `str` in `Concat<str>` is not meaningful here.
76 /// This type parameter of the trait only exists to enable another impl.
77 #[cfg(not(no_global_oom_handling))]
78 #[unstable(feature = "slice_concat_ext", issue = "27747")]
79 impl<S: Borrow<str>> Concat<str> for [S] {
82 fn concat(slice: &Self) -> String {
87 #[cfg(not(no_global_oom_handling))]
88 #[unstable(feature = "slice_concat_ext", issue = "27747")]
89 impl<S: Borrow<str>> Join<&str> for [S] {
92 fn join(slice: &Self, sep: &str) -> String {
93 unsafe { String::from_utf8_unchecked(join_generic_copy(slice, sep.as_bytes())) }
97 #[cfg(not(no_global_oom_handling))]
98 macro_rules! specialize_for_lengths {
99 ($separator:expr, $target:expr, $iter:expr; $($num:expr),*) => {{
100 let mut target = $target;
102 let sep_bytes = $separator;
103 match $separator.len() {
105 // loops with hardcoded sizes run much faster
106 // specialize the cases with small separator lengths
109 copy_slice_and_advance!(target, sep_bytes);
110 let content_bytes = s.borrow().as_ref();
111 copy_slice_and_advance!(target, content_bytes);
116 // arbitrary non-zero size fallback
118 copy_slice_and_advance!(target, sep_bytes);
119 let content_bytes = s.borrow().as_ref();
120 copy_slice_and_advance!(target, content_bytes);
128 #[cfg(not(no_global_oom_handling))]
129 macro_rules! copy_slice_and_advance {
130 ($target:expr, $bytes:expr) => {
131 let len = $bytes.len();
132 let (head, tail) = { $target }.split_at_mut(len);
133 head.copy_from_slice($bytes);
138 // Optimized join implementation that works for both Vec<T> (T: Copy) and String's inner vec
139 // Currently (2018-05-13) there is a bug with type inference and specialization (see issue #36262)
140 // For this reason SliceConcat<T> is not specialized for T: Copy and SliceConcat<str> is the
141 // only user of this function. It is left in place for the time when that is fixed.
143 // the bounds for String-join are S: Borrow<str> and for Vec-join Borrow<[T]>
144 // [T] and str both impl AsRef<[T]> for some T
145 // => s.borrow().as_ref() and we always have slices
146 #[cfg(not(no_global_oom_handling))]
147 fn join_generic_copy<B, T, S>(slice: &[S], sep: &[T]) -> Vec<T>
150 B: AsRef<[T]> + ?Sized,
153 let sep_len = sep.len();
154 let mut iter = slice.iter();
156 // the first slice is the only one without a separator preceding it
157 let first = match iter.next() {
158 Some(first) => first,
159 None => return vec![],
162 // compute the exact total length of the joined Vec
163 // if the `len` calculation overflows, we'll panic
164 // we would have run out of memory anyway and the rest of the function requires
165 // the entire Vec pre-allocated for safety
166 let reserved_len = sep_len
167 .checked_mul(iter.len())
169 slice.iter().map(|s| s.borrow().as_ref().len()).try_fold(n, usize::checked_add)
171 .expect("attempt to join into collection with len > usize::MAX");
173 // prepare an uninitialized buffer
174 let mut result = Vec::with_capacity(reserved_len);
175 debug_assert!(result.capacity() >= reserved_len);
177 result.extend_from_slice(first.borrow().as_ref());
180 let pos = result.len();
181 let target = result.get_unchecked_mut(pos..reserved_len);
183 // copy separator and slices over without bounds checks
184 // generate loops with hardcoded offsets for small separators
185 // massive improvements possible (~ x2)
186 let remain = specialize_for_lengths!(sep, target, iter; 0, 1, 2, 3, 4);
188 // A weird borrow implementation may return different
189 // slices for the length calculation and the actual copy.
190 // Make sure we don't expose uninitialized bytes to the caller.
191 let result_len = reserved_len - remain.len();
192 result.set_len(result_len);
197 #[stable(feature = "rust1", since = "1.0.0")]
198 impl Borrow<str> for String {
200 fn borrow(&self) -> &str {
205 #[stable(feature = "string_borrow_mut", since = "1.36.0")]
206 impl BorrowMut<str> for String {
208 fn borrow_mut(&mut self) -> &mut str {
213 #[cfg(not(no_global_oom_handling))]
214 #[stable(feature = "rust1", since = "1.0.0")]
215 impl ToOwned for str {
218 fn to_owned(&self) -> String {
219 unsafe { String::from_utf8_unchecked(self.as_bytes().to_owned()) }
222 fn clone_into(&self, target: &mut String) {
223 let mut b = mem::take(target).into_bytes();
224 self.as_bytes().clone_into(&mut b);
225 *target = unsafe { String::from_utf8_unchecked(b) }
229 /// Methods for string slices.
230 #[lang = "str_alloc"]
233 /// Converts a `Box<str>` into a `Box<[u8]>` without copying or allocating.
240 /// let s = "this is a string";
241 /// let boxed_str = s.to_owned().into_boxed_str();
242 /// let boxed_bytes = boxed_str.into_boxed_bytes();
243 /// assert_eq!(*boxed_bytes, *s.as_bytes());
245 #[stable(feature = "str_box_extras", since = "1.20.0")]
246 #[must_use = "`self` will be dropped if the result is not used"]
248 pub fn into_boxed_bytes(self: Box<str>) -> Box<[u8]> {
252 /// Replaces all matches of a pattern with another string.
254 /// `replace` creates a new [`String`], and copies the data from this string slice into it.
255 /// While doing so, it attempts to find matches of a pattern. If it finds any, it
256 /// replaces them with the replacement string slice.
263 /// let s = "this is old";
265 /// assert_eq!("this is new", s.replace("old", "new"));
268 /// When the pattern doesn't match:
271 /// let s = "this is old";
272 /// assert_eq!(s, s.replace("cookie monster", "little lamb"));
274 #[cfg(not(no_global_oom_handling))]
275 #[must_use = "this returns the replaced string as a new allocation, \
276 without modifying the original"]
277 #[stable(feature = "rust1", since = "1.0.0")]
279 pub fn replace<'a, P: Pattern<'a>>(&'a self, from: P, to: &str) -> String {
280 let mut result = String::new();
281 let mut last_end = 0;
282 for (start, part) in self.match_indices(from) {
283 result.push_str(unsafe { self.get_unchecked(last_end..start) });
285 last_end = start + part.len();
287 result.push_str(unsafe { self.get_unchecked(last_end..self.len()) });
291 /// Replaces first N matches of a pattern with another string.
293 /// `replacen` creates a new [`String`], and copies the data from this string slice into it.
294 /// While doing so, it attempts to find matches of a pattern. If it finds any, it
295 /// replaces them with the replacement string slice at most `count` times.
302 /// let s = "foo foo 123 foo";
303 /// assert_eq!("new new 123 foo", s.replacen("foo", "new", 2));
304 /// assert_eq!("faa fao 123 foo", s.replacen('o', "a", 3));
305 /// assert_eq!("foo foo new23 foo", s.replacen(char::is_numeric, "new", 1));
308 /// When the pattern doesn't match:
311 /// let s = "this is old";
312 /// assert_eq!(s, s.replacen("cookie monster", "little lamb", 10));
314 #[cfg(not(no_global_oom_handling))]
315 #[must_use = "this returns the replaced string as a new allocation, \
316 without modifying the original"]
317 #[stable(feature = "str_replacen", since = "1.16.0")]
318 pub fn replacen<'a, P: Pattern<'a>>(&'a self, pat: P, to: &str, count: usize) -> String {
319 // Hope to reduce the times of re-allocation
320 let mut result = String::with_capacity(32);
321 let mut last_end = 0;
322 for (start, part) in self.match_indices(pat).take(count) {
323 result.push_str(unsafe { self.get_unchecked(last_end..start) });
325 last_end = start + part.len();
327 result.push_str(unsafe { self.get_unchecked(last_end..self.len()) });
331 /// Returns the lowercase equivalent of this string slice, as a new [`String`].
333 /// 'Lowercase' is defined according to the terms of the Unicode Derived Core Property
336 /// Since some characters can expand into multiple characters when changing
337 /// the case, this function returns a [`String`] instead of modifying the
338 /// parameter in-place.
347 /// assert_eq!("hello", s.to_lowercase());
350 /// A tricky example, with sigma:
355 /// assert_eq!("σ", sigma.to_lowercase());
357 /// // but at the end of a word, it's ς, not σ:
358 /// let odysseus = "ὈΔΥΣΣΕΎΣ";
360 /// assert_eq!("ὀδυσσεύς", odysseus.to_lowercase());
363 /// Languages without case are not changed:
366 /// let new_year = "农历新年";
368 /// assert_eq!(new_year, new_year.to_lowercase());
370 #[cfg(not(no_global_oom_handling))]
371 #[must_use = "this returns the lowercase string as a new String, \
372 without modifying the original"]
373 #[stable(feature = "unicode_case_mapping", since = "1.2.0")]
374 pub fn to_lowercase(&self) -> String {
375 let mut s = String::with_capacity(self.len());
376 for (i, c) in self[..].char_indices() {
378 // Σ maps to σ, except at the end of a word where it maps to ς.
379 // This is the only conditional (contextual) but language-independent mapping
380 // in `SpecialCasing.txt`,
381 // so hard-code it rather than have a generic "condition" mechanism.
382 // See https://github.com/rust-lang/rust/issues/26035
383 map_uppercase_sigma(self, i, &mut s)
385 match conversions::to_lower(c) {
386 [a, '\0', _] => s.push(a),
401 fn map_uppercase_sigma(from: &str, i: usize, to: &mut String) {
402 // See https://www.unicode.org/versions/Unicode7.0.0/ch03.pdf#G33992
403 // for the definition of `Final_Sigma`.
404 debug_assert!('Σ'.len_utf8() == 2);
405 let is_word_final = case_ignoreable_then_cased(from[..i].chars().rev())
406 && !case_ignoreable_then_cased(from[i + 2..].chars());
407 to.push_str(if is_word_final { "ς" } else { "σ" });
410 fn case_ignoreable_then_cased<I: Iterator<Item = char>>(iter: I) -> bool {
411 use core::unicode::{Case_Ignorable, Cased};
412 match iter.skip_while(|&c| Case_Ignorable(c)).next() {
419 /// Returns the uppercase equivalent of this string slice, as a new [`String`].
421 /// 'Uppercase' is defined according to the terms of the Unicode Derived Core Property
424 /// Since some characters can expand into multiple characters when changing
425 /// the case, this function returns a [`String`] instead of modifying the
426 /// parameter in-place.
435 /// assert_eq!("HELLO", s.to_uppercase());
438 /// Scripts without case are not changed:
441 /// let new_year = "农历新年";
443 /// assert_eq!(new_year, new_year.to_uppercase());
446 /// One character can become multiple:
448 /// let s = "tschüß";
450 /// assert_eq!("TSCHÜSS", s.to_uppercase());
452 #[cfg(not(no_global_oom_handling))]
453 #[must_use = "this returns the uppercase string as a new String, \
454 without modifying the original"]
455 #[stable(feature = "unicode_case_mapping", since = "1.2.0")]
456 pub fn to_uppercase(&self) -> String {
457 let mut s = String::with_capacity(self.len());
458 for c in self[..].chars() {
459 match conversions::to_upper(c) {
460 [a, '\0', _] => s.push(a),
475 /// Converts a [`Box<str>`] into a [`String`] without copying or allocating.
482 /// let string = String::from("birthday gift");
483 /// let boxed_str = string.clone().into_boxed_str();
485 /// assert_eq!(boxed_str.into_string(), string);
487 #[stable(feature = "box_str", since = "1.4.0")]
488 #[must_use = "`self` will be dropped if the result is not used"]
490 pub fn into_string(self: Box<str>) -> String {
491 let slice = Box::<[u8]>::from(self);
492 unsafe { String::from_utf8_unchecked(slice.into_vec()) }
495 /// Creates a new [`String`] by repeating a string `n` times.
499 /// This function will panic if the capacity would overflow.
506 /// assert_eq!("abc".repeat(4), String::from("abcabcabcabc"));
509 /// A panic upon overflow:
512 /// // this will panic at runtime
513 /// let huge = "0123456789abcdef".repeat(usize::MAX);
515 #[cfg(not(no_global_oom_handling))]
517 #[stable(feature = "repeat_str", since = "1.16.0")]
518 pub fn repeat(&self, n: usize) -> String {
519 unsafe { String::from_utf8_unchecked(self.as_bytes().repeat(n)) }
522 /// Returns a copy of this string where each character is mapped to its
523 /// ASCII upper case equivalent.
525 /// ASCII letters 'a' to 'z' are mapped to 'A' to 'Z',
526 /// but non-ASCII letters are unchanged.
528 /// To uppercase the value in-place, use [`make_ascii_uppercase`].
530 /// To uppercase ASCII characters in addition to non-ASCII characters, use
531 /// [`to_uppercase`].
536 /// let s = "Grüße, Jürgen ❤";
538 /// assert_eq!("GRüßE, JüRGEN ❤", s.to_ascii_uppercase());
541 /// [`make_ascii_uppercase`]: str::make_ascii_uppercase
542 /// [`to_uppercase`]: #method.to_uppercase
543 #[cfg(not(no_global_oom_handling))]
544 #[must_use = "to uppercase the value in-place, use `make_ascii_uppercase()`"]
545 #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
547 pub fn to_ascii_uppercase(&self) -> String {
548 let mut bytes = self.as_bytes().to_vec();
549 bytes.make_ascii_uppercase();
550 // make_ascii_uppercase() preserves the UTF-8 invariant.
551 unsafe { String::from_utf8_unchecked(bytes) }
554 /// Returns a copy of this string where each character is mapped to its
555 /// ASCII lower case equivalent.
557 /// ASCII letters 'A' to 'Z' are mapped to 'a' to 'z',
558 /// but non-ASCII letters are unchanged.
560 /// To lowercase the value in-place, use [`make_ascii_lowercase`].
562 /// To lowercase ASCII characters in addition to non-ASCII characters, use
563 /// [`to_lowercase`].
568 /// let s = "Grüße, Jürgen ❤";
570 /// assert_eq!("grüße, jürgen ❤", s.to_ascii_lowercase());
573 /// [`make_ascii_lowercase`]: str::make_ascii_lowercase
574 /// [`to_lowercase`]: #method.to_lowercase
575 #[cfg(not(no_global_oom_handling))]
576 #[must_use = "to lowercase the value in-place, use `make_ascii_lowercase()`"]
577 #[stable(feature = "ascii_methods_on_intrinsics", since = "1.23.0")]
579 pub fn to_ascii_lowercase(&self) -> String {
580 let mut bytes = self.as_bytes().to_vec();
581 bytes.make_ascii_lowercase();
582 // make_ascii_lowercase() preserves the UTF-8 invariant.
583 unsafe { String::from_utf8_unchecked(bytes) }
587 /// Converts a boxed slice of bytes to a boxed string slice without checking
588 /// that the string contains valid UTF-8.
595 /// let smile_utf8 = Box::new([226, 152, 186]);
596 /// let smile = unsafe { std::str::from_boxed_utf8_unchecked(smile_utf8) };
598 /// assert_eq!("☺", &*smile);
600 #[stable(feature = "str_box_extras", since = "1.20.0")]
603 pub unsafe fn from_boxed_utf8_unchecked(v: Box<[u8]>) -> Box<str> {
604 unsafe { Box::from_raw(Box::into_raw(v) as *mut str) }