定義が何を意味してるのかわからない

Question

アプリ開発を本を読んで勉強中の初心者です。
定義の仕方を理解できず、技術書を一冊終えてみたのですが知らない定義方法のオンパレードでネットで調べられるとこは調べたのですが調べ方が悪いのか解決しませんでした。

該当のソースコード

import Foundation

enum Flavor:Int16 {
    case milk_tea
    case uji_matcha_milk
    case okinawa_brown_sugar_milk
    case cassis_raspberry_milk
    case strawberry_milk
    
    var name: String {
        flavorArray[Int(self.rawValue)]
    }
    
}

var flavorArray = ["Milk tea",
"Uji Matcha Milk",
"Okinawa brown sugar milk",
"Cassis raspberry milk",
"Strawberry Milk"]

class OrderEntity : Identifiable ,ObservableObject {
    @Published public var id: String
    @Published public var flavor: Int16
    @Published public var nataDeCoco: Bool

    public var flavorName: String {
        Flavor(rawValue: self.flavor)!.name
    }
    init(
        id: String = UUID().uuidString,
        flavor: Int = 0,
        nataDeCoco: Bool = true)
    {
        self.id = id
        self.flavor = Int16(flavor)
        self.nataDeCoco = nataDeCoco
    }
}

わからないコード

var name: String {
flavorArray[Int(self.rawValue)]
}

public var flavorName: String {
Flavor(rawValue: self.flavor)!.name
}

２つの式はおそらくゲッターであると思うのですが、[Int(self.rawValue)]といった定義は初めてで、Flavor(rawValue: self.flavor)!.nameに関しても何をどう定義してるのかわかりません

Answer 1

こういう時は簡単な例に分解して Playgorund で実行させてみるのがいいかと思います。

import UIKit

enum Flavor:Int16 {
    case milk_tea
    case uji_matcha_milk
    case okinawa_brown_sugar_milk
    case cassis_raspberry_milk
    case strawberry_milk

    var name: String {
        flavorArray[Int(self.rawValue)]
    }
    
    // MARK: 追加
    func printSelf() {
        print(self, "型名は: ", type(of: self))
    }
}

var flavorArray = ["Milk tea",
"Uji Matcha Milk",
"Okinawa brown sugar milk",
"Cassis raspberry milk",
"Strawberry Milk"]

// flavor の値を .cassis_raspberry_milk　にセット
var flavor: Flavor = .cassis_raspberry_milk

// self を表示させてみる。
flavor.printSelf()

// flavor の rawValue (Int16での値）を表示
print(flavor.rawValue)

// flavor.rawVale に対応させた配列の要素を表示
print(flavorArray[Int(flavor.rawValue)])

// 上記と同じことを Flavor のメソッドで実行
print(flavor.name)

// Flavor に引数を与えてインスタンスを作る
print(Flavor(rawValue: 3))

// Flavor に引数を与えてインスタンスを作り、name メソッドを実行する
// Flavor(rawValue:)は失敗のあるイニシャライザ、つまり該当するcaseがなければ nil を返す。
// 強制アンラップをするために ! をつけている
print(Flavor(rawValue: 3)!.name)

// case でカバーした範囲外の rawValue を与えてみるとわかりやすい
print(Flavor(rawValue: 6)?.name) // -> nil

// nil を強制アンラップさせると実行時エラー
print(Flavor(rawValue: 6)!.name) // -> クラッシュ

Comments

[TsukubaDepot]

各項目の詳しい説明はTomohiroKumagaiさんが先に回答された通りです。

[Rnabe]

調べる以外にそのような方法もあるとは・・・
独学でどのやり方がいいのかわからないですが、そうやって教えてくれると本当に助かります。ありがとうございます。

Answer 2

特に疑問を持たれている２つについて、わかりにくくなるかもしれないですけれど、そこで行われていることを順を追って細かく記載いたしますね。

