Какова цель оператора + в ассоциированном типе?

Question

Мне нужно знать цель оператора + и ключевое слово 'static в конце. Я понимаю, что 'static относится к жизни, но с какой целью он решает этот код.

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

    // ...methods... 
} 

Я вытащил этот код текст из source file from the llamadb project.

Answer 1

В этом контексте type X: Y означает, что X - это некоторый тип с ограничениями Y. + - способ объединения границ, так что X должен удовлетворять всем границ.

Другими словами, любая impl для Group должен иметь соответствующий тип ColumnValue, который SizedиClone смог иEq uatable иHash смог и'static.

Таким образом, любой код, использующий T: Group знает, что весь типа T::ColumnValue может быть сохранены в стеке (Sized), клонировали, проверяется на равенство, перемешанное и не имеет не- требования 'static пожизненных.