はじめに
文字列の日付を桁揃え（yyyy/mm/dd）しようとして、こんな感じで書いてみたところ・・・
let str2 = "2020/7/1"
let array = str2.split(separator: "/")
if (array.count >= 3){
let str3 = array[0]+"/"+String(format: "%02d", Int(array[1]))+"/"+String(format: "%02d", Int(array[2]))
}
Int(array[1])) のところで、以下のようなエラーが出ました。
Initializer 'init(_:)' requires that 'String.SubSequence' (aka 'Substring') conform to 'BinaryInteger'
String.SubSequenceとは？
String.SubSequenceって何？ってことで公式ページを見ると「typealias SubSequence = Substring」となっているので、Substringのページを見てみる。
Overview
When you create a slice of a string, a Substring instance is the result. Operating on substrings is fast and efficient because a substring shares its storage with the original string. The Substring type presents the same interface as String, so you can avoid or defer any copying of the string’s contents.概観
文字列のスライスを作成すると、Substringインスタンスが結果になります。サブストリングは元のストリングとストレージを共有するため、サブストリングの操作は高速で効率的です。 SubstringタイプはStringと同じインターフェースを提供するため、文字列の内容のコピーを回避または延期できます。
つまりString.split()の戻り値が、StringではなくSubstringになっているらしい。typeを確認してみると、確かにSubstringの配列になっていた。
let array = str2.split(separator: "/")
print(type(of: array))
Array<Substring>
SubStringをStringに変換すれば問題なさそうなので、以下のようにコードを書き換えました。
let str2 = "2020/7/1"
let array = str2.split(separator: "/")
print(type(of: array))
if (array.count >= 3){
let str3 = array[0]+"/"+String(format: "%02d", Int(String(array[1]))!)+"/"+String(format: "%02d", Int(String(array[2]))!)
}
これで正しく変換できました。
"2020/07/01"
まとめ
この辺はたぶんはSwift4でStringがコレクション化されたことによるのかなと思われます。
以下、参考リンクです。
実行環境
- Xcode 11.2.1（Playgroundで実行）