构造函数、错误和验证器

可以为构造函数指定验证函数和错误类型。

这对于值有限（与内部类型相比）的类型很有用。例如，Vec<u8>可以包含任何二进制数据，但String可以包含有效的UTF-8序列。

• 指定构造函数名称、可见性和不安全。以下所有属性都是可选的。
  • #[custom_slice(new_unchecked = ..)]：不带验证的构造函数。
    • 这不需要验证器。
    • 这返回Owned。
  • #[custom_slice(new_checked = ..)]：带验证的构造函数。
    • 这需要验证器。
    • 这返回Result<Owned, _>。
  • #[custom_slice(new_unchecked_mut = ..)]：不带验证的构造函数。
    • 这不需要验证器。
    • 仅适用于切片类型。
    • 这返回&mut Slice。
  • #[custom_slice(new_checked_mut = ..)]：带验证的构造函数。
    • 这需要验证器。
    • 仅适用于切片类型。
    • 这返回Result<&mut Slice, _>。
• 指定验证函数。
  • 可选。
  • 验证函数的名称可以是任何有效的名称，但应该在宏define_slice_types_pair!中定义，并且应该具有属性#[custom_slice(validator)]。
  • 返回类型应为std::result::Result<(), _>。
• 指定错误类型和映射函数。
  • 使用#[custom_slice(error(type = "ErrorTypeName"))]。
  • 如果您想返回修改后的错误，请使用#[custom_slice(error(type = "ErrorTypeName"))]。
  • #[custom_slice(error(type = "ErrorTypeName"))]。
  • #[custom_slice(error(type = "ErrorTypeName"))]。

#[custom_slice(error(type = "ErrorTypeName"))]。

custom_slice_macros::define_slice_types_pair! {
    /// Owned slice.
    // Assume `owned_inner: OwnedInner`.
    #[custom_slice(owned)]
    //let _: Owned = Owned::new(owned_inner);
    #[custom_slice(new_unchecked = "fn new")]
    pub struct Owned(OwnedInner);

    /// Borrowed slice.
    #[repr(transparent)]
    // Assume `slice_inner_ref: &Slice` and `slice_inner_mut: &mut Slice`.
    #[custom_slice(slice)]
    //let _: &Slice = Slice::new(slice_inner_ref);
    #[custom_slice(new = "fn new")]
    //let _: &mut Slice = Slice::new_mut(slice_inner_mut);
    #[custom_slice(new_mut = "fn new_mut")]
    pub struct Slice(SliceInner);
}

#[custom_slice(error(type = "ErrorTypeName"))]。

custom_slice_macros::define_slice_types_pair! {
    /// Owned slice.
    // Assume `owned_inner: OwnedInner`.
    #[custom_slice(owned)]
    //let _: Owned = unsafe { Owned::new_unchecked(owned_inner) };
    #[custom_slice(new_unchecked = "unsafe fn new_unchecked")]
    //let _: Result<Owned, ErrorWithInner> = Owned::new(owned_inner);
    #[custom_slice(new_checked = "pub fn new")]
    #[custom_slice(error(
        type = "ErrorWithInner",
        map = "{|e, v| Error { error: e, value: v } }"
    ))]
    pub struct Owned(OwnedInner);

    /// Borrowed slice.
    #[repr(transparent)]
    // Assume `slice_inner_ref: &Slice` and `slice_inner_mut: &mut Slice`.
    #[custom_slice(slice)]
    //let _: &Slice = unsafe { Slice::new_unchecked(slice_inner_ref) };
    #[custom_slice(new_unchecked = "unsafe fn new_unchecked")]
    //let _: &mut Slice = unsafe { Slice::new_unchecked_mut(slice_inner_mut) };
    #[custom_slice(new_unchecked_mut = "unsafe fn new_unchecked_mut")]
    //let _: Result<&Slice, Error> = Slice::new(slice_inner_ref);
    #[custom_slice(new_checked = "pub fn new")]
    //let _: Result<&mut Slice, Error> = Slice::new_mut(slice_inner_mut);
    #[custom_slice(new_checked_mut = "pub fn new_mut")]
    #[custom_slice(error(type = "Error"))]
    pub struct Slice(SliceInner);

    /// Validates the given data.
    ///
    /// Returns `Ok(())` for valid data, `Err(_)` for invalid data.
    #[custom_slice(validator)]
    fn validate(s: &SliceInner) -> Result<(), Error> {
        /* Do the validation. */
    }
}

