【Swift】構造体(Struct)について徹底的に解説

2024年1月23日2024年4月2日

ふくしま

「USBを挿すときに最初の1回目で成功する確率」と「宝くじが当たる確率」は一緒だと思っています。まいど、メモリアインクのふくしまです！
今回はSwiftにおける構造体(Struct)について解説していきます！

この記事を読んでわかること…
・構造体(Struct)とは？
・構造体の基本的な使い方
・クラス(Class)と構造体(Struct)の違い・使い分け

構造体(Struct)って何？

構造体(Struct)とは、関連するデータ(プロパティやメソッド)を一つの単位としてグループ化し、コード内で簡単に使用できるようにするための方法の一つです。
データをカプセル化し、設計書としての役割を果たすという意味では、クラスに似た機能ではあるものの、いくつか重要な違いがありますので、その違いについても後述します！（「クラス(Class)と構造体(Struct)の違い」で解説）。

カプセル化とは…
クラスや構造体内のデータ（プロパティ）とそのデータを操作する方法（メソッド）を一つの単位にまとめるプロセスを指します。カプセル化の主な目的は、オブジェクト(インスタンス化する前の未実体の状態のモノ)の詳細を隠蔽し、外部からの直接的なアクセスを制限することによって、オブジェクトの整合性を保つことです。

クラスについては、以下リンクの記事で解説しています。
クラスの概念やインスタンス化について理解できるかと思いますので、是非ともご一読ください！

要チェック！

【Swift】クラス(Class)の使い方について徹底解説

構造体の基本的な使い方

ここでは構造体の基本的な使い方を解説します！

構造体の定義の仕方

構造体はstructキーワードを使用して定義されます。プロパティとメソッドを含むことができます。

struct Car {
    // プロパティ
    var make: String
    var model: String
    var year: Int
    
    // メソッド
    func displayDetails() {
        print("Make: \(make), Model: \(model), Year: \(year)")
    }
}

「Car(車)」の構造体(設計書)を定義しました。
３〜５行目にこの構造体におけるプロパティを定義しています(メーカー、車種、年式)
8〜10行目で車の詳細を表示するためのメソッドを定義しています(displayDetails())
今回の例のように構造体の定義内に初期値が設定されていない場合、クラスではイニシャライザを明示的に書く必要がありましたが、構造体においてはプロパティの値が決まっているならばイニシャライザは書く必要がありません。

インスタンスの作成

構造体もクラスと同様にインスタンス化することで、構造体内のプロパティやメソッドにアクセスすることができるようになります。
構造体のインスタンスは、その型に基づいて作成されます。各インスタンスは、構造体定義内のプロパティのコピーを持ちます。

let myCar = Car(make: "Toyota", model: "Corolla", year: 2022)

構造体のプロパティに初期値が設定されていないので、インスタンス化する際に（）内でプロパティの値を指定しています。
インスタンス化された車の詳細を、構造体に定義されたdisplayDetails()メソッドを使って表示してみましょう。

myCar.displayDetails()

実行結果は以下です。
インスタンス化の際に指定したプロパティの詳細が出力されました。

Make: Toyota, Model: Corolla, Year: 2022

ふくしま

ちょっと待てよ、と
クラスと使い方はほぼ同じやないか、と
そんな鋭い意見をお持ちの方に、次の項目では「クラスと構造体の違い」について解説していきます！

クラス(Class)と構造体(Struct)の違い

では早速クラスと構造体の違いについて解説していきます！

違い①：参照型（クラス）と値型（構造体）の違い

クラスと構造体の主な違いは、インスタンスが参照される方法（参照型 vs 値型）にあります。
クラスのインスタンスはメモリ上で単一の存在として扱われ、そのインスタンスへの参照が共有される一方で、構造体のインスタンスはコピーされ、各インスタンスはメモリ上で独立して扱われます。
具体例を見ていきましょう！

サンプルコード

class ClassPoint {
    var x: Int
    var y: Int
    
    init(x: Int, y: Int) {
        self.x = x
        self.y = y
    }
}

struct StructPoint {
    var x: Int
    var y: Int
}

// クラスのインスタンス生成
let classPoint1 = ClassPoint(x: 10, y: 20)
let classPoint2 = classPoint1 // classPoint1の参照をclassPoint2に代入

// 構造体のインスタンス生成
var structPoint1 = StructPoint(x: 10, y: 20)
var structPoint2 = structPoint1 // structPoint1のコピーをstructPoint2に代入

// classPoint2の値を変更する
classPoint2.x = 100
classPoint2.y = 200

// structPoint2の値を変更する
structPoint2.x = 100
structPoint2.y = 200

print("ClassPoint1: (\(classPoint1.x), \(classPoint1.y))") // 出力: ClassPoint1: (100, 200)
print("ClassPoint2: (\(classPoint2.x), \(classPoint2.y))") // 出力: ClassPoint2: (100, 200)

print("StructPoint1: (\(structPoint1.x), \(structPoint1.y))") // 出力: StructPoint1: (10, 20)
print("StructPoint2: (\(structPoint2.x), \(structPoint2.y))") // 出力: StructPoint2: (100, 200)

サンプルコードの説明

参照型（クラス）: classPoint1とclassPoint2は同じインスタンスを参照しています。そのため、classPoint2を通じて行った変更がclassPoint1にも反映されています。これはクラスが参照型であるためです。

値型（構造体）: 一方、structPoint1とstructPoint2は独立しています。structPoint2を変更してもstructPoint1には影響しません。これは構造体が値型であるため、structPoint1の値がstructPoint2にコピーされた後、それぞれが独立した存在となるためです。