摘要：
协议多态： 函数式编程多态：高阶函数的多态性； 泛型多态：泛型的基于约束编程； 共同点：相同的接口，不同的行为； 阅读全文
posted @ 2019-03-14 18:27
zzfx
阅读(532)
评论(0)
推荐(0)
摘要：
面向对象的本质：基于对象+面向接口+继承。 继承是对面向接口编程的升级；使得接口的复用能在继承链上进行； 继承的另一重含义的复用。 阅读全文
posted @ 2019-03-14 17:47
zzfx
阅读(263)
评论(0)
推荐(0)
摘要：
一、多态的本质 多态的本质：同一函数接口在接受不同的类型参量时表现出不同的行为： 不同对象能够调用同一接口，是因为它们含有统一的抽象纬度：接口； 同一函数能够接受不同对象的调用，是因为函数的参量是一个抽象类型（接口）； 环境变量（主体类型）作为接口函数的特殊输入对接口的实现起着决定性的作用； 同一个 阅读全文
posted @ 2019-03-14 17:40
zzfx
阅读(395)
评论(0)
推荐(0)
摘要：
类型约束的本质是：类型构造器在约束类型的基础上构造新的类型 阅读全文
posted @ 2019-03-14 17:21
zzfx
阅读(135)
评论(0)
推荐(0)
摘要：
类型约束的描述，属于声明式编程的一支； 基于类型约束的编程： 1、基于约束的类型声明： 只有符合约束的类型才能进行赋值； 2、基于类型约束的函数构造； 这里主要指新函数的构造； 函数是一种特殊的类型，是绑定在数据类型上的类型； 只有符合类型约束的构造类型的实例（符合类型），才能访问这些函数类型； 3 阅读全文
posted @ 2019-03-14 15:56
zzfx
阅读(193)
评论(0)
推荐(0)
摘要：
复合类型（类型构造器）的基本功能由复合类型的主类型确定； 复合类型的扩展功能由主类型和参量类型共同确定； 函数式编程的功能扩展由高阶函数和混入函数完成 public struct Array<Element> { public func map<T>(_ transform: (Element) t 阅读全文
posted @ 2019-03-14 11:33
zzfx
阅读(167)
评论(0)
推荐(0)
浙公网安备 33010602011771号