Возможно наличие структуры/кортежа признаков в Rust?

Question

Я понимаю, что это незаконно в Руст:

trait A { } 
struct S { a: A, b: A } 

Причина заключается в том, что все члены, кроме последнего, должны иметь размеры, и черта не размера.

Означает ли это, что невозможно иметь структуру/кортеж черт? Как мне вернуть пару значений из функции, и я знаю только, что они реализуют определенный признак?

Answer 1

Вы уже определили проблему типа не размер, поэтому вам просто нужно превратить его в тип размера.

Если вы не являетесь владельцем объектов, вы можете использовать ссылку.

struct S1<'a> { 
    a: &'a A, 
    b: &'a A, 
} 

Вы можете использовать два срока службы вместо одного, если они разные.

struct S1<'a, 'b> { 
    a: &'a A, 
    b: &'b A, 
} 

Если вы хотите иметь объекты, вы можете использовать Box.

struct S2 { 
    a: Box<A>, 
    b: Box<A>, 
} 

Кроме того, если вы знаете конкретный тип во время компиляции, и вы просто хотите, чтобы написать общий код, вы можете написать Generic STRUCT тоже

struct S3<A1: A, A2: A> { 
    a: A1, 
    b: A2, 
} 

В S3, каждый A1 или A2 представляет собой конкретный тип, который реализует признак A при его создании в коде.