なお、ピックアップされていたコードの塊はご想像の通り、どちらとも ゲッター で正解です。

[Int(self.rawValue)]

添字構文を使って配列の要素を取得

[Int(self.rawValue)] の外側の [] は、変数 flavorArray の添字 (Subscript) なので、つまり「変数 flavorArray の Int(self.rawValue) 番目の要素を取得」という意味になります。

Raw Value を Int 型へ変換

そして Int(self.rawValue) は「self.rawValue を Int 型に変換」です。具体的には self.rawValue の値を Int 型のイニシャライザーに渡して Int 型のインスタンスを作成しています。

列挙型に暗黙定義される Raw Value

self.rawValue は、自分自身の持つ rawValue プロパティーの値です。今回の場合は rawValue の定義が見当たらないように見えますけれど、型の定義が enum Flavor:Int16 になっていて、これは「Int16 型の値で表現できる列挙型 Flavor」という意味になっています。この、Int16 型で表現したときの値が rawValue です。

今回の列挙型 (enum) で言えば、それが取る値は milk_tea, uji_matcha_milk, okinawa_brown_sugar_milk, cassis_raspberry_milk, strawberry_milk ですけれど、これらを Int16 型の数値でも表現できるというのを意味しています。そして今回はその具体的な数値を割り当てるコードが記載されていないので、それぞれ 0 から順番に数値が割り当てられています。

試しに Playground などで Flavor.cassis_raspberry_milk.rawValue の値を見てみると、具体的な数値が得られることが確認できます。

Flavor(rawValue: self.flavor)!.name

Flavor(rawValue: self.flavor)!.name は 定義 というより 計算式 です。ご想像の通り、着目されていた次の式は ゲッター です。

public var flavorName: String {
    Flavor(rawValue: self.flavor)!.name
}

厳密には、ゲッターを定義する get が省略されていて、省略しないで書くと次のようになります。

public var flavorName: String {
    get {
        return Flavor(rawValue: self.flavor)!.name
    }
}

つまり Flavor(rawValue: self.flavor)!.name は「プロパティー flavorName のゲッターが返す値」です。

Flavor 型のインスタンスを生成

ご自身で定義した Flavor 型は、上で紹介した通り「Int16 型の値でも表現可能な列挙型」で、その表現のときに使う Int16 型の値のことを一般に Raw Value と呼びます。その RawValue を使って Flavor 型のインスタンスを作成するイニシャライザーを呼び出しています。

そして、そのイニシャライザーに渡している Raw Value が self.flavor です。このプロパティーは OrderEntity 型に定義してあるものを使っています。

Flavor 型のインスタンスを生成できない場合がある

ここまで (Flavor(rawValue: self.flavor)) で、Flavor 型のインスタンスを Raw Value から生成できたことになるのですけれど、Raw Value は例えば 1000 などの大きな値も表現できるため、ご自身で定義した Flavor 型の範囲 (case で定義した列挙子の数）を超える可能性があります。

超えると「Flavor 型では表現できない場合」が出てくるので、Raw Value を受け取るイニシャライザーは「オプショナル型で値を返し、範囲を超えたときには nil を返す」ようになっています。

Flavor 型のインスタンスを生成できる前提で name を取得

今回は「絶対に範囲を超えない前提」で ! を使って、オプショナル型を 強制案ラップ して、具体的な値を取り出しています。具体的には Flavor? 型の値から Flavor 型の値を取得しています。

続く .name で、そうして得られた Flavor 型の値が持っている name プロパティーを参照しています。

Comments

[TomohiroKumagai]

説明だけだと難しいですけれど、TsukubaDepot さんの書いてくださった Playground で試す回答を実際に触りながら、その解説的にこの回答を眺めると理解しやすくなりそうな気がします。

[Rnabe]

本当にありがとうございます。
おそらくこの先調べても解決しなかったと思います。あなたの助けに深い感謝????‍♂️