swift prefixメソッド

Question

var number = "こんにちは"
var teil = number.prefix(2)
print(teil)

これのprefixの戻り値は ArraySlice<Element>型とドキュメントに書いてあるんですけどこれはなんでしょうか？そして返り値を代入した変数teilの型は String.SubSequenceなんんですけど、これはなんでしょうか？

Answer 1

prefix(_:) は Collection プロトコルにて、

func prefix(_ maxLength: Int) -> Self.SubSequence

と定義されていて、戻り値の型 SubSequence は Collection プロトコルに準拠するそれぞれの型 (Array や String など) が associated type として定義することになっています。

で、Array の場合は、SubSequence は ArraySlice<Element> なので prefix(_:) は

func prefix(_ maxLength: Int) -> ArraySlice<Element>

ですが、String の場合は SubSequence は Substring のため、prefix(_:) は

func prefix(_ maxLength: Int) -> Substring

となっています。

ちなみに、associated type の訳は 詳解 Swift では「付属型」、Swift実践入門 では「連想型」となっているようです。