创建: 2018/03/09

完成: 2018/03/10

更新: 2018/04/19 修改小标题  [扩张的定义与使用协议] -> [通过扩张来采用协议]

更新: 2018/09/18 标题里增加英文方面自己快速找到 [Swift4 扩张, 集合] -> [Swift4 扩张(Extenstion), 集合(Set)]

扩张的声明与定义
 扩张的概要

可以对类, 构造体(系统固有的数据类型都算), 枚举型, 协议进行扩张

extension 型名: 协议 { // 协议可省略, 顺序随意
构造函数 // 顺序随意
属性定义 // 除计算型实例属性
方法定义
其他定义 // 嵌套型, 索引等
}

● 可以增加以下新定义

(●) 计算型属性, 计算型和容纳型静态属性(类属性)

      即除容纳型实例属性外的属性

(●) 实例方法, 静态方法(类犯法)

(●) 构造函数

(●) 索引subscript

(●) 嵌套型声明(嵌套型在扩张定义内部用)

● 不可增加计算型实例属性, 属性监听器({willset didset})

 系统固有型的扩张例 

extension String {
//下标数字1
static var zeroUnder: String {
return "\u{2080}"
}
}
 扩张的定义与构造函数 

扩张与构造函数

● 构造体:

  扩张定义的构造函数不会使构造体的默认构造函数和全项目构造函数无效

● 类

扩张只能定义简易构造函数(带convenience), 不能定义指定构造函数

不能定义析构函数

 扩张定义与继承的注意 

● 扩张的东西都自带final

无法被子类重载

不能用扩张去重载父类属性/方法

   
通过扩张来采用协议
 使用扩张来采用协议
class ExtensionSampleClass { // 什么都没有的空类

}
protocol ExtensionSampleProtocol { // 只含一个字符串变量的协议
var sampleString: String { get }
}
extension ExtensionSampleClass: ExtensionSampleProtocol { // 用扩张采用协议
var sampleString: String {
return "ExtensionSampleClass"
}
}

● 同时采用多个时用,隔开

extension SampleDataType: Protocol1, Protocol2, ... { // 多个用,隔开
...
}
 型内已有一部分/全部不定义

型内已有要采用的协议的一部分或全部定义时,

扩张里只需要补充缺少的. 不能改写型定义里已存在的

//内部已有一部分或全部实现
class ExtensionSampleClass2 { // 类里有sampleData
var sampleData: Int = }
protocol ExtensionSampleProtocol2 { // 含sampleString和sampleData的协议
var sampleString: String { get }
var sampleData: Int { get }
}
extension ExtensionSampleClass2: ExtensionSampleProtocol2 { // 只需要实现sampleString即可
var sampleString: String {
return "ExtensionSampleClass"
}
}
   
   
   
协议的扩张
 协议的扩张

● 可以写方法, 计算型属性, 索引subscript

● 不可以写协议里的那种声明, 和容纳型实例/静态变量

●  主要只要协议里东西的实现, 做默认实现

● 改写默认实现不需要override

 标准库的协议已有的扩张 

public protocol Equatable { // 可等协议
static func == (lhs: Self, rhs: Self) -> Bool
} extension Equatable { // 扩张, 这样只需要实现==即可
public static func != (lhs: Self, rhs: Self) -> Bool {
return !(lhs == rhs)
}
}
 协议扩张时对型附加条件

对协议扩张时才能附加条件

● 可附加的条件:

附属型: 协议      表示附属型必须采用指定协议

附属型 == 型    附属型必须是指定的型(可以是typealias后的)

protocol SampleProtocol {  // 样本协议
associatedtype Element // 附属型
...
} extension SampleProtocol where Element: CustomStringConvertable // 附属型Element必须采用CustomStringConvertable {
...
} extension SampleProtocol where Element == String { // 附属型Element必须是String型
...
}
 协议扩张的多重继承 

● 同时采用多个协议时不能有重名属性或方法

● 相当于其他语言的mixin, trait

   
   
集合与协议
 通过哈希值实现高速搜索

● 集合和数组类似, 但不能有重复

● 集合用于不需要重复元素或者需要使用集合运算的情况

● 采用Hashable协议

public protocol Hashable: Equatable { // 继承Equatable, 需要实现==
public var hashValue: Int { get }
}
 集合的声明与初始化 

声明

var s: Set<类型>

初始化, 用数组, 有重复元素自动清除多余的

let setSample: Set<String> = ["a", "a", "b"]
print("setSample.count = \(setSample.count)") //

也可以用init

Set<Int>.init() // []
Set<Int>.init(..<) // Set<T>.init(sequence: Sequence)
 元素的获取