可以定义具有有意义的名称的内嵌类型的访问器。

指定访问器名称、可见性和不安全性。下面的所有属性都是可选的。

custom_slice_macros::define_slice_types_pair! {
    /// Owned slice.
    // Assume `owned: Owned` and `mut owned_mut: Owned`.
    #[custom_slice(owned)]
    //let _: &OwnedInner = owned.get();
    #[custom_slice(get_ref = "pub fn get")]
    //let _: &mut OwnedInner = owned_mut.get_mut();
    #[custom_slice(get_mut = "fn get_mut")]
    //let _: OwnedInner = owned.into_inner();
    #[custom_slice(into_inner = "pub fn into_inner")]
    pub struct Owned(OwnedInner);

    /// Borrowed slice.
    // Assume `slice_ref: &Slice` and `slice_mut: &mut Slice`.
    #[repr(transparent)]
    #[custom_slice(slice)]
    //let _: &SliceInner = slice_ref.get();
    #[custom_slice(get_ref = "pub fn get")]
    //let _: &mut SliceInner = slice_mut.get_mut();
    #[custom_slice(get_mut = "fn get_mut")]
    pub struct Slice(SliceInner);
}

• #[custom_slice(error(type = "ErrorTypeName"))]。
  • 此返回值为&OwnedInner或&SliceInner。
    • #[custom_slice(error(type = "ErrorTypeName"))]。
  • #[custom_slice(error(type = "ErrorTypeName"))]。
    • 此返回值为&mut OwnedInner或&mut SliceInner。
  • #[custom_slice(into_inner = ..)]：析构函数。
    • 此函数返回 OwnedInner。
    • 仅对拥有类型有效。

custom_slice_macros::define_slice_types_pair! {
    /// Owned slice.
    #[custom_slice(owned)]
    #[custom_slice(get_ref = "#[allow(missing_docs)] pub fn get")]
    #[custom_slice(get_mut = "#[deny(dead_code)] fn get_mut")]
    #[custom_slice(into_inner = "
        /// Extracts the inner owned slice.
        pub fn into_inner
    ")]
    pub struct Owned(OwnedInner);

    /// Borrowed slice.
    #[repr(transparent)]
    #[custom_slice(slice)]
    #[custom_slice(new_unchecked = "
        /// Creates a new `Slice` without validation.
        #[deprecated (since = \"0.2.0\", note = \"Use `new_checked`\")]
        pub fn new_unchecked
    ")]
    #[custom_slice(new_checked = "
        /// Creates a new `Slice` if the given value is valid.
        pub fn new_checked
    ")]
    pub struct Slice(SliceInner);
}

custom_slice_macros::define_slice_types_pair! {
    /// Owned slice.
    #[custom_slice(owned)]
    #[custom_slice(derive(BorrowMut, Deref, DerefMut))]
    pub struct Owned(OwnedInner);

    /// Borrowed slice.
    #[repr(transparent)]
    #[custom_slice(slice)]
    #[custom_slice(derive(DefaultRef, DefaultRefMut))]
    pub struct Slice(SliceInner);
}

为切片类型推导目标

