On Nov 12, 2013, at 10:26 PM, Kevin Ballard <[email protected]> wrote: > And even that restriction could be lifted if ~Trait objects could be > represented using an array of pointers (one to each inherited struct), e.g. > ([*A,*B,*C],*vtable) instead of just (*A,*vtable), though I suspect this is > not worth doing.
Upon further reflection, this would need to be done anyway because of the
ability to combine traits. If I have
trait TraitA : A {}
trait TraitB : B {}
and I want to use ~TraitA+TraitB then I would need a "fat" trait. Although in
this case the number of value pointers is equal to the number of combined
traits, so it's a bit more sensible to allow for "fat" trait pointers here.
-Kevin
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
