Swift的静态类型意味着
必须在编译时知道变量的类型。
在泛型函数的上下文中
func foo<T>() { ... },T看起来像一个变量,但实际上它的类型是在编译时根据
函数从何处调用而已知的。的行为
Array<T>()取决于T,但是
此信息在编译时是已知的。
使用协议时,Swift使用动态调度,因此您可以编写代码
Array<MyProtocol>(),并且数组仅存储对
实现的对象的引用MyProtocol—因此,当您从数组中获取内容时,您可以
访问所需的所有函数/变量/类型别名MyProtocol。
但是if t实际上是一个kind 变量
Any.Type,Array<t>()是
没有意义的,因为它的类型实际上在编译时是未知的。(由于
Array是通用结构,因此编译器需要知道将哪种类型用作
通用参数,但这是不可能的。)
我建议今年观看WWDC的一些视频:
Swift中面向协议的编程
在Swift中使用值类型构建更好的应用
我发现这张幻灯片对理解协议和



