プロトコルの{get set}について

Question

現在
iOSアプリ開発デザインパターン入門　と言う本を読んでプロトコルについて勉強しているのですが、変数を定義する際にgetやsetが入っているものの違いについてあまりよく理解できなかったので質問させてください。

protocol Vehicle {
  ver fuel : Flaot {get set}
  var fuelEfficient : Float{set}
  func showFuel()
}　

このようなコードがありました。ググってみたところget set があるものは準拠先で変数として扱い、setだけのものは準拠先で定数として扱うみたいなことが書いてありました。
protocolないのプロパティにもvarがついていて変数であるのはわかるのになぜ{get set}や{set}をつけて変数か定数かを指定しなければいけないのかよくわかっていません。

そもそもget set　をつけるかの違いは変数か定数かだけなのでしょうか？他に重要なことがあったりするのでしょうか教えてください

Comments

[fuzzball]

typoを修正して下さい。コードを書くときはコピペするようにして下さい。

[fuzzball]

「setだけ」ではなく、「getだけ」ではないですか？

[hodoru3sei]

getだけでした

Answer 1

protocolは{get set}であるか、{get}であるかを要請するだけです。
それが定数でも変数でも要請に従ていれば全く問題がありません。

準拠する側が任意に以下のようにできます。

struct Car: Vehicle {
  var fuel: Float
  var fuelEfficeint: Float = 10
  
  mutating func drive(mile: Float) {
     fuel -= mile * fuelEfficeint
  }
  
  func showFuel() {
     print("fuel is", fuel)
  }
}

ここで、fuelEfficientが定数ではなく変数となっていますが、protocol Vehicle の要請する{get}「fuelEfficientの値を取得すること」が出来ますので、これで全く問題ありません。

あるいは

class Car {

  private let full: Float = 1000
  private var useFuel: Float = 0
 
  var fuel: Float {
    get {
      return full - useFuel
    }
    set(newValue) {
      useFuel -= newValue - fuel
      useFuel = min(useFuel, full)
    }
  }
  var fuelEfficeint: Float = 10
  
  
  func drive(mile: Float) {
     useFuel += mile * fuelEfficeint
  }
  
  func showFuel() {
     print("fuel is", fuel)
  }
}

のようにcomputed propertyとすることもできます。

protocolの要請はあくまでも、取得と設定ができるか、あるいは取得ができるかだけであり、その要請に従っていれば、変数であっても定数であってもcomputed propertyであっても関係ありません。

---

この考えを理解するにはprotocolを「使う側」と「使われる側」に分けて考える必要があります。

以下に使う側から見たprotocolを例示します。

少し難しいかもしれませんが、これが一番わかりやすいと思います。
前提条件として、protocol Vehicleに準拠した型はCarだけではなくそのほかのもの多数存在しているとします。

// この関数は様々な機械のインスタンスを返します。Vehicle だけどは限りません。
let anyMachine: Any = getMachine() 

// このif文はanyMachineがVehicleに準拠していれば真となり、定数 vehicle にそのインスタンスをVehicleとして代入します。
// ただし、実際の型が何であるかはわかりません。また、その必要がありません。
if let vehicle = anyMachine as? Vehicle {
  
  // vehicleがprotocol Vehicleに準拠していることが確定しているので、showFuel()メソッドが使用可能です。
  vehicle.showFuel()  
  
  // protocol VehicleはfuelEfficeintへのsetを許していませんので、下のステートメントはエラーとなります。
  // vehicle.fuelEfficeint = 200
  
}

このように使う側は実際の型が何であるかはわからないが、protocol Vehicleに準拠したインスタンスであることを調べることでprotocol Vehicleのプロパティやメソッドを使用できるようになります。
この場合、使う側は struct Car の存在を知らなくても全く問題がありません。