能否在Swift中将返回类型指定为特定类型的任何集合？

Question

我已经实现了一个自定义队列对象，我想用它在控制器中存储以前的项目。我希望将此类型用作控制器中的私有变量，并仅将其作为符合CollectionType的对象对外公开，以便客户端可以在不知道任何特定于类的详细信息（例如clear（）函数）的情况下迭代或索引该对象。

Swift协议不能是通用的，所以不幸的是，我不能简单地定义一个getter来返回一个集合

class AnyCollectionOf<MemberT, IndexT: ForwardIndexType>: CollectionType {
    // Sequence Type
    func generate() -> GeneratorOf<MemberT> {
        fatalError("must override")
    }

    // Collection Type
    typealias Index = IndexT
    typealias Element = MemberT

    subscript (index: Index) -> Element {
        get {
            fatalError("must override")
        }
    }

    var startIndex: Index {
        get {
            fatalError("must override")
        }
    }

    var endIndex: Index {
        get {
            fatalError("must override")
        }
    }
}




Answer 1

例如，我有一个堆栈视图，有2个标签和1个图像视图，并成功地使用了这个：

open var labels: [UILabel] {
        return views.filter({ $0 is UILabel }).flatMap({ $0 }) as! [UILabel]
    }

如果您想使其通用化：filter，flatMap（compactMap，来自Swift 4）和downforced可选

Answer 2

从Swift 5.1开始，这最终可以通过some关键字实现：

func upNext() -> some Collection { ... }

Answer 3

不幸的是，您的标题问题的答案是否定的：没有办法将CollectionType绑定为可以用作变量或返回类型的独立类型。

像SequextType和集合类型这样的协议要求实现它们的类提供类型别名来填充实现细节，比如元素类型，就像上面所做的那样。一旦协议添加了这些要求，它就再也不能作为独立类型使用了。您只能根据符合它的特定类声明接口。（如果您试图解决这个问题，您可能记得看到了关于“关联类型需求”的不太有用的编译器错误。）

这就是你不能写作的基本原因

func countItems(collection: CollectionType) -> Int { ... }

但我必须写

func countItems<T: CollectionType>(collection: T) -> Int { ... }

后一种形式确保编译器能够访问实现CollectionType协议的对象（T）的实际类型。

然而，如果您从封装而不是继承的角度考虑，您想要做的事情可能还有一个更干净的实现。您可以使用一个简单的包装器来阻止对所有内容的访问，但核心的集合类型方法除外：

struct ShieldedCollection<UCT: CollectionType> : CollectionType
{
    private var underlying: UCT

    func generate() -> UCT.Generator { return underlying.generate() }
    subscript(index: UCT.Index) -> UCT.Generator.Element { return underlying[index] }
    var startIndex: UCT.Index { return underlying.startIndex }
    var endIndex: UCT.Index { return underlying.endIndex }
}

var foo = [1, 2, 3]
var shieldedFoo = ShieldedCollection(underlying: foo)

（此处，UCT=“基础集合类型”。）

ShieldedCollection仍然具有所有常用的TypeAlias作为CollectionType，但由于这些别名可以从上下文推断，因此不必显式指定它们。

这种泛型方法的缺陷是，底层类型仍然泄漏到API中，不幸的是，这是一个相当大的缺陷。在上面的例子中屏蔽的类型是

ShieldedCollection<Array<Int>>

由于您的基础集合是一个自定义对象，因此即使客户端无法直接访问该类，其名称仍可能在API中泄漏。但是请注意，这不是一个功能问题，因为不可能通过ShieldedCollection包装器访问底层对象。此外，使用者将永远不必自己编写类型-他们可以将previousItems（）的结果用作CollectionType，编译器将解开所有问题。

如果您真的想要掩盖对基础集合类型的所有提及，您可以通过在ShieldedCollection中移动UCT定义来编写上面包装器的特定任务模拟：

struct ShieldedCollection<T> : CollectionType    // Changed!
{
    typealias UCT = [T]                          // Added!

    private var underlying: UCT                  // Everything else identical

    func generate() -> UCT.Generator { return underlying.generate() }
    subscript(index: UCT.Index) -> UCT.Generator.Element { return underlying[index] }
    var startIndex: UCT.Index { return underlying.startIndex }
    var endIndex: UCT.Index { return underlying.endIndex }
}

var foo = [1, 2, 3]
var shieldedFoo = ShieldedCollection(underlying: foo)

在这里，您放弃了全部通用性，从而使返回类型变得整洁——此版本的ShieldedCollection将仅适用于作为数组的底层CollectionType。（当然，您只需将typealias中自己的自定义集合类型替换为UCT。）