和数组, 哈希表, 字符串一样采用Collection(继承Sequence)

参照: 传送门

 集合运算 

前提: 元素同型

● 采用SetAlgebra(继承Equatable, ExpressibleByArrayLiteral)

● 主要构造函数

 Set<T>.init()  返回空集合
 Set<T>.init(_:S)

用采用Sequence的实例

数组

● 主要属性

 var isBool: Bool { get }  是否为空
   

● 主要方法

S: sequence, 集合, 数组, 范围等

T: Set<T>的T

 func contains(_:T) -> Bool  是否包含指定元素

@discardable

mutating func insert(_:T) -> (inserted: Bool, memberAfterInsert: T)

插入指定元素,

成功返回true和被插入元素

失败返回false和已有元素

@discardable

mutating func remove(_:T) -> T?

删除指定元素

有的话删除并返回被删除元素

没有的话返回nil

 查询集合间关系
 是否包含
 是否包含  A.isSuperset(of: B)
 是否真包含  A.isStrictSuperset(of: B)
 是否是子集
 是否是子集  A.isSubset(of: B)
 是否是真子集  A.isStrictSubset(of: B)
 不相交  A.isDisjoint(with: B)
 集合间运算

和集合(并集)

A+B

A.union(B) -> Set

A.formUnion(B)

差集合

A-B

A.substracting(B) -> Set

A.substract(B)

积集合(交集)

A*B ()

A.intersection(B) -> Set

A.formIntersection(B)

对称差集合

(A+B)-(A*B)

A.symmetricDifference(B) -> Set

A.formSymmetricDifference(B)

   
   
 OptionSet协议 

OptionSet协议

protocol OptionSet: SetAlgebra, RawRepresentation {
// SetAlgebra(继承Equatable, ExpressibleByArrayLiteral)
// RawRepresentable协议带有rawValue, init?(rawValue:)
associatedtype Element = Self
init(rawValue: Self.RawValue)
}

RawRepresentable协议

protocol RawRepresentable {
associatedtype RawValue
init?(rawValue: Self.RawValue)
public var rawValue: Self.RawValue { get }
}

OptionSet的扩张(一部分)

extension OptionSet {
public func union(_ other: Self) -> Self {
var r: Self = Self(rawValue: self.rawValue) // 生成self的copy
r.formUnion(other) // 生成和集合, 并集, 存在于SetAlgebra协议
return r
}
public func intersection(_ other: Self) -> Self {
... // 省略, 和union一样
}
} extension OptionSet where Element == Self { // OptionSet内部associatedtype Element = Self, 所以这里默认成立
public func contains(_ member: Self) -> Bool {
return self.isSuperset(of: member)
}
@discardable
public mutating func remove(_ member: Element) -> Element? {
let r = isSuperset(of: member) ? Optional(Member) : nil
self.subtract(member) // 存在于SetAlgebra协议
return r
}
} extension OptionSet where RawValue: FixedWidthInteger { // Int, UInt等采用FixedWidthInteger, 可以进行位运算
public init() {
self.init(rawValue: )
}
public mutating func formUnion(_ other: Self) {
self = Self(rawValue: self.rawValue | other.rawValue)
}
public mutating func formIntersection(_ other: Self) {
self = Self(rawValue: self.rawValue & other.rawValue)
}
}

● 要想使用默认实现, 只需定义RawValue型为Int, UInt

         并放一个rawValue属性

● 不带任何选项的实例推荐用[]来生成

● 用法: 放置选项, 相当于C, ObjC的比特列放置选项

可以去查看是否包含某选项, 是否包含某些选项等

struct SampleOptionSet: OptionSet { // 例, 四个选项optionA, B, C, D
typealias RawValue = UInt
let rawValue: UInt
static let optionA: SampleOptionSet = SampleOptionSet.init(rawValue: << )
static let optionB: SampleOptionSet = SampleOptionSet.init(rawValue: << )
static let optionC: SampleOptionSet = SampleOptionSet.init(rawValue: << )
static let optionD: SampleOptionSet = SampleOptionSet.init(rawValue: << )
}
   
   
   

