But Collection has to have an extension which explicitly mentions
IndexingIterator:
extension Collection where Iterator == IndexingIterator<Self> {
/// Returns an iterator over the elements of the collection.
public func makeIterator() -> IndexingIterator<Self> {
return IndexingIterator(_elements: self)
}
}
And Array, for example, has to be explicit:
public typealias Iterator = IndexingIterator<${Self}>
So I still don’t see how defining:
associatedtype Iterator : IteratorProtocol = IndexingIterator<Self>
has created any default behaviour.
When you say "The fact that the compiler does not allow to use the inferred
‘Foo' type actually looks like a bug to me.”, could you give me an example of
how you would have imagined this default behaviour to work in the case of
Array? Would have expected Array not to have to define its typealias?
David.
> On 29 Apr 2016, at 10:59, Dmitri Gribenko <griboz...@gmail.com> wrote:
>
> On Fri, Apr 29, 2016 at 1:50 AM, David Hart <da...@hartbit.com
> <mailto:da...@hartbit.com>> wrote:
>> Hi Dimitri,
>>
>> Excuse me if I’m being dumb. I saw those example but I don’t understand
>> their use.
>>
>> If I define a custom Collection, I still have the be explicit in the types I
>> use where associated types are expected. Because I need to be explicit, I
>> don’t understand how default associated types are used.
>>
>> Default parameters seem clear to me:
>>
>> func foobar(a: Int = 0) {}
>> foo() // implicit uses default value
>> foo(a: 1) // Explicit bypasses default value
>>
>> But default associated types are not:
>>
>> protocol Foobar {
>> associatedtype Foo = Int
>> func foobar(a: Foo)
>> }
>>
>> class FoobarImpl : FooBar {
>> func foobar(a: Foo) {} // error: Use of undeclared type ‘Foo’ - there is
>> no such thing as an implicit use
>> func foobar(a: Double) {} // This works but is explicit
>> }
>
> In a typical use, 'func foobar' would also be defaulted. The
> Collection.Iterator associated type and the makeIterator() method are
> an example of this.
>
> The fact that the compiler does not allow to use the inferred 'Foo'
> type actually looks like a bug to me.
>
> Dmitri
>
> --
> main(i,j){for(i=2;;i++){for(j=2;j<i;j++){if(!(i%j)){j=0;break;}}if
> (j){printf("%d\n",i);}}} /*Dmitri Gribenko <griboz...@gmail.com
> <mailto:griboz...@gmail.com>>*/
_______________________________________________
swift-evolution mailing list
swift-evolution@swift.org
https://lists.swift.org/mailman/listinfo/swift-evolution
