Swift 4 中的 String 与 Substring

原文Swift Substrings,作者Greg Heo

(sub)string不是字符串?是也不是

文本字符串非常常用,编程语言通常对其提供特殊特性或者语法糖。以大家最常用的C语言来说,其字符串只是字符数组。但是你不需要创建一个数组['h','e','l','l','o'] ,只要输入"hello"编译器就会打点好一切。

更高级的语言比如Swift中,字符串不仅仅是简单的字符数组,而是一个完整的类型并且有着各种特性。在这次的string观察中,我们关注他的一小部分行为:substring。

String,简述

首先,我们快速遍历一次string的实现。以下来自标准库的 String.swift 文件:

public struct String {
  public var _core: _StringCore
}

里面还有很多的构造函数,不过整个主类型里只有一个存储属性!好东西一定都在 StringCore.swift 里:

public struct _StringCore {
  public var _baseAddress: UnsafeMutableRawPointer?
  var _countAndFlags: UInt
  public var _owner: AnyObject?
}

这个类型里面依然很多东西,我们还是只关注存储属性:

  • Base address — 指向底层存储的原始指针。
  • Count — 字符串长度,存储在_countAndFlags的低位 (UInt.bitWidth - 2) 。 在64位环境下,这表示最大可用62位表示字符串长度,即 4 x 10^18 — 整整4 EB字节!
  • Flags — 两个标志位:一位表示字符串底层使用Swift原生的 _StringBuffer ,或者是 NSString 形式的 Cocoa buffer;第二位表示buffer存储的编码是ASCII还是UTF-16。

_StringCore还有更多的复杂细节,这样快速过一遍就能让我们找到想要的:string有底层存储以及大小。

Substring

Swift中如何创建一个substring?最简单的办法是通过下标对string切片:

let str = "Hello Swift!"

let slice = str[str.startIndex..<str.index(str.startIndex, offsetBy: 5)]
// "Hello"

好吧,很简单,但是代码不太好看😄。

string的索引不使用整数,而是靠startIndexindex(_:offsetBy:)操作。既然我们从startIndex开始,那么可以靠partial range简化一下代码。

let withPartialRange = str[..<str.index(str.startIndex, offsetBy: 5)]
// still "Hello"

或者用collection(容器)的切片方法:

let slice = str.prefix(5)
// still "Hello"

记住,string是容器,你可以使用所有容器常用的方法,比如 prefix()suffix()dropFirst(),等等。

Substring内部

substring的一部分魔法是重用了“parent” string的内存。你可以认为substring由base stringrange构成。

image

这意味着从一个8000字符的string上切一个100字符的substring不需要分配额外内存,也不用复制100个字符。

这也意味着你可能无意延长了你的base string的生命周期。如果你有一个超大字符串存了一整本小说,然后从其中切片了一个单词,那么只要substring还在,这个巨大的string就会一直阴魂不散。

那么到底substring内部是如何跟踪这些的呢?

public struct Substring {
  internal var _slice: RangeReplaceableBidirectionalSlice<String>

内部的 _slice属性保存了关于base string的所有信息:

// 仍然是 Substring 的代码
internal var _wholeString: String {
  return _slice._base
}
public var startIndex: Index { return _slice.startIndex }
public var endIndex: Index { return _slice.endIndex }

计算属性 _wholeString(返回原来完整的字符串),以及 startIndexendIndex (指出在string中切片的范围)只是简单的传递了内部切片属性的值。

你也能看到切片如何用 _base来保存原始string的信息。

从Substring到String

所以你有了一堆各种各样的的substring,而你的函数需要的是string。怎么办?不用担心,把substring转换成string很简单:

let string = String(substring)

既然substring和他们的base string共享内存,创建一个新的string理当分配新的内存。那么String中这个接受substring的构造函数中有发生了什么?

extension String {
  public init(_ substring: Substring) {
    // 1
    let x = substring._wholeString
    // 2
    let start = substring.startIndex
    let end = substring.endIndex
    // 3
    let u16 = x._core[start.encodedOffset..<end.encodedOffset]
    // 4A
    if start.samePosition(in: x.unicodeScalars) != nil
    && end.samePosition(in: x.unicodeScalars) != nil {
      self = String(_StringCore(u16))
    }
    // 4B
    else {
      self = String(decoding: u16, as: UTF16.self)
    }
  }
}
  1. 获取完整base string的引用。

  2. 获取开始和结束范围的索引。

  3. 获取切片的UTF-16表现形式。_core是一个_StringCore实例,而 encodedOffset属性是string的UTF-16版本的索引。

  4. 检查索引是否与unicode标量匹配,分支4A表示表示你没有不成对的代理码 (Unicode is hard),因而可以使用基于 _StringCore 的UTF-16 buffer切片直接创建新的字符串。

    否则,走分支4B重新以UTF-16编码buffer,使用init(decoding:as:)初始化string。无论如何,最后都得到一个新的String实例。

把substring转换为string非常简单,不过真的是必须嘛?每次使用的时候都要把subtstring用String()包起来?那样的话我们使用轻量化的substring所得到的效率不就白费了?

StringProtocol

来看看 StringProtocol!作为面向协议编程的绝佳例子, StringProtocol抽象了字符串的函数功能,比如uppercased()lowercased(), comparable,hashable,collection,等等。 StringSubstring都遵循StringProtocol

这意味着你可以用 ==比较string和substring,而不用先转换substring:

let helloSwift = "Hello Swift"
let swift = helloSwift[helloSwift.index(helloSwift.startIndex, offsetBy: 6)...]

// 直接比较 substring 和 string 😱
swift == "Swift"  // true 

你也可以遍历substring,以及从substring再取一个substring。

你会发现标准库里有一些函数接受StringProtocol而非String,比如把string转换成整数和浮点使用的构造器init(text: StringProtocol)

也许你自己的代码里,你不在乎处理的是string还是substring?那样的话,考虑接受 StringProtocol参数,那样调用者就不用在传参的时候再手工转换一次了。

结语

小结一下:

  • String 还是字符串,始终如一。
  • Substring 是string的切片。它们与base string共享内存buffer,并拥有一对范围索引。
  • StringProtocol 抽取出字符串的特征以及如何访问其功能,放进一个协议中。StringSubstring都遵循StringProtocol
image

所以有谁准备好写一个自己的字符串类型了?搞一个你自己StringProtocol实现来加入string聚会?🎊

/// 不要定义新的 `StringProtocol`实现。 标准库中只有 `String` 和
/// `Substring` 是有效的实现。
public protocol StringProtocol

那好吧,我们还是来搞自己的 boolean类型好了吧?😜

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 212,294评论 6 493
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 90,493评论 3 385
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 157,790评论 0 348
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,595评论 1 284
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 65,718评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,906评论 1 290
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,053评论 3 410
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,797评论 0 268
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,250评论 1 303
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,570评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,711评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,388评论 4 332
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,018评论 3 316
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,796评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,023评论 1 266
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,461评论 2 360
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,595评论 2 350

推荐阅读更多精彩内容