Swift中变量标注Sequence协议类型导致enumerated调用报错的问题

这不是Swift的bug，而是存在类型（即any Protocol写法）的特性限制导致的。

问题根源 #

enumerated()是Sequence协议的扩展方法，它的返回类型是EnumeratedSequence<Self>——这里的Self指的是具体的Sequence实现类型（比如Array<URL>、Set<URL>等）。当你把变量标注为any Sequence<URL>时，编译器只知道它遵循Sequence<URL>协议，但无法确定具体是哪一种实现类型，也就没办法生成对应EnumeratedSequence的实例，因为这个类型需要明确的具体类型参数。

而去掉类型标注后，编译器会自动推断出变量的具体类型（比如用数组字面量初始化时，会推断为Array<URL>），这是一个明确的Sequence实现，自然可以正常调用enumerated()。

解决方法 #

有几种方式可以在保留类型约束的同时让代码正常运行：

1. 使用具体类型代替存在类型
   如果你的序列有明确的具体实现（比如数组），直接标注具体类型即可：

   var appURLs: [URL] = [URL(string: "https://apple.com")!]
   for (index, url) in appURLs.enumerated() {
       print(index, url)
   }
   

2. 用泛型约束替代存在类型
   如果是在函数或者结构体/类中，可以通过泛型参数来约束类型，让编译器明确具体的Sequence实现：

   func handleURLs<T: Sequence<URL>>(urls: T) {
       for (idx, url) in urls.enumerated() {
           // 处理逻辑
       }
   }
   
   // 调用时传入具体类型（比如数组）
   let urls = [URL(string: "https://example.com")!]
   handleURLs(urls: urls)
   

3. 手动实现枚举逻辑（迫不得已时）
   如果必须使用any Sequence<URL>类型，也可以绕开enumerated()，手动维护计数器：

   var appURLs: any Sequence<URL> = [URL(string: "https://swift.org")!]
   var counter = 0
   for url in appURLs {
       print("\(counter): \(url)")
       counter += 1
   }
   

内容的提问来源于stack exchange，提问作者Myridium