ジェネリクス全然わからん

ジェネリクスを学ぼう

Salmonia3 を開発していてよく使うのがオプショナルの数値を文字列に変換する処理である。

要するに、データがないならばないことを意味する-を返し、そうでないならその値をそのまま文字列にして返してほしいのである。ただし、Double 型の場合は小数点が延々と続いては困るので小数第二位で区切ることとする。

これを extension を使うと以下のようにかける。

1
extension Optional where Wrapped == Int {
2
    var stringValue: String {
3
        guard let value = self else { return "-" }
4
        return String(self as! Int)
5
    }
6
}
7

8
extension Optional where Wrapped == Double {
9
    var stringValue: String {
10
        guard let value = self else { return "-" }
11
        return String(Double(Int(self as! Double * 100)) / 100)
12
    }
13
}

本当は「数値であれば～」という処理にしたかったので、

1
extension Optional where Wrapped == Numeric {
2
    var stringValue: String {
3
        guard let value = self else { return "-" }
4
        switch self {
5
        case is Int:
6
            return String(self as! Int)
7
        case is Double:
8
            return String(Double(Int(self as! Double * 100)) / 100)
9
        default:
10
            return "-"
11
        }
12
    }
13
}

こういうふうにかければいいのだが、書けなかった。なんでなのん。

ジェネリクスを書いてみる

ここまでできたら、次は SwiftUI で文字列型とオプショナル型を受け付ける関数を書いてみる。

作りたいのはこういうのである。要するにオプショナル型で値を受け取って文字列に直して「パラメータ名 -> 値」というビューである。

1
struct ContentView: View {
2

3
    var body: some View {
4
        HStack {
5
            Text(title)
6
            Spacer()
7
            Text(value)
8
                .foregroundColor(.secondary)
9
        }
10
    }
11
}

じゃあ当然これのイニシャライザが必要になる。やりたいことは以下のようなコードである。だが、これはうまくいかない。なぜなら value はOptional<Any>でありOptional<Int>やOptional<Double>ではないからだ。

1
var title: String
2
var value: String
3

4
init(title: String, value: Optional<Any>) {
5
    self.title = title
6
    self.value = value.stringValue
7
}

ではどうすればいいかを考えてみよう。

Optional<Int>

こう書けばInt?に対しては正しく処理ができる。

1
init(title: String, value: Optional<Int>) {
2
    self.title = title
3
    self.value = value.stringValue
4
}

また、これはジェネリクスを使って以下のようにも書ける。

1
init<T: Optional<Any>>(title: String, value: T) where Wrapped == Int {
2
    self.title = title
3
    self.value = value.stringValue
4
}

ジェネリクスはOptional<Any>を許可しているが、その次のWrapped == Intによってアンラップしたら Int 型でなければいけないという制約をつけているのである。

この二つによって、実質的に引数はInt?しか許容されなくなる。

何故か書けない書き方

いけそうなのに何故か書けないジェネリクスたちを供養として載せておきます。

1
init<T: Int>(title: String, value: Optional<T>) {
2
    self.title = title
3
    self.value = value.stringValue
4
}
5

6
init<T: Optional>(title: String, value: T<Int>) {
7
    self.title = title
8
    self.value = value.stringValue
9
}
10

11
init<T: Optional<Int>>(title: String, value: T) {
12
    self.title = title
13
    self.value = value.stringValue
14
}

Int が書ければ Double は同じように書ける。が、必要なのはそこではない。Double も Int もとってこれるようにしたいのである。

こういうのも書けない

1
init<T: Optional<Any>>(title: String, value: T) where Wrapped == Int, Double {
2
    self.title = title
3
    self.value = value.stringValue
4
}

なのでこれらを組み合わせた以下のようなコードを書く。

これしかないのかなあという気持ち。結局ジェネリクス使ってないし何だこれ。

1
init(title: String, value: Optional<Any>)
2
{
3
    self.title = title
4
    self.value = value.stringValue
5
}
6

7
extension Optional {
8
    var stringValue: String {
9
        switch self {
10
        case is Int:
11
            guard let value = self else { return "-" }
12
            return String(self as! Int)
13
        case is Double:
14
            guard let value = self else { return "-" }
15
            return String(Double(Int(self as! Double * 100)) / 100)
16
        default:
17
            return "-"
18
        }
19
    }
20
}