Rust +;关联类型中的运算符?

Rust +;关联类型中的运算符?,rust,Rust,我需要知道+运算符的用途以及最后的静态关键字。我理解“静态”是指生命周期,但它在这段代码中解决了什么目的 pub trait Group { type ColumnValue: Sized + Clone + Eq + Hash + 'static; // ...methods... } 我从a中提取了这个代码文本。在这个上下文中,类型X:Y意味着X是有边界的类型Y+是一种组合边界的方法,因此X必须满足所有边界 换句话说,对于组的任何impl必须有一个关联的类型ColumnV

我需要知道
+
运算符的用途以及最后的
静态
关键字。我理解“静态”是指生命周期,但它在这段代码中解决了什么目的

pub trait Group {
    type ColumnValue: Sized + Clone + Eq + Hash + 'static;

    // ...methods...
}

我从a中提取了这个代码文本。

在这个上下文中,
类型X:Y
意味着
X
是有边界的类型
Y
+
是一种组合边界的方法,因此
X
必须满足所有边界

换句话说,对于
的任何
impl
必须有一个关联的类型
ColumnValue
,即
大小
克隆
能干和
均衡
可评估和
哈希
能干和
静态


因此,任何使用
T:Group
的代码都知道
T::ColumnValue
类型的任何内容都可以存储在堆栈上(
大小
),可以进行克隆、相等性检查、散列,并且不具有非
静态的
生存期要求,
type X:Y
意味着
X
是一种有边界的类型
Y
+
是一种组合边界的方法,因此
X
必须满足所有边界

换句话说,对于
的任何
impl
必须有一个关联的类型
ColumnValue
,即
大小
克隆
能干和
均衡
可评估和
哈希
能干和
静态


因此,任何使用
T:Group
的代码都知道
T::ColumnValue
类型的任何内容都可以存储在堆栈上(
size
),克隆,检查是否相等,散列,没有非静态生存期要求。

+
是一个分隔符,
列值
必须在其之间实现<代码>'static指定生存期。您试过阅读吗?
+
是一个分隔符,
ColumnValue
必须在这个分隔符之间执行<代码>'static指定生存期。你试过阅读吗?