~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

TOMOYO Linux Cross Reference
Linux/rust/kernel/str.rs

Version: ~ [ linux-6.12-rc7 ] ~ [ linux-6.11.7 ] ~ [ linux-6.10.14 ] ~ [ linux-6.9.12 ] ~ [ linux-6.8.12 ] ~ [ linux-6.7.12 ] ~ [ linux-6.6.60 ] ~ [ linux-6.5.13 ] ~ [ linux-6.4.16 ] ~ [ linux-6.3.13 ] ~ [ linux-6.2.16 ] ~ [ linux-6.1.116 ] ~ [ linux-6.0.19 ] ~ [ linux-5.19.17 ] ~ [ linux-5.18.19 ] ~ [ linux-5.17.15 ] ~ [ linux-5.16.20 ] ~ [ linux-5.15.171 ] ~ [ linux-5.14.21 ] ~ [ linux-5.13.19 ] ~ [ linux-5.12.19 ] ~ [ linux-5.11.22 ] ~ [ linux-5.10.229 ] ~ [ linux-5.9.16 ] ~ [ linux-5.8.18 ] ~ [ linux-5.7.19 ] ~ [ linux-5.6.19 ] ~ [ linux-5.5.19 ] ~ [ linux-5.4.285 ] ~ [ linux-5.3.18 ] ~ [ linux-5.2.21 ] ~ [ linux-5.1.21 ] ~ [ linux-5.0.21 ] ~ [ linux-4.20.17 ] ~ [ linux-4.19.323 ] ~ [ linux-4.18.20 ] ~ [ linux-4.17.19 ] ~ [ linux-4.16.18 ] ~ [ linux-4.15.18 ] ~ [ linux-4.14.336 ] ~ [ linux-4.13.16 ] ~ [ linux-4.12.14 ] ~ [ linux-4.11.12 ] ~ [ linux-4.10.17 ] ~ [ linux-4.9.337 ] ~ [ linux-4.4.302 ] ~ [ linux-3.10.108 ] ~ [ linux-2.6.32.71 ] ~ [ linux-2.6.0 ] ~ [ linux-2.4.37.11 ] ~ [ unix-v6-master ] ~ [ ccs-tools-1.8.12 ] ~ [ policy-sample ] ~
Architecture: ~ [ i386 ] ~ [ alpha ] ~ [ m68k ] ~ [ mips ] ~ [ ppc ] ~ [ sparc ] ~ [ sparc64 ] ~

Diff markup

