getterがわからない

Question

getterとsetterについて勉強しています。

getterは読み専用のため、値の変更はできないはずだと思うのですが
下記のplaygroundで下記のコードを書いてみたところcat.name = "Tamachan"でnameの値を変えているにもかかわらず、エラーが発生しませんでした。

なぜエラーが発生せずに通ってしまうのか教えていただけますと幸いです。

import UIKit

protocol Animal {
    // 読み専用
    var name: String {get}
    // 読み書き可
    var age: Int {get set}
    
    func bark()->String
}

struct Cat: Animal {
    var name = "Tama"
    var age = 2
    func bark() -> String {
        return "にゃ〜ん"
    }
}

var cat = Cat()
cat.name
cat.name = "Tamachan"
cat.name

cat.age
cat.age = 3
cat.age
cat.bark()

Answer 1

それはCat型を使ってnameプロパティにアクセスしているからです。
Cat型のnameはgetもsetも可能な状態です。

一方で、Animalプロトコルを使ってnameに代入しようとした場合ではエラーになります。

プロトコル(Animal)は「最低限これだけは実装してくださいね」的な情報を定義しているだけで、それを実装している側(Cat)がそれ以上のものを実装してしまってもなんら問題はありません。

Comments

[A2wwM]

ありがとうございます。
下でfuzzballさんも似たようなことをおっしゃっていましたね。
ちなみにこのコードは

var cat = Cat()
var animal = cat as Animal
animal.name = "Tamachan"

でしょうか？
ちなみに、fuzzballさんにも質問してしまったのですが、そうなるとgetter,setterの必要性って何になるのでしょうか？

[takabosoft]

コードはそのような感じでOKです。

Animalプロトコルとしてプロパティのgetだけ必要であれば、getのみの指定で良いです。それを実装する側はたとえばストアドプロパティではなく、コンピューテットプロパティの場合、getのみ書けば準拠できるというメリットがあります（小さなメリットですが）。

[takabosoft]

あとはプロトコルが実際に必要になった時に実感すると思います。

[takabosoft]

「制約」って言葉は適切ではなかったかもしれません。ちょっと変えます。

[A2wwM]

takabosoftさん
ありがとうございます。
プロトコルはもうすでに使っていて、便利だなーと少し実感はしていたのですが、理解できないためこれまで意図的にgetter、setterは頭の中から消していました。
もうほかの方にベストアンサーはつけてしまってシステム上takabosoftさんにつけることはできませんが
丁寧に編集までしてくださってありがとうございます。
おかげで理解が深まりました:D

[fuzzball]

ベストアンサーは変更できますよ。

Answer 2

protocol Animal {
    // getできることを強制(= 実装クラスでsetできないとは言っていない)
    var name: String {get}
    // get、set両方できることを強制
    var age: Int {get set}

    func bark()->String
}

struct Cat: Animal {
    var name : String {get{return "Tama"}} //getだけ実装する
    var age = 2
    func bark() -> String {
        return "にゃ〜ん"
    }
}

var cat = Cat()
cat.name = "Tamachan" // error: cannot assign to property: 'name' is a get-only property
print(cat.bark())

Comments

[A2wwM]

ozwkさん
ありがとうございます。
おかげでtakabosoftさんの
> Animalプロトコルとしてプロパティのgetだけ必要であれば、getのみの指定で良いです。それを実装する
> 側はたとえばストアドプロパティではなく、コンピューテットプロパティの場合、getのみ書けば準拠でき
> るというメリットがあります（小さなメリットですが）
の理解が深まりました

[A2wwM]

// getできることを強制(= 実装クラスでsetできないとは言っていない)

これは実装クラスの方で今回はgetをつかってしまったので不可ですが
自分がしたようにストアドプロパティにすれば値を変更できるからこのように書かれたのでしょうか？

[ozwk]

そうです

Answer 3

https://teratail.com/questions/102550

Comments

[A2wwM]

ありがとうございます
これ自分もみたのですが理解できなくて。。

[mather]

例えばJavaでもインターフェースにはgetterしか定義されていなくても、それを実装する具象クラスでsetterを定義することには何も問題がありません。
あくまでも「Animalプロトコルとして」オブジェクトと接するときの制約（ルール）だと思います。

Answer 4

Animalとしてアクセスするときはread-onlyだけど、
Catとしてアクセスするときは（var nameだから）書き込みできる。

なんてのは、どうでしょうか？

(cat as Animal).name = "hoge"
//=> Cannot assign to property: 'name' is a get-only property

---

ちなみに、let age = 2にすると、setを満たしていないのでエラーになる。

//=> Type 'Cat' does not conform to protocol 'Animal'

Comments

[A2wwM]

ありがとうございます
上でtakabosoftさんもおっしゃっていますが、プロトコルを採用してもその属性まで制約として採用されな
いということなんでしょうか。
だからvarにしたら変更できるし、letにしていたら変更できない。
ちなみにそうなるとgetterとかsetterの必要性があまり見えないですね。

[mather]

例えば関数の返り値が Animal で定義されていれば、返り値については変更不可になるのですから有効ではないですか？

[A2wwM]

なるほど。
ちょっとこれに関しては調べてみたら他でも議論されているようなのでそれも見てみます。
matherさんありがとうございます。
とりあえず本件は終了します

[fuzzball]

>>プロトコルを採用してもその属性まで制約として採用されないということなんでしょうか。
いや、されてますよ。（回答の後半がその例）

>>getterとかsetterの必要性があまり見えないですね
そういう用途に使うものでは無いということです。

[fuzzball]

「制約」の解釈の仕方かと。
「getしかできないString型のnameが必要」なのではなく「getできるString型のnameが必要」ということですね。

[A2wwM]

>>>> プロトコルを採用してもその属性まで制約として採用されないということなんでしょうか。
>> いや、されてますよ。（回答の後半がその例）
ほんとだ。get setなのに、letにしたんで、エラー起こしてますね
ということは、nameをコンピューテッドプロパティにしていれば、これはよかった(= エラーが出る)ということでしょうか

[fuzzball]

letじゃダメなんでしょうか？

[A2wwM]

letだと値変更できないのでだめなのかと思いましたが

[fuzzball]

値は変更できるけど cat.name = "Tamachan" でエラーを出したいのでしょうか？

[A2wwM]

分かりづらくてすみません。cat.name = "Tamachan"でエラーを出したかっただけです。
今回はgetter setterの勉強をしていて、自分の理解が正しいのか確認するためにplaygroundを使って確認してみました。
その際に冒頭で書いたコードで期待結果としてエラーがでると思ったのですが、実際の結果は異なっていたので確認したくて質問しました

[fuzzball]

それならletでいいのでは‥。