Trait alloc::slice::Concat

pub trait Concat<Item: ?Sized> {
    type Output;

    // Required method
    fn concat(slice: &Self) -> Self::Output;
}

🔬This is a nightly-only experimental API. (slice_concat_trait #27747)

[T]::concat 的辅助程序 trait。

Note: Item 类型参数未在此 trait 中使用，但它使 impls 更具泛型性。 没有它，我们将收到此错误：

error[E0207]: the type parameter `T` is not constrained by the impl trait, self type, or predica
   --> library/alloc/src/slice.rs:608:6
    |
608 | impl<T: Clone, V: Borrow<[T]>> Concat for [V] {
    |      ^ unconstrained type parameter

这是因为可能存在具有多个 Borrow<[_]> 表示的 V 类型，因此将应用多个 T 类型：

pub struct Foo(Vec<u32>, Vec<String>);

impl std::borrow::Borrow<[u32]> for Foo {
    fn borrow(&self) -> &[u32] { &self.0 }
}

impl std::borrow::Borrow<[String]> for Foo {
    fn borrow(&self) -> &[String] { &self.1 }
}

Required Associated Types

type Output

🔬This is a nightly-only experimental API. (slice_concat_trait #27747)

串联后的结果类型

Required Methods

fn concat(slice: &Self) -> Self::Output

🔬This is a nightly-only experimental API. (slice_concat_trait #27747)

[T]::concat 的实现

Implementors

impl<S: Borrow<str>> Concat<str> for [S]

Note: Concat<str> 中的 str 在这里没有意义。 trait 的这个类型参数的存在只是为了启用另一个 impl。

type Output = String

impl<T: Clone, V: Borrow<[T]>> Concat<T> for [V]

type Output = Vec<T, Global>