lang (syntax | traits)
This RFC proposes allowing the Self type to be used in every position in trait
implementations, including where clauses and other parameters to the trait being
implemented.
Self is a useful tool to have to reduce churn when the type changes for
various reasons. One would expect to be able to write
impl SomeTrait for MySuperLongType<T, U, V, W, X> where
Self: SomeOtherTrait,
but this will fail to compile today, forcing you to repeat the type, and adding one more place that has to change if the type ever changes.
By this same logic, we would also like to be able to reference associated types from the traits being implemented. When dealing with generic code, patterns like this often emerge:
trait MyTrait {
type MyType: SomeBound;
}
impl<T, U, V> MyTrait for SomeStruct<T, U, V> where
SomeOtherStruct<T, U, V>: SomeBound,
{
type MyType = SomeOtherStruct<T, U, V>;
}
the only reason the associated type is repeated at all is to restate the bound on the associated type. It would be nice to reduce some of that duplication.
Instead of blocking Self from being used in the "header" of a trait impl,
it will be understood to be a reference to the implementation type. For example,
all of these would be valid:
impl SomeTrait for SomeType where Self: SomeOtherTrait { }
impl SomeTrait<Self> for SomeType { }
impl SomeTrait for SomeType where SomeOtherType<Self>: SomeTrait { }
impl SomeTrait for SomeType where Self::AssocType: SomeOtherTrait {
AssocType = SomeOtherType;
}
If the Self type is parameterized by Self, an error that the type definition
is recursive is thrown, rather than not recognizing self.
// The error here is because this would be Vec<Vec<Self>>, Vec<Vec<Vec<Self>>>, ...
impl SomeTrait for Vec<Self> { }
Self is always less explicit than the alternative.
Not implementing this is an alternative, as is accepting Self only in where clauses and not other positions in the impl header.
None