Swift4 扩张(Extenstion), 集合(Set)的更多相关文章

  1. Redis底层探秘(四):整数集合及压缩列表

    整数集合 整数集合(intset)是集合键的底层实现之一,当一个集合只包含 整数值元素,并且这个集合的元素数量不多时,Redis就会使用郑书记和作为集合键的底层实现. 整数集合的实现 整数集合是red ...

  2. Java集合---ArrayList的实现原理

    目录: 一. ArrayList概述 二. ArrayList的实现 1) 私有属性 2) 构造方法 3) 元素存储 4) 元素读取 5) 元素删除                 6) 调整数组容量 ...

  3. ArrayList集合的实现原理

    一. ArrayList概述: ArrayList是基于数组实现的,是一个动态数组,其容量能自动增长,类似于C语言中的动态申请内存,动态增长内存. ArrayList不是线程安全的,只能用在单线程环境 ...

  4. 重新开始学习javase_集合_List

    一,List之ArrayList(转:http://blog.csdn.net/zheng0518/article/details/42198205) 1. ArrayList概述: ArrayLis ...

  5. Java集合ArrayList源码解读

    最近在回顾数据结构,想到JDK这样好的代码资源不利用有点可惜,这是第一篇,花了心思.篇幅有点长,希望想看的朋友认真看下去,提出宝贵的意见.  :) 内部原理 ArrayList 的3个字段 priva ...

  6. ava集合---ArrayList的实现原理

    一.ArrayList概述 ArrayList是基于数组实现的,是一个动态数组,其容量能自动增长,类似于C语言中的动态申请内存,动态增长内存 ArrayList不是线程安全的,只能用在单线程环境下,多 ...

  7. Java多线程 阻塞队列和并发集合

    转载:大关的博客 Java多线程 阻塞队列和并发集合 本章主要探讨在多线程程序中与集合相关的内容.在多线程程序中,如果使用普通集合往往会造成数据错误,甚至造成程序崩溃.Java为多线程专门提供了特有的 ...

  8. Java集合:ArrayList的实现原理

    Java集合---ArrayList的实现原理   目录: 一. ArrayList概述 二. ArrayList的实现 1) 私有属性 2) 构造方法 3) 元素存储 4) 元素读取 5) 元素删除 ...

  9. JDK源码学习之 集合实现类

    一.HashMap (1) 简介:java1.8版本之前HashMap的结构图如下: 数组的每个元素都是一个单链表的头节点,链表是用来解决冲突的,如果不同的key映射到了数组的同一位置处,就将其放入单 ...

随机推荐

  1. CERC 2014 (动态树+主席树)

    CERC 2014 Pork barrel Problem : n个点m条边有边权的无向图,有q个询问,每次询问权值在[L,R]内的边组成的最小生成树的权值和,强制在线. n <= 1000, ...

  2. POJ 1015 Jury Compromise【DP】

    罗大神说这题很简单,,,,然而我着实写的很难过... 题目链接: http://acm.hust.edu.cn/vjudge/contest/view.action?cid=110495#proble ...

  3. POJ 2337 【字典序】【欧拉回路】

    题意: 给你一些单词,判断这些单词能否在保证首尾单词相同的情况下连成一排. 如果有多组解,输出字典序最小的一组解. 这题... WA了两天. 错误有以下: 1.没有初始化好起始位置,默认起始位置是a了 ...

  4. spring mvc技术

                                                     spring mvc之访问路径        1. @RequestMapping这个注解  在实际项 ...

  5. 转:ORACLE存储过程笔记1----基本语法(以及与informix的比较)

    一.基本语法(以及与informix的比较)   create [or replace] procedure procedure_name (varible {IN|OUT|IN OUT} type) ...

  6. 实例 mount新硬盘方法

    0.建立挂载文件夹: mkdir /mnt/sdb1 1 .查看新硬盘: fdisk -l 2. 硬盘分区: fdisk /dev/sdb1 根据提示,依次输入 n, p, 1, 以及两次回车,然后是 ...

  7. csv读入数据,用julia/matplotlib/pyplot 画矢量图导入word中

    这是是用julia来实现画图.julia有三个画图库:Winston.Gadfly.PyPlot 这里用的是pyplot,事实上他是基于matplotlib的 1.首先在juno里安装两个库 juno ...

  8. Linux下使用inotify实现对文件的监控

    项目中,要实现用户通过网页设置參数,后台接收数据然后写串口. 网页写数据到本地文件,使用inotify监控文件的IN_MODIFY事件.当文件被改动,然后触发写串口事件. 第一个程序只把要监控的文件增 ...

  9. 使用 C# 开发智能手机软件:推箱子(三)

    这是"使用 C# 开发智能手机软件:推箱子"系列文章的第三篇.在这篇文章中,介绍 Common/Block.cs 源程序文件.   1 namespace Skyiv.Ben.Pu ...

  10. 列表和元组的基本操作,for遍历,range

    1,list(增删改查):列表可以装大量数据,不限制数据的类型(int,str,bool, list,tuple,dict,set),表示方法用[  ],list和sttr有区别,list可以直接在原 ...