インスタンス化するときに、定数で構造体を宣言すると、プロパティの変更ができないのはなぜ？

インスタンス化するときに、定数で構造体を宣言すると、プロパティの変更ができないのはなぜなのでしょうか。
クラスのときは定数で宣言してもプロパティの変更ができたので混乱しています。

構造体は値型、クラスは参照型である。
なので構造体インスタンスのプロパティを変更した際（下記の例ではplayer1のhpに100を代入した際）
構造体インスタンス(Player1)を作り直す必要がある。
しかしインスタンスする際、インスタンス化定数で定義されていると作り直しができないのでvarで定義する必要がある。
と考えました。

しかし、なぜクラスの場合は定数で定義してもプロパティの変更ができるのかわかりませんでした。
定数だから変更はできないのではないでしょうか。

ご教授頂けば幸いです。宜しくおねがいします。

Swift
1struct Player {
2    var name: String
3    var hp: Int
4}
5let player1 = Player(name: "太郎", hp: 100)
6var player2 = Player(name: "二郎", hp: 60)
7
8player1.hp = 100 //エラー
9player2.hp = 100 //問題なし
10

Swift
1class Player {
2    var name: String
3    var hp: Int
4    
5    init(name:String,hp:Int) {
6        self.name = name
7        self.hp = hp
8    }
9}
10let player1 = Player(name: "太郎", hp: 100)
11var player2 = Player(name: "二郎", hp: 60)
12
13player1.hp = 100 //なぜ定数なのにプロパティを変更できる？

行動規範の内容に同意します

回答3件

ベストアンサー

実際の実装とSwiftの言語規約の話は別ですのでその辺を取り違えないようにしてください。
と、前置きしておいて。

Swiftにおいてletはその「値」を変更しない変数（定数）を定義するための記号です。
さて、ここで変数（定数）に格納される「値」とはなんであるかが問題です。

structのような値型の場合、値とはstructなどのインスタンスそのものとなります。
ですのでletでは値型のプロパティは変更不可能となります。

classつまり参照型の場合、letで変数（定数）代入される「値」はインスタンスの参照です。
参照は概念的にわかりにくいですが、インスタンスが保管されている住所のようなものと考えてください。
つまりletによって変更が禁止されているのはインスタンスの参照ということです。
ところがプロパティの変更は参照を変更しないのでプロパティの変更は可能なのです。

住所が変わらなければ住人の服（プロパティ）が変わっても問題ないのです。

投稿2020/04/27 10:02