• std::cmp::*
  • PartialEqBulk：许多实现使用 <Slice as PartialEq<Slice>>。
    • 需要 PartialEq<Slice> for Slice。
    • impl PartialEq<&Slice> for Slice
    • impl PartialEq<Slice> for &Slice
    • impl PartialEq<Cow<Slice>> for Slice
    • impl PartialEq<Slice> for Cow<Slice>
  • PartialEqInnerBulk：许多实现使用 <SliceInner as PartialEq<SliceInner>>。
    • 需要 PartialEq<SliceInner> for SliceInner。
    • impl PartialEq<SliceInner> for Slice
    • impl PartialEq<Slice> for SliceInner
    • impl PartialEq<&SliceInner> for Slice
    • impl PartialEq<Slice> for &SliceInner
    • impl PartialEq<OwnedInner> for Slice
    • impl PartialEq<Slice> for OwnedInner
    • impl PartialEq<Cow<SliceInner>> for Slice
    • impl PartialEq<Slice> for Cow<SliceInner>
    • impl PartialEq<SliceInner> for &Slice
    • impl PartialEq<&Slice> for SliceInner
    • impl PartialEq<OwnedInner> for &Slice
    • impl PartialEq<&Slice> for OwnedInner
    • impl PartialEq<Cow<SliceInner>> for &Slice
    • impl PartialEq<&Slice> for Cow<SliceInner>
  • PartialOrdBulk、PartialOrdInnerBulk：PartialOrd 版本的对应 PartialEq* 目标。
    • 需要相应的 PartialEq* 实现者。
    • 请参阅相应 PartialEq* 的描述以获取详细信息。
• std::转换::*
  • AsRefSlice：impl std::convert::AsRef<Slice> for Slice { /* .. */ }
    • 需要 AsRef<SliceInner>: SliceInner。
  • AsRefSliceInner：impl std::convert::AsRef<SliceInner> for Slice { /* .. */ }
    • 需要 AsRef<SliceInner>: SliceInner。
  • AsMutSlice：impl std::convert::AsMut<Slice> for Slice { /* .. */ }
    • 需要 AsMut<SliceInner>: SliceInner。
  • AsMutSliceInner：impl std::convert::AsMut<SliceInner> for Slice { /* .. */ }
    • 需要 AsMut<SliceInner>: SliceInner。
  • FromInner：impl<'a> std::convert::From<&'a SliceInner> for &'a Slice { /* .. */ }
    • 需要验证器不存在。
  • FromInnerMut：impl<'a> std::convert::From<&'a mut SliceInner> for &'a mut Slice { /* .. */ }
    • 需要验证器不存在。
  • IntoArc：impl std::convert::From<&Slice> for std::sync::Arc<Slice> { /* .. */ }
    • 需要 Arc<SliceInner>: From<&SliceInner>.
  • IntoBox: impl std::convert::From<&Slice> for std::boxed::Box<Slice> { /* .. */ }
    • 需要 Box<SliceInner>: From<&SliceInner>.
  • IntoRc: impl std::convert::From<&Slice> for std::rc::Rc<Slice> { /* .. */ }
    • 需要 Rc<SliceInner>: From<&SliceInner>.
  • TryFromInner: impl<'a> std::convert::TryFrom<&'a SliceInner> for &'a Slice { /* .. */ }
    • 需要验证器存在。
  • TryFromInnerMut： impl<'a> std::convert::TryFrom<&'a mut SliceInner> for &'a mut Slice{/* .. */}
    • 需要验证器存在。
• std::默认::*
  • DefaultBox： implstd::default::Default forBox<Slice>{/* .. */}
    • 需要 Box<SliceInner>:Default。
  • DefaultRef： implstd::default::Default for&Slice{/* .. */}
    • 需要 &SliceInner:Default。
  • DefaultRefMut： implstd::default::Default for&mut Slice{/* .. */}
    • 需要 &mut SliceInner:Default。
• std::操作::*
  • Deref： implstd::ops::Deref forSlice{type Target = SliceInner;/* .. */}
  • DerefMut: impl std::ops::DerefMut for Slice { /* .. */ }
    • 需要 Deref<Target = SliceInner> for Slice。