Differences between /rust/kernel/str.rs (Version linux-6.12-rc7) and /rust/kernel/str.rs (Version linux-6.3.13)


  1 // SPDX-License-Identifier: GPL-2.0                 1 // SPDX-License-Identifier: GPL-2.0
  2                                                     2 
  3 //! String representations.                         3 //! String representations.
  4                                                     4 
  5 use crate::alloc::{flags::*, vec_ext::VecExt,  << 
  6 use alloc::vec::Vec;                                5 use alloc::vec::Vec;
  7 use core::fmt::{self, Write};                       6 use core::fmt::{self, Write};
  8 use core::ops::{self, Deref, DerefMut, Index}; !!   7 use core::ops::{self, Deref, Index};
  9                                                     8 
 10 use crate::error::{code::*, Error};            !!   9 use crate::{
                                                   >>  10     bindings,
                                                   >>  11     error::{code::*, Error},
                                                   >>  12 };
 11                                                    13 
 12 /// Byte string without UTF-8 validity guarant     14 /// Byte string without UTF-8 validity guarantee.
 13 #[repr(transparent)]                           !!  15 ///
 14 pub struct BStr([u8]);                         !!  16 /// `BStr` is simply an alias to `[u8]`, but has a more evident semantical meaning.
 15                                                !!  17 pub type BStr = [u8];
 16 impl BStr {                                    << 
 17     /// Returns the length of this string.     << 
 18     #[inline]                                  << 
 19     pub const fn len(&self) -> usize {         << 
 20         self.0.len()                           << 
 21     }                                          << 
 22                                                << 
 23     /// Returns `true` if the string is empty. << 
 24     #[inline]                                  << 
 25     pub const fn is_empty(&self) -> bool {     << 
 26         self.len() == 0                        << 
 27     }                                          << 
 28                                                << 
 29     /// Creates a [`BStr`] from a `[u8]`.      << 
 30     #[inline]                                  << 
 31     pub const fn from_bytes(bytes: &[u8]) -> & << 
 32         // SAFETY: `BStr` is transparent to `[ << 
 33         unsafe { &*(bytes as *const [u8] as *c << 
 34     }                                          << 
 35 }                                              << 
 36                                                << 
 37 impl fmt::Display for BStr {                   << 
 38     /// Formats printable ASCII characters, es << 
 39     ///                                        << 
 40     /// ```                                    << 
 41     /// # use kernel::{fmt, b_str, str::{BStr, << 
 42     /// let ascii = b_str!("Hello, BStr!");    << 
 43     /// let s = CString::try_from_fmt(fmt!("{} << 
 44     /// assert_eq!(s.as_bytes(), "Hello, BStr! << 
 45     ///                                        << 
 46     /// let non_ascii = b_str!("🦀");        << 
 47     /// let s = CString::try_from_fmt(fmt!("{} << 
 48     /// assert_eq!(s.as_bytes(), "\\xf0\\x9f\\ << 
 49     /// ```                                    << 
 50     fn fmt(&self, f: &mut fmt::Formatter<'_>)  << 
 51         for &b in &self.0 {                    << 
 52             match b {                          << 
 53                 // Common escape codes.        << 
 54                 b'\t' => f.write_str("\\t")?,  << 
 55                 b'\n' => f.write_str("\\n")?,  << 
 56                 b'\r' => f.write_str("\\r")?,  << 
 57                 // Printable characters.       << 
 58                 0x20..=0x7e => f.write_char(b  << 
 59                 _ => write!(f, "\\x{:02x}", b) << 
 60             }                                  << 
 61         }                                      << 
 62         Ok(())                                 << 
 63     }                                          << 
 64 }                                              << 
 65                                                << 
 66 impl fmt::Debug for BStr {                     << 
 67     /// Formats printable ASCII characters wit << 
 68     /// escaping the rest.                     << 
 69     ///                                        << 
 70     /// ```                                    << 
 71     /// # use kernel::{fmt, b_str, str::{BStr, << 
 72     /// // Embedded double quotes are escaped. << 
 73     /// let ascii = b_str!("Hello, \"BStr\"!") << 
 74     /// let s = CString::try_from_fmt(fmt!("{: << 
 75     /// assert_eq!(s.as_bytes(), "\"Hello, \\\ << 
 76     ///                                        << 
 77     /// let non_ascii = b_str!("😺");        << 
 78     /// let s = CString::try_from_fmt(fmt!("{: << 
 79     /// assert_eq!(s.as_bytes(), "\"\\xf0\\x9f << 
 80     /// ```                                    << 
 81     fn fmt(&self, f: &mut fmt::Formatter<'_>)  << 
 82         f.write_char('"')?;                    << 
 83         for &b in &self.0 {                    << 
 84             match b {                          << 
 85                 // Common escape codes.        << 
 86                 b'\t' => f.write_str("\\t")?,  << 
 87                 b'\n' => f.write_str("\\n")?,  << 
 88                 b'\r' => f.write_str("\\r")?,  << 
 89                 // String escape characters.   << 
 90                 b'\"' => f.write_str("\\\"")?, << 
 91                 b'\\' => f.write_str("\\\\")?, << 
 92                 // Printable characters.       << 
 93                 0x20..=0x7e => f.write_char(b  << 
 94                 _ => write!(f, "\\x{:02x}", b) << 
 95             }                                  << 
 96         }                                      << 
 97         f.write_char('"')                      << 
 98     }                                          << 
 99 }                                              << 
100                                                << 
101 impl Deref for BStr {                          << 
102     type Target = [u8];                        << 
103                                                << 
104     #[inline]                                  << 
105     fn deref(&self) -> &Self::Target {         << 
106         &self.0                                << 
107     }                                          << 
108 }                                              << 
109                                                    18 
110 /// Creates a new [`BStr`] from a string liter     19 /// Creates a new [`BStr`] from a string literal.
111 ///                                                20 ///
112 /// `b_str!` converts the supplied string lite     21 /// `b_str!` converts the supplied string literal to byte string, so non-ASCII
113 /// characters can be included.                    22 /// characters can be included.
114 ///                                                23 ///
115 /// # Examples                                     24 /// # Examples
116 ///                                                25 ///
117 /// ```                                            26 /// ```
118 /// # use kernel::b_str;                           27 /// # use kernel::b_str;
119 /// # use kernel::str::BStr;                       28 /// # use kernel::str::BStr;
120 /// const MY_BSTR: &BStr = b_str!("My awesome      29 /// const MY_BSTR: &BStr = b_str!("My awesome BStr!");
121 /// ```                                            30 /// ```
122 #[macro_export]                                    31 #[macro_export]
123 macro_rules! b_str {                               32 macro_rules! b_str {
124     ($str:literal) => {{                           33     ($str:literal) => {{
125         const S: &'static str = $str;              34         const S: &'static str = $str;
126         const C: &'static $crate::str::BStr =  !!  35         const C: &'static $crate::str::BStr = S.as_bytes();
127         C                                          36         C
128     }};                                            37     }};
129 }                                                  38 }
130                                                    39 
131 /// Possible errors when using conversion func     40 /// Possible errors when using conversion functions in [`CStr`].
132 #[derive(Debug, Clone, Copy)]                      41 #[derive(Debug, Clone, Copy)]
133 pub enum CStrConvertError {                        42 pub enum CStrConvertError {
134     /// Supplied bytes contain an interior `NU     43     /// Supplied bytes contain an interior `NUL`.
135     InteriorNul,                                   44     InteriorNul,
136                                                    45 
137     /// Supplied bytes are not terminated by `     46     /// Supplied bytes are not terminated by `NUL`.
138     NotNulTerminated,                              47     NotNulTerminated,
139 }                                                  48 }
140                                                    49 
141 impl From<CStrConvertError> for Error {            50 impl From<CStrConvertError> for Error {
142     #[inline]                                      51     #[inline]
143     fn from(_: CStrConvertError) -> Error {        52     fn from(_: CStrConvertError) -> Error {
144         EINVAL                                     53         EINVAL
145     }                                              54     }
146 }                                                  55 }
147                                                    56 
148 /// A string that is guaranteed to have exactl     57 /// A string that is guaranteed to have exactly one `NUL` byte, which is at the
149 /// end.                                           58 /// end.
150 ///                                                59 ///
151 /// Used for interoperability with kernel APIs     60 /// Used for interoperability with kernel APIs that take C strings.
152 #[repr(transparent)]                               61 #[repr(transparent)]
153 pub struct CStr([u8]);                             62 pub struct CStr([u8]);
154                                                    63 
155 impl CStr {                                        64 impl CStr {
156     /// Returns the length of this string excl     65     /// Returns the length of this string excluding `NUL`.
157     #[inline]                                      66     #[inline]
158     pub const fn len(&self) -> usize {             67     pub const fn len(&self) -> usize {
159         self.len_with_nul() - 1                    68         self.len_with_nul() - 1
160     }                                              69     }
161                                                    70 
162     /// Returns the length of this string with     71     /// Returns the length of this string with `NUL`.
163     #[inline]                                      72     #[inline]
164     pub const fn len_with_nul(&self) -> usize      73     pub const fn len_with_nul(&self) -> usize {
165         // SAFETY: This is one of the invarian     74         // SAFETY: This is one of the invariant of `CStr`.
166         // We add a `unreachable_unchecked` he     75         // We add a `unreachable_unchecked` here to hint the optimizer that
167         // the value returned from this functi     76         // the value returned from this function is non-zero.
168         if self.0.is_empty() {                     77         if self.0.is_empty() {
169             unsafe { core::hint::unreachable_u     78             unsafe { core::hint::unreachable_unchecked() };
170         }                                          79         }
171         self.0.len()                               80         self.0.len()
172     }                                              81     }
173                                                    82 
174     /// Returns `true` if the string only incl     83     /// Returns `true` if the string only includes `NUL`.
175     #[inline]                                      84     #[inline]
176     pub const fn is_empty(&self) -> bool {         85     pub const fn is_empty(&self) -> bool {
177         self.len() == 0                            86         self.len() == 0
178     }                                              87     }
179                                                    88 
180     /// Wraps a raw C string pointer.              89     /// Wraps a raw C string pointer.
181     ///                                            90     ///
182     /// # Safety                                   91     /// # Safety
183     ///                                            92     ///
184     /// `ptr` must be a valid pointer to a `NU     93     /// `ptr` must be a valid pointer to a `NUL`-terminated C string, and it must
185     /// last at least `'a`. When `CStr` is ali     94     /// last at least `'a`. When `CStr` is alive, the memory pointed by `ptr`
186     /// must not be mutated.                       95     /// must not be mutated.
187     #[inline]                                      96     #[inline]
188     pub unsafe fn from_char_ptr<'a>(ptr: *cons     97     pub unsafe fn from_char_ptr<'a>(ptr: *const core::ffi::c_char) -> &'a Self {
189         // SAFETY: The safety precondition gua     98         // SAFETY: The safety precondition guarantees `ptr` is a valid pointer
190         // to a `NUL`-terminated C string.         99         // to a `NUL`-terminated C string.
191         let len = unsafe { bindings::strlen(pt    100         let len = unsafe { bindings::strlen(ptr) } + 1;
192         // SAFETY: Lifetime guaranteed by the     101         // SAFETY: Lifetime guaranteed by the safety precondition.
193         let bytes = unsafe { core::slice::from    102         let bytes = unsafe { core::slice::from_raw_parts(ptr as _, len as _) };
194         // SAFETY: As `len` is returned by `st    103         // SAFETY: As `len` is returned by `strlen`, `bytes` does not contain interior `NUL`.
195         // As we have added 1 to `len`, the la    104         // As we have added 1 to `len`, the last byte is known to be `NUL`.
196         unsafe { Self::from_bytes_with_nul_unc    105         unsafe { Self::from_bytes_with_nul_unchecked(bytes) }
197     }                                             106     }
198                                                   107 
199     /// Creates a [`CStr`] from a `[u8]`.         108     /// Creates a [`CStr`] from a `[u8]`.
200     ///                                           109     ///
201     /// The provided slice must be `NUL`-termi    110     /// The provided slice must be `NUL`-terminated, does not contain any
202     /// interior `NUL` bytes.                     111     /// interior `NUL` bytes.
203     pub const fn from_bytes_with_nul(bytes: &[    112     pub const fn from_bytes_with_nul(bytes: &[u8]) -> Result<&Self, CStrConvertError> {
204         if bytes.is_empty() {                     113         if bytes.is_empty() {
205             return Err(CStrConvertError::NotNu    114             return Err(CStrConvertError::NotNulTerminated);
206         }                                         115         }
207         if bytes[bytes.len() - 1] != 0 {          116         if bytes[bytes.len() - 1] != 0 {
208             return Err(CStrConvertError::NotNu    117             return Err(CStrConvertError::NotNulTerminated);
209         }                                         118         }
210         let mut i = 0;                            119         let mut i = 0;
211         // `i + 1 < bytes.len()` allows LLVM t    120         // `i + 1 < bytes.len()` allows LLVM to optimize away bounds checking,
212         // while it couldn't optimize away bou    121         // while it couldn't optimize away bounds checks for `i < bytes.len() - 1`.
213         while i + 1 < bytes.len() {               122         while i + 1 < bytes.len() {
214             if bytes[i] == 0 {                    123             if bytes[i] == 0 {
215                 return Err(CStrConvertError::I    124                 return Err(CStrConvertError::InteriorNul);
216             }                                     125             }
217             i += 1;                               126             i += 1;
218         }                                         127         }
219         // SAFETY: We just checked that all pr    128         // SAFETY: We just checked that all properties hold.
220         Ok(unsafe { Self::from_bytes_with_nul_    129         Ok(unsafe { Self::from_bytes_with_nul_unchecked(bytes) })
221     }                                             130     }
222                                                   131 
223     /// Creates a [`CStr`] from a `[u8]` witho    132     /// Creates a [`CStr`] from a `[u8]` without performing any additional
224     /// checks.                                   133     /// checks.
225     ///                                           134     ///
226     /// # Safety                                  135     /// # Safety
227     ///                                           136     ///
228     /// `bytes` *must* end with a `NUL` byte,     137     /// `bytes` *must* end with a `NUL` byte, and should only have a single
229     /// `NUL` byte (or the string will be trun    138     /// `NUL` byte (or the string will be truncated).
230     #[inline]                                     139     #[inline]
231     pub const unsafe fn from_bytes_with_nul_un    140     pub const unsafe fn from_bytes_with_nul_unchecked(bytes: &[u8]) -> &CStr {
232         // SAFETY: Properties of `bytes` guara    141         // SAFETY: Properties of `bytes` guaranteed by the safety precondition.
233         unsafe { core::mem::transmute(bytes) }    142         unsafe { core::mem::transmute(bytes) }
234     }                                             143     }
235                                                   144 
236     /// Creates a mutable [`CStr`] from a `[u8 << 
237     /// additional checks.                     << 
238     ///                                        << 
239     /// # Safety                               << 
240     ///                                        << 
241     /// `bytes` *must* end with a `NUL` byte,  << 
242     /// `NUL` byte (or the string will be trun << 
243     #[inline]                                  << 
244     pub unsafe fn from_bytes_with_nul_unchecke << 
245         // SAFETY: Properties of `bytes` guara << 
246         unsafe { &mut *(bytes as *mut [u8] as  << 
247     }                                          << 
248                                                << 
249     /// Returns a C pointer to the string.        145     /// Returns a C pointer to the string.
250     #[inline]                                     146     #[inline]
251     pub const fn as_char_ptr(&self) -> *const     147     pub const fn as_char_ptr(&self) -> *const core::ffi::c_char {
252         self.0.as_ptr() as _                      148         self.0.as_ptr() as _
253     }                                             149     }
254                                                   150 
255     /// Convert the string to a byte slice wit !! 151     /// Convert the string to a byte slice without the trailing 0 byte.
256     #[inline]                                     152     #[inline]
257     pub fn as_bytes(&self) -> &[u8] {             153     pub fn as_bytes(&self) -> &[u8] {
258         &self.0[..self.len()]                     154         &self.0[..self.len()]
259     }                                             155     }
260                                                   156 
261     /// Convert the string to a byte slice con !! 157     /// Convert the string to a byte slice containing the trailing 0 byte.
262     #[inline]                                     158     #[inline]
263     pub const fn as_bytes_with_nul(&self) -> &    159     pub const fn as_bytes_with_nul(&self) -> &[u8] {
264         &self.0                                   160         &self.0
265     }                                             161     }
266                                                   162 
267     /// Yields a [`&str`] slice if the [`CStr`    163     /// Yields a [`&str`] slice if the [`CStr`] contains valid UTF-8.
268     ///                                           164     ///
269     /// If the contents of the [`CStr`] are va    165     /// If the contents of the [`CStr`] are valid UTF-8 data, this
270     /// function will return the corresponding    166     /// function will return the corresponding [`&str`] slice. Otherwise,
271     /// it will return an error with details o    167     /// it will return an error with details of where UTF-8 validation failed.
272     ///                                           168     ///
273     /// # Examples                                169     /// # Examples
274     ///                                           170     ///
275     /// ```                                       171     /// ```
276     /// # use kernel::str::CStr;                  172     /// # use kernel::str::CStr;
277     /// let cstr = CStr::from_bytes_with_nul(b    173     /// let cstr = CStr::from_bytes_with_nul(b"foo\0").unwrap();
278     /// assert_eq!(cstr.to_str(), Ok("foo"));     174     /// assert_eq!(cstr.to_str(), Ok("foo"));
279     /// ```                                       175     /// ```
280     #[inline]                                     176     #[inline]
281     pub fn to_str(&self) -> Result<&str, core:    177     pub fn to_str(&self) -> Result<&str, core::str::Utf8Error> {
282         core::str::from_utf8(self.as_bytes())     178         core::str::from_utf8(self.as_bytes())
283     }                                             179     }
284                                                   180 
285     /// Unsafely convert this [`CStr`] into a     181     /// Unsafely convert this [`CStr`] into a [`&str`], without checking for
286     /// valid UTF-8.                              182     /// valid UTF-8.
287     ///                                           183     ///
288     /// # Safety                                  184     /// # Safety
289     ///                                           185     ///
290     /// The contents must be valid UTF-8.         186     /// The contents must be valid UTF-8.
291     ///                                           187     ///
292     /// # Examples                                188     /// # Examples
293     ///                                           189     ///
294     /// ```                                       190     /// ```
295     /// # use kernel::c_str;                      191     /// # use kernel::c_str;
296     /// # use kernel::str::CStr;                  192     /// # use kernel::str::CStr;
297     /// let bar = c_str!("ツ");               << 
298     /// // SAFETY: String literals are guarant    193     /// // SAFETY: String literals are guaranteed to be valid UTF-8
299     /// // by the Rust compiler.                  194     /// // by the Rust compiler.
                                                   >> 195     /// let bar = c_str!("ツ");
300     /// assert_eq!(unsafe { bar.as_str_uncheck    196     /// assert_eq!(unsafe { bar.as_str_unchecked() }, "ツ");
301     /// ```                                       197     /// ```
302     #[inline]                                     198     #[inline]
303     pub unsafe fn as_str_unchecked(&self) -> &    199     pub unsafe fn as_str_unchecked(&self) -> &str {
304         unsafe { core::str::from_utf8_unchecke    200         unsafe { core::str::from_utf8_unchecked(self.as_bytes()) }
305     }                                             201     }
306                                                << 
307     /// Convert this [`CStr`] into a [`CString << 
308     /// copying over the string data.          << 
309     pub fn to_cstring(&self) -> Result<CString << 
310         CString::try_from(self)                << 
311     }                                          << 
312                                                << 
313     /// Converts this [`CStr`] to its ASCII lo << 
314     ///                                        << 
315     /// ASCII letters 'A' to 'Z' are mapped to << 
316     /// but non-ASCII letters are unchanged.   << 
317     ///                                        << 
318     /// To return a new lowercased value witho << 
319     /// [`to_ascii_lowercase()`].              << 
320     ///                                        << 
321     /// [`to_ascii_lowercase()`]: #method.to_a << 
322     pub fn make_ascii_lowercase(&mut self) {   << 
323         // INVARIANT: This doesn't introduce o << 
324         // string.                             << 
325         self.0.make_ascii_lowercase();         << 
326     }                                          << 
327                                                << 
328     /// Converts this [`CStr`] to its ASCII up << 
329     ///                                        << 
330     /// ASCII letters 'a' to 'z' are mapped to << 
331     /// but non-ASCII letters are unchanged.   << 
332     ///                                        << 
333     /// To return a new uppercased value witho << 
334     /// [`to_ascii_uppercase()`].              << 
335     ///                                        << 
336     /// [`to_ascii_uppercase()`]: #method.to_a << 
337     pub fn make_ascii_uppercase(&mut self) {   << 
338         // INVARIANT: This doesn't introduce o << 
339         // string.                             << 
340         self.0.make_ascii_uppercase();         << 
341     }                                          << 
342                                                << 
343     /// Returns a copy of this [`CString`] whe << 
344     /// ASCII lower case equivalent.           << 
345     ///                                        << 
346     /// ASCII letters 'A' to 'Z' are mapped to << 
347     /// but non-ASCII letters are unchanged.   << 
348     ///                                        << 
349     /// To lowercase the value in-place, use [ << 
350     ///                                        << 
351     /// [`make_ascii_lowercase`]: str::make_as << 
352     pub fn to_ascii_lowercase(&self) -> Result << 
353         let mut s = self.to_cstring()?;        << 
354                                                << 
355         s.make_ascii_lowercase();              << 
356                                                << 
357         Ok(s)                                  << 
358     }                                          << 
359                                                << 
360     /// Returns a copy of this [`CString`] whe << 
361     /// ASCII upper case equivalent.           << 
362     ///                                        << 
363     /// ASCII letters 'a' to 'z' are mapped to << 
364     /// but non-ASCII letters are unchanged.   << 
365     ///                                        << 
366     /// To uppercase the value in-place, use [ << 
367     ///                                        << 
368     /// [`make_ascii_uppercase`]: str::make_as << 
369     pub fn to_ascii_uppercase(&self) -> Result << 
370         let mut s = self.to_cstring()?;        << 
371                                                << 
372         s.make_ascii_uppercase();              << 
373                                                << 
374         Ok(s)                                  << 
375     }                                          << 
376 }                                                 202 }
377                                                   203 
378 impl fmt::Display for CStr {                      204 impl fmt::Display for CStr {
379     /// Formats printable ASCII characters, es    205     /// Formats printable ASCII characters, escaping the rest.
380     ///                                           206     ///
381     /// ```                                       207     /// ```
382     /// # use kernel::c_str;                      208     /// # use kernel::c_str;
383     /// # use kernel::fmt;                     << 
384     /// # use kernel::str::CStr;                  209     /// # use kernel::str::CStr;
385     /// # use kernel::str::CString;               210     /// # use kernel::str::CString;
386     /// let penguin = c_str!("🐧");             211     /// let penguin = c_str!("🐧");
387     /// let s = CString::try_from_fmt(fmt!("{}    212     /// let s = CString::try_from_fmt(fmt!("{}", penguin)).unwrap();
388     /// assert_eq!(s.as_bytes_with_nul(), "\\x    213     /// assert_eq!(s.as_bytes_with_nul(), "\\xf0\\x9f\\x90\\xa7\0".as_bytes());
389     ///                                           214     ///
390     /// let ascii = c_str!("so \"cool\"");        215     /// let ascii = c_str!("so \"cool\"");
391     /// let s = CString::try_from_fmt(fmt!("{}    216     /// let s = CString::try_from_fmt(fmt!("{}", ascii)).unwrap();
392     /// assert_eq!(s.as_bytes_with_nul(), "so     217     /// assert_eq!(s.as_bytes_with_nul(), "so \"cool\"\0".as_bytes());
393     /// ```                                       218     /// ```
394     fn fmt(&self, f: &mut fmt::Formatter<'_>)     219     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
395         for &c in self.as_bytes() {               220         for &c in self.as_bytes() {
396             if (0x20..0x7f).contains(&c) {        221             if (0x20..0x7f).contains(&c) {
397                 // Printable character.           222                 // Printable character.
398                 f.write_char(c as char)?;         223                 f.write_char(c as char)?;
399             } else {                              224             } else {
400                 write!(f, "\\x{:02x}", c)?;       225                 write!(f, "\\x{:02x}", c)?;
401             }                                     226             }
402         }                                         227         }
403         Ok(())                                    228         Ok(())
404     }                                             229     }
405 }                                                 230 }
406                                                   231 
407 impl fmt::Debug for CStr {                        232 impl fmt::Debug for CStr {
408     /// Formats printable ASCII characters wit    233     /// Formats printable ASCII characters with a double quote on either end, escaping the rest.
409     ///                                           234     ///
410     /// ```                                       235     /// ```
411     /// # use kernel::c_str;                      236     /// # use kernel::c_str;
412     /// # use kernel::fmt;                     << 
413     /// # use kernel::str::CStr;                  237     /// # use kernel::str::CStr;
414     /// # use kernel::str::CString;               238     /// # use kernel::str::CString;
415     /// let penguin = c_str!("🐧");             239     /// let penguin = c_str!("🐧");
416     /// let s = CString::try_from_fmt(fmt!("{:    240     /// let s = CString::try_from_fmt(fmt!("{:?}", penguin)).unwrap();
417     /// assert_eq!(s.as_bytes_with_nul(), "\"\    241     /// assert_eq!(s.as_bytes_with_nul(), "\"\\xf0\\x9f\\x90\\xa7\"\0".as_bytes());
418     ///                                           242     ///
419     /// // Embedded double quotes are escaped.    243     /// // Embedded double quotes are escaped.
420     /// let ascii = c_str!("so \"cool\"");        244     /// let ascii = c_str!("so \"cool\"");
421     /// let s = CString::try_from_fmt(fmt!("{:    245     /// let s = CString::try_from_fmt(fmt!("{:?}", ascii)).unwrap();
422     /// assert_eq!(s.as_bytes_with_nul(), "\"s    246     /// assert_eq!(s.as_bytes_with_nul(), "\"so \\\"cool\\\"\"\0".as_bytes());
423     /// ```                                       247     /// ```
424     fn fmt(&self, f: &mut fmt::Formatter<'_>)     248     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
425         f.write_str("\"")?;                       249         f.write_str("\"")?;
426         for &c in self.as_bytes() {               250         for &c in self.as_bytes() {
427             match c {                             251             match c {
428                 // Printable characters.          252                 // Printable characters.
429                 b'\"' => f.write_str("\\\"")?,    253                 b'\"' => f.write_str("\\\"")?,
430                 0x20..=0x7e => f.write_char(c     254                 0x20..=0x7e => f.write_char(c as char)?,
431                 _ => write!(f, "\\x{:02x}", c)    255                 _ => write!(f, "\\x{:02x}", c)?,
432             }                                     256             }
433         }                                         257         }
434         f.write_str("\"")                         258         f.write_str("\"")
435     }                                             259     }
436 }                                                 260 }
437                                                   261 
438 impl AsRef<BStr> for CStr {                       262 impl AsRef<BStr> for CStr {
439     #[inline]                                     263     #[inline]
440     fn as_ref(&self) -> &BStr {                   264     fn as_ref(&self) -> &BStr {
441         BStr::from_bytes(self.as_bytes())      !! 265         self.as_bytes()
442     }                                             266     }
443 }                                                 267 }
444                                                   268 
445 impl Deref for CStr {                             269 impl Deref for CStr {
446     type Target = BStr;                           270     type Target = BStr;
447                                                   271 
448     #[inline]                                     272     #[inline]
449     fn deref(&self) -> &Self::Target {            273     fn deref(&self) -> &Self::Target {
450         self.as_ref()                          !! 274         self.as_bytes()
451     }                                             275     }
452 }                                                 276 }
453                                                   277 
454 impl Index<ops::RangeFrom<usize>> for CStr {      278 impl Index<ops::RangeFrom<usize>> for CStr {
455     type Output = CStr;                           279     type Output = CStr;
456                                                   280 
457     #[inline]                                     281     #[inline]
458     fn index(&self, index: ops::RangeFrom<usiz    282     fn index(&self, index: ops::RangeFrom<usize>) -> &Self::Output {
459         // Delegate bounds checking to slice.     283         // Delegate bounds checking to slice.
460         // Assign to _ to mute clippy's unnece    284         // Assign to _ to mute clippy's unnecessary operation warning.
461         let _ = &self.as_bytes()[index.start..    285         let _ = &self.as_bytes()[index.start..];
462         // SAFETY: We just checked the bounds.    286         // SAFETY: We just checked the bounds.
463         unsafe { Self::from_bytes_with_nul_unc    287         unsafe { Self::from_bytes_with_nul_unchecked(&self.0[index.start..]) }
464     }                                             288     }
465 }                                                 289 }
466                                                   290 
467 impl Index<ops::RangeFull> for CStr {             291 impl Index<ops::RangeFull> for CStr {
468     type Output = CStr;                           292     type Output = CStr;
469                                                   293 
470     #[inline]                                     294     #[inline]
471     fn index(&self, _index: ops::RangeFull) ->    295     fn index(&self, _index: ops::RangeFull) -> &Self::Output {
472         self                                      296         self
473     }                                             297     }
474 }                                                 298 }
475                                                   299 
476 mod private {                                     300 mod private {
477     use core::ops;                                301     use core::ops;
478                                                   302 
479     // Marker trait for index types that can b    303     // Marker trait for index types that can be forward to `BStr`.
480     pub trait CStrIndex {}                        304     pub trait CStrIndex {}
481                                                   305 
482     impl CStrIndex for usize {}                   306     impl CStrIndex for usize {}
483     impl CStrIndex for ops::Range<usize> {}       307     impl CStrIndex for ops::Range<usize> {}
484     impl CStrIndex for ops::RangeInclusive<usi    308     impl CStrIndex for ops::RangeInclusive<usize> {}
485     impl CStrIndex for ops::RangeToInclusive<u    309     impl CStrIndex for ops::RangeToInclusive<usize> {}
486 }                                                 310 }
487                                                   311 
488 impl<Idx> Index<Idx> for CStr                     312 impl<Idx> Index<Idx> for CStr
489 where                                             313 where
490     Idx: private::CStrIndex,                      314     Idx: private::CStrIndex,
491     BStr: Index<Idx>,                             315     BStr: Index<Idx>,
492 {                                                 316 {
493     type Output = <BStr as Index<Idx>>::Output    317     type Output = <BStr as Index<Idx>>::Output;
494                                                   318 
495     #[inline]                                     319     #[inline]
496     fn index(&self, index: Idx) -> &Self::Outp    320     fn index(&self, index: Idx) -> &Self::Output {
497         &self.as_ref()[index]                  !! 321         &self.as_bytes()[index]
498     }                                             322     }
499 }                                                 323 }
500                                                   324 
501 /// Creates a new [`CStr`] from a string liter    325 /// Creates a new [`CStr`] from a string literal.
502 ///                                               326 ///
503 /// The string literal should not contain any     327 /// The string literal should not contain any `NUL` bytes.
504 ///                                               328 ///
505 /// # Examples                                    329 /// # Examples
506 ///                                               330 ///
507 /// ```                                           331 /// ```
508 /// # use kernel::c_str;                          332 /// # use kernel::c_str;
509 /// # use kernel::str::CStr;                      333 /// # use kernel::str::CStr;
510 /// const MY_CSTR: &CStr = c_str!("My awesome     334 /// const MY_CSTR: &CStr = c_str!("My awesome CStr!");
511 /// ```                                           335 /// ```
512 #[macro_export]                                   336 #[macro_export]
513 macro_rules! c_str {                              337 macro_rules! c_str {
514     ($str:expr) => {{                             338     ($str:expr) => {{
515         const S: &str = concat!($str, "\0");      339         const S: &str = concat!($str, "\0");
516         const C: &$crate::str::CStr = match $c    340         const C: &$crate::str::CStr = match $crate::str::CStr::from_bytes_with_nul(S.as_bytes()) {
517             Ok(v) => v,                           341             Ok(v) => v,
518             Err(_) => panic!("string contains     342             Err(_) => panic!("string contains interior NUL"),
519         };                                        343         };
520         C                                         344         C
521     }};                                           345     }};
522 }                                                 346 }
523                                                   347 
524 #[cfg(test)]                                      348 #[cfg(test)]
525 mod tests {                                       349 mod tests {
526     use super::*;                                 350     use super::*;
527     use alloc::format;                         << 
528                                                << 
529     const ALL_ASCII_CHARS: &'static str =      << 
530         "\\x01\\x02\\x03\\x04\\x05\\x06\\x07\\ << 
531         \\x10\\x11\\x12\\x13\\x14\\x15\\x16\\x << 
532         !\"#$%&'()*+,-./0123456789:;<=>?@\     << 
533         ABCDEFGHIJKLMNOPQRSTUVWXYZ[\\]^_`abcde << 
534         \\x80\\x81\\x82\\x83\\x84\\x85\\x86\\x << 
535         \\x90\\x91\\x92\\x93\\x94\\x95\\x96\\x << 
536         \\xa0\\xa1\\xa2\\xa3\\xa4\\xa5\\xa6\\x << 
537         \\xb0\\xb1\\xb2\\xb3\\xb4\\xb5\\xb6\\x << 
538         \\xc0\\xc1\\xc2\\xc3\\xc4\\xc5\\xc6\\x << 
539         \\xd0\\xd1\\xd2\\xd3\\xd4\\xd5\\xd6\\x << 
540         \\xe0\\xe1\\xe2\\xe3\\xe4\\xe5\\xe6\\x << 
541         \\xf0\\xf1\\xf2\\xf3\\xf4\\xf5\\xf6\\x << 
542                                                   351 
543     #[test]                                       352     #[test]
544     fn test_cstr_to_str() {                       353     fn test_cstr_to_str() {
545         let good_bytes = b"\xf0\x9f\xa6\x80\0"    354         let good_bytes = b"\xf0\x9f\xa6\x80\0";
546         let checked_cstr = CStr::from_bytes_wi    355         let checked_cstr = CStr::from_bytes_with_nul(good_bytes).unwrap();
547         let checked_str = checked_cstr.to_str(    356         let checked_str = checked_cstr.to_str().unwrap();
548         assert_eq!(checked_str, "🦀");          357         assert_eq!(checked_str, "🦀");
549     }                                             358     }
550                                                   359 
551     #[test]                                       360     #[test]
552     #[should_panic]                               361     #[should_panic]
553     fn test_cstr_to_str_panic() {                 362     fn test_cstr_to_str_panic() {
554         let bad_bytes = b"\xc3\x28\0";            363         let bad_bytes = b"\xc3\x28\0";
555         let checked_cstr = CStr::from_bytes_wi    364         let checked_cstr = CStr::from_bytes_with_nul(bad_bytes).unwrap();
556         checked_cstr.to_str().unwrap();           365         checked_cstr.to_str().unwrap();
557     }                                             366     }
558                                                   367 
559     #[test]                                       368     #[test]
560     fn test_cstr_as_str_unchecked() {             369     fn test_cstr_as_str_unchecked() {
561         let good_bytes = b"\xf0\x9f\x90\xA7\0"    370         let good_bytes = b"\xf0\x9f\x90\xA7\0";
562         let checked_cstr = CStr::from_bytes_wi    371         let checked_cstr = CStr::from_bytes_with_nul(good_bytes).unwrap();
563         let unchecked_str = unsafe { checked_c    372         let unchecked_str = unsafe { checked_cstr.as_str_unchecked() };
564         assert_eq!(unchecked_str, "🐧");        373         assert_eq!(unchecked_str, "🐧");
565     }                                             374     }
566                                                << 
567     #[test]                                    << 
568     fn test_cstr_display() {                   << 
569         let hello_world = CStr::from_bytes_wit << 
570         assert_eq!(format!("{}", hello_world), << 
571         let non_printables = CStr::from_bytes_ << 
572         assert_eq!(format!("{}", non_printable << 
573         let non_ascii = CStr::from_bytes_with_ << 
574         assert_eq!(format!("{}", non_ascii), " << 
575         let good_bytes = CStr::from_bytes_with << 
576         assert_eq!(format!("{}", good_bytes),  << 
577     }                                          << 
578                                                << 
579     #[test]                                    << 
580     fn test_cstr_display_all_bytes() {         << 
581         let mut bytes: [u8; 256] = [0; 256];   << 
582         // fill `bytes` with [1..=255] + [0]   << 
583         for i in u8::MIN..=u8::MAX {           << 
584             bytes[i as usize] = i.wrapping_add << 
585         }                                      << 
586         let cstr = CStr::from_bytes_with_nul(& << 
587         assert_eq!(format!("{}", cstr), ALL_AS << 
588     }                                          << 
589                                                << 
590     #[test]                                    << 
591     fn test_cstr_debug() {                     << 
592         let hello_world = CStr::from_bytes_wit << 
593         assert_eq!(format!("{:?}", hello_world << 
594         let non_printables = CStr::from_bytes_ << 
595         assert_eq!(format!("{:?}", non_printab << 
596         let non_ascii = CStr::from_bytes_with_ << 
597         assert_eq!(format!("{:?}", non_ascii), << 
598         let good_bytes = CStr::from_bytes_with << 
599         assert_eq!(format!("{:?}", good_bytes) << 
600     }                                          << 
601                                                << 
602     #[test]                                    << 
603     fn test_bstr_display() {                   << 
604         let hello_world = BStr::from_bytes(b"h << 
605         assert_eq!(format!("{}", hello_world), << 
606         let escapes = BStr::from_bytes(b"_\t_\ << 
607         assert_eq!(format!("{}", escapes), "_\ << 
608         let others = BStr::from_bytes(b"\x01") << 
609         assert_eq!(format!("{}", others), "\\x << 
610         let non_ascii = BStr::from_bytes(b"d\x << 
611         assert_eq!(format!("{}", non_ascii), " << 
612         let good_bytes = BStr::from_bytes(b"\x << 
613         assert_eq!(format!("{}", good_bytes),  << 
614     }                                          << 
615                                                << 
616     #[test]                                    << 
617     fn test_bstr_debug() {                     << 
618         let hello_world = BStr::from_bytes(b"h << 
619         assert_eq!(format!("{:?}", hello_world << 
620         let escapes = BStr::from_bytes(b"_\t_\ << 
621         assert_eq!(format!("{:?}", escapes), " << 
622         let others = BStr::from_bytes(b"\x01") << 
623         assert_eq!(format!("{:?}", others), "\ << 
624         let non_ascii = BStr::from_bytes(b"d\x << 
625         assert_eq!(format!("{:?}", non_ascii), << 
626         let good_bytes = BStr::from_bytes(b"\x << 
627         assert_eq!(format!("{:?}", good_bytes) << 
628     }                                          << 
629 }                                                 375 }
630                                                   376 
631 /// Allows formatting of [`fmt::Arguments`] in    377 /// Allows formatting of [`fmt::Arguments`] into a raw buffer.
632 ///                                               378 ///
633 /// It does not fail if callers write past the    379 /// It does not fail if callers write past the end of the buffer so that they can calculate the
634 /// size required to fit everything.              380 /// size required to fit everything.
635 ///                                               381 ///
636 /// # Invariants                                  382 /// # Invariants
637 ///                                               383 ///
638 /// The memory region between `pos` (inclusive    384 /// The memory region between `pos` (inclusive) and `end` (exclusive) is valid for writes if `pos`
639 /// is less than `end`.                           385 /// is less than `end`.
640 pub(crate) struct RawFormatter {                  386 pub(crate) struct RawFormatter {
641     // Use `usize` to use `saturating_*` funct    387     // Use `usize` to use `saturating_*` functions.
642     beg: usize,                                   388     beg: usize,
643     pos: usize,                                   389     pos: usize,
644     end: usize,                                   390     end: usize,
645 }                                                 391 }
646                                                   392 
647 impl RawFormatter {                               393 impl RawFormatter {
648     /// Creates a new instance of [`RawFormatt    394     /// Creates a new instance of [`RawFormatter`] with an empty buffer.
649     fn new() -> Self {                            395     fn new() -> Self {
650         // INVARIANT: The buffer is empty, so     396         // INVARIANT: The buffer is empty, so the region that needs to be writable is empty.
651         Self {                                    397         Self {
652             beg: 0,                               398             beg: 0,
653             pos: 0,                               399             pos: 0,
654             end: 0,                               400             end: 0,
655         }                                         401         }
656     }                                             402     }
657                                                   403 
658     /// Creates a new instance of [`RawFormatt    404     /// Creates a new instance of [`RawFormatter`] with the given buffer pointers.
659     ///                                           405     ///
660     /// # Safety                                  406     /// # Safety
661     ///                                           407     ///
662     /// If `pos` is less than `end`, then the     408     /// If `pos` is less than `end`, then the region between `pos` (inclusive) and `end`
663     /// (exclusive) must be valid for writes f    409     /// (exclusive) must be valid for writes for the lifetime of the returned [`RawFormatter`].
664     pub(crate) unsafe fn from_ptrs(pos: *mut u    410     pub(crate) unsafe fn from_ptrs(pos: *mut u8, end: *mut u8) -> Self {
665         // INVARIANT: The safety requirements     411         // INVARIANT: The safety requirements guarantee the type invariants.
666         Self {                                    412         Self {
667             beg: pos as _,                        413             beg: pos as _,
668             pos: pos as _,                        414             pos: pos as _,
669             end: end as _,                        415             end: end as _,
670         }                                         416         }
671     }                                             417     }
672                                                   418 
673     /// Creates a new instance of [`RawFormatt    419     /// Creates a new instance of [`RawFormatter`] with the given buffer.
674     ///                                           420     ///
675     /// # Safety                                  421     /// # Safety
676     ///                                           422     ///
677     /// The memory region starting at `buf` an    423     /// The memory region starting at `buf` and extending for `len` bytes must be valid for writes
678     /// for the lifetime of the returned [`Raw    424     /// for the lifetime of the returned [`RawFormatter`].
679     pub(crate) unsafe fn from_buffer(buf: *mut    425     pub(crate) unsafe fn from_buffer(buf: *mut u8, len: usize) -> Self {
680         let pos = buf as usize;                   426         let pos = buf as usize;
681         // INVARIANT: We ensure that `end` is     427         // INVARIANT: We ensure that `end` is never less then `buf`, and the safety requirements
682         // guarantees that the memory region i    428         // guarantees that the memory region is valid for writes.
683         Self {                                    429         Self {
684             pos,                                  430             pos,
685             beg: pos,                             431             beg: pos,
686             end: pos.saturating_add(len),         432             end: pos.saturating_add(len),
687         }                                         433         }
688     }                                             434     }
689                                                   435 
690     /// Returns the current insert position.      436     /// Returns the current insert position.
691     ///                                           437     ///
692     /// N.B. It may point to invalid memory.      438     /// N.B. It may point to invalid memory.
693     pub(crate) fn pos(&self) -> *mut u8 {         439     pub(crate) fn pos(&self) -> *mut u8 {
694         self.pos as _                             440         self.pos as _
695     }                                             441     }
696                                                   442 
697     /// Returns the number of bytes written to !! 443     /// Return the number of bytes written to the formatter.
698     pub(crate) fn bytes_written(&self) -> usiz    444     pub(crate) fn bytes_written(&self) -> usize {
699         self.pos - self.beg                       445         self.pos - self.beg
700     }                                             446     }
701 }                                                 447 }
702                                                   448 
703 impl fmt::Write for RawFormatter {                449 impl fmt::Write for RawFormatter {
704     fn write_str(&mut self, s: &str) -> fmt::R    450     fn write_str(&mut self, s: &str) -> fmt::Result {
705         // `pos` value after writing `len` byt    451         // `pos` value after writing `len` bytes. This does not have to be bounded by `end`, but we
706         // don't want it to wrap around to 0.     452         // don't want it to wrap around to 0.
707         let pos_new = self.pos.saturating_add(    453         let pos_new = self.pos.saturating_add(s.len());
708                                                   454 
709         // Amount that we can copy. `saturatin    455         // Amount that we can copy. `saturating_sub` ensures we get 0 if `pos` goes past `end`.
710         let len_to_copy = core::cmp::min(pos_n    456         let len_to_copy = core::cmp::min(pos_new, self.end).saturating_sub(self.pos);
711                                                   457 
712         if len_to_copy > 0 {                      458         if len_to_copy > 0 {
713             // SAFETY: If `len_to_copy` is non    459             // SAFETY: If `len_to_copy` is non-zero, then we know `pos` has not gone past `end`
714             // yet, so it is valid for write p    460             // yet, so it is valid for write per the type invariants.
715             unsafe {                              461             unsafe {
716                 core::ptr::copy_nonoverlapping    462                 core::ptr::copy_nonoverlapping(
717                     s.as_bytes().as_ptr(),        463                     s.as_bytes().as_ptr(),
718                     self.pos as *mut u8,          464                     self.pos as *mut u8,
719                     len_to_copy,                  465                     len_to_copy,
720                 )                                 466                 )
721             };                                    467             };
722         }                                         468         }
723                                                   469 
724         self.pos = pos_new;                       470         self.pos = pos_new;
725         Ok(())                                    471         Ok(())
726     }                                             472     }
727 }                                                 473 }
728                                                   474 
729 /// Allows formatting of [`fmt::Arguments`] in    475 /// Allows formatting of [`fmt::Arguments`] into a raw buffer.
730 ///                                               476 ///
731 /// Fails if callers attempt to write more tha    477 /// Fails if callers attempt to write more than will fit in the buffer.
732 pub(crate) struct Formatter(RawFormatter);        478 pub(crate) struct Formatter(RawFormatter);
733                                                   479 
734 impl Formatter {                                  480 impl Formatter {
735     /// Creates a new instance of [`Formatter`    481     /// Creates a new instance of [`Formatter`] with the given buffer.
736     ///                                           482     ///
737     /// # Safety                                  483     /// # Safety
738     ///                                           484     ///
739     /// The memory region starting at `buf` an    485     /// The memory region starting at `buf` and extending for `len` bytes must be valid for writes
740     /// for the lifetime of the returned [`For    486     /// for the lifetime of the returned [`Formatter`].
741     pub(crate) unsafe fn from_buffer(buf: *mut    487     pub(crate) unsafe fn from_buffer(buf: *mut u8, len: usize) -> Self {
742         // SAFETY: The safety requirements of     488         // SAFETY: The safety requirements of this function satisfy those of the callee.
743         Self(unsafe { RawFormatter::from_buffe    489         Self(unsafe { RawFormatter::from_buffer(buf, len) })
744     }                                             490     }
745 }                                                 491 }
746                                                   492 
747 impl Deref for Formatter {                        493 impl Deref for Formatter {
748     type Target = RawFormatter;                   494     type Target = RawFormatter;
749                                                   495 
750     fn deref(&self) -> &Self::Target {            496     fn deref(&self) -> &Self::Target {
751         &self.0                                   497         &self.0
752     }                                             498     }
753 }                                                 499 }
754                                                   500 
755 impl fmt::Write for Formatter {                   501 impl fmt::Write for Formatter {
756     fn write_str(&mut self, s: &str) -> fmt::R    502     fn write_str(&mut self, s: &str) -> fmt::Result {
757         self.0.write_str(s)?;                     503         self.0.write_str(s)?;
758                                                   504 
759         // Fail the request if we go past the     505         // Fail the request if we go past the end of the buffer.
760         if self.0.pos > self.0.end {              506         if self.0.pos > self.0.end {
761             Err(fmt::Error)                       507             Err(fmt::Error)
762         } else {                                  508         } else {
763             Ok(())                                509             Ok(())
764         }                                         510         }
765     }                                             511     }
766 }                                                 512 }
767                                                   513 
768 /// An owned string that is guaranteed to have    514 /// An owned string that is guaranteed to have exactly one `NUL` byte, which is at the end.
769 ///                                               515 ///
770 /// Used for interoperability with kernel APIs    516 /// Used for interoperability with kernel APIs that take C strings.
771 ///                                               517 ///
772 /// # Invariants                                  518 /// # Invariants
773 ///                                               519 ///
774 /// The string is always `NUL`-terminated and     520 /// The string is always `NUL`-terminated and contains no other `NUL` bytes.
775 ///                                               521 ///
776 /// # Examples                                    522 /// # Examples
777 ///                                               523 ///
778 /// ```                                           524 /// ```
779 /// use kernel::{str::CString, fmt};           !! 525 /// use kernel::str::CString;
780 ///                                               526 ///
781 /// let s = CString::try_from_fmt(fmt!("{}{}{}    527 /// let s = CString::try_from_fmt(fmt!("{}{}{}", "abc", 10, 20)).unwrap();
782 /// assert_eq!(s.as_bytes_with_nul(), "abc1020    528 /// assert_eq!(s.as_bytes_with_nul(), "abc1020\0".as_bytes());
783 ///                                               529 ///
784 /// let tmp = "testing";                          530 /// let tmp = "testing";
785 /// let s = CString::try_from_fmt(fmt!("{tmp}{    531 /// let s = CString::try_from_fmt(fmt!("{tmp}{}", 123)).unwrap();
786 /// assert_eq!(s.as_bytes_with_nul(), "testing    532 /// assert_eq!(s.as_bytes_with_nul(), "testing123\0".as_bytes());
787 ///                                               533 ///
788 /// // This fails because it has an embedded `    534 /// // This fails because it has an embedded `NUL` byte.
789 /// let s = CString::try_from_fmt(fmt!("a\0b{}    535 /// let s = CString::try_from_fmt(fmt!("a\0b{}", 123));
790 /// assert_eq!(s.is_ok(), false);                 536 /// assert_eq!(s.is_ok(), false);
791 /// ```                                           537 /// ```
792 pub struct CString {                              538 pub struct CString {
793     buf: Vec<u8>,                                 539     buf: Vec<u8>,
794 }                                                 540 }
795                                                   541 
796 impl CString {                                    542 impl CString {
797     /// Creates an instance of [`CString`] fro    543     /// Creates an instance of [`CString`] from the given formatted arguments.
798     pub fn try_from_fmt(args: fmt::Arguments<'    544     pub fn try_from_fmt(args: fmt::Arguments<'_>) -> Result<Self, Error> {
799         // Calculate the size needed (formatte    545         // Calculate the size needed (formatted string plus `NUL` terminator).
800         let mut f = RawFormatter::new();          546         let mut f = RawFormatter::new();
801         f.write_fmt(args)?;                       547         f.write_fmt(args)?;
802         f.write_str("\0")?;                       548         f.write_str("\0")?;
803         let size = f.bytes_written();             549         let size = f.bytes_written();
804                                                   550 
805         // Allocate a vector with the required    551         // Allocate a vector with the required number of bytes, and write to it.
806         let mut buf = <Vec<_> as VecExt<_>>::w !! 552         let mut buf = Vec::try_with_capacity(size)?;
807         // SAFETY: The buffer stored in `buf`     553         // SAFETY: The buffer stored in `buf` is at least of size `size` and is valid for writes.
808         let mut f = unsafe { Formatter::from_b    554         let mut f = unsafe { Formatter::from_buffer(buf.as_mut_ptr(), size) };
809         f.write_fmt(args)?;                       555         f.write_fmt(args)?;
810         f.write_str("\0")?;                       556         f.write_str("\0")?;
811                                                   557 
812         // SAFETY: The number of bytes that ca    558         // SAFETY: The number of bytes that can be written to `f` is bounded by `size`, which is
813         // `buf`'s capacity. The contents of t    559         // `buf`'s capacity. The contents of the buffer have been initialised by writes to `f`.
814         unsafe { buf.set_len(f.bytes_written()    560         unsafe { buf.set_len(f.bytes_written()) };
815                                                   561 
816         // Check that there are no `NUL` bytes    562         // Check that there are no `NUL` bytes before the end.
817         // SAFETY: The buffer is valid for rea    563         // SAFETY: The buffer is valid for read because `f.bytes_written()` is bounded by `size`
818         // (which the minimum buffer size) and    564         // (which the minimum buffer size) and is non-zero (we wrote at least the `NUL` terminator)
819         // so `f.bytes_written() - 1` doesn't     565         // so `f.bytes_written() - 1` doesn't underflow.
820         let ptr = unsafe { bindings::memchr(bu    566         let ptr = unsafe { bindings::memchr(buf.as_ptr().cast(), 0, (f.bytes_written() - 1) as _) };
821         if !ptr.is_null() {                       567         if !ptr.is_null() {
822             return Err(EINVAL);                   568             return Err(EINVAL);
823         }                                         569         }
824                                                   570 
825         // INVARIANT: We wrote the `NUL` termi    571         // INVARIANT: We wrote the `NUL` terminator and checked above that no other `NUL` bytes
826         // exist in the buffer.                   572         // exist in the buffer.
827         Ok(Self { buf })                          573         Ok(Self { buf })
828     }                                             574     }
829 }                                                 575 }
830                                                   576 
831 impl Deref for CString {                          577 impl Deref for CString {
832     type Target = CStr;                           578     type Target = CStr;
833                                                   579 
834     fn deref(&self) -> &Self::Target {            580     fn deref(&self) -> &Self::Target {
835         // SAFETY: The type invariants guarant    581         // SAFETY: The type invariants guarantee that the string is `NUL`-terminated and that no
836         // other `NUL` bytes exist.               582         // other `NUL` bytes exist.
837         unsafe { CStr::from_bytes_with_nul_unc    583         unsafe { CStr::from_bytes_with_nul_unchecked(self.buf.as_slice()) }
838     }                                          << 
839 }                                              << 
840                                                << 
841 impl DerefMut for CString {                    << 
842     fn deref_mut(&mut self) -> &mut Self::Targ << 
843         // SAFETY: A `CString` is always NUL-t << 
844         // NUL bytes.                          << 
845         unsafe { CStr::from_bytes_with_nul_unc << 
846     }                                          << 
847 }                                              << 
848                                                << 
849 impl<'a> TryFrom<&'a CStr> for CString {       << 
850     type Error = AllocError;                   << 
851                                                << 
852     fn try_from(cstr: &'a CStr) -> Result<CStr << 
853         let mut buf = Vec::new();              << 
854                                                << 
855         <Vec<_> as VecExt<_>>::extend_from_sli << 
856             .map_err(|_| AllocError)?;         << 
857                                                << 
858         // INVARIANT: The `CStr` and `CString` << 
859         // the string data, and we copied it o << 
860         Ok(CString { buf })                    << 
861     }                                          << 
862 }                                              << 
863                                                << 
864 impl fmt::Debug for CString {                  << 
865     fn fmt(&self, f: &mut fmt::Formatter<'_>)  << 
866         fmt::Debug::fmt(&**self, f)            << 
867     }                                             584     }
868 }                                                 585 }
869                                                   586 
870 /// A convenience alias for [`core::format_arg    587 /// A convenience alias for [`core::format_args`].
871 #[macro_export]                                   588 #[macro_export]
872 macro_rules! fmt {                                589 macro_rules! fmt {
873     ($($f:tt)*) => ( core::format_args!($($f)*    590     ($($f:tt)*) => ( core::format_args!($($f)*) )
874 }                                                 591 }
                                                      

~ [ source navigation ] ~ [ diff markup ] ~ [ identifier search ] ~

kernel.org | git.kernel.org | LWN.net | Project Home | SVN repository | Mail admin

Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.

sflogo.php