質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

89.99%

クラスを型指定に使用した場合について

受付中

回答 4

投稿 編集

  • 評価
  • クリップ 1
  • VIEW 261

aae_11

score 77

以下のコードにつきまして、お聞きしたい部分があります。

class Car {}
class Bike: Car {}
class Track:Car {}

let a: Car = Bike()


こちらなのですが、class Bike: Car {}はCarクラスを継承したBikeクラスであると思うのですが、let a: Car = Bike()こちらが何を意味しているのかが分かりません。インスタンス化した場合は対象のクラスのプロパティを使用できると認識しているのですが、let a: Carこのように型にクラスを指定した場合はどのような構造となるのでしょうか...?

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

回答 4

+1

let a: Car = Bike()こちらが何を意味しているのかが分かりません。

何がわからないのかがわかりません。Car型として宣言した変数のaに、CarのサブクラスであるBikeのオブジェクトを入れているだけです。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2019/11/30 12:14

    となりますと、「let a: Car = Bike()」こちら変数「a」はあくまで、Car型であるBikeインスタンスという扱いになると思うのですが、「let a: Bike = Bike()」とした場合では何か違いなどはあるのでしょうか?

    キャンセル

  • 2019/11/30 12:21

    バイクインスタンスを扱いたい場合、型にCarを指定せずとも「let a = Bike()」で良いのではないかと思った為、何かCarを型に指定することでBike型の指定では出来ないことがあるのかなと思ったんですよね。。

    キャンセル

  • 2019/11/30 12:24

    「let a: Car」にはBike以外のCarも代入できます。

    キャンセル

+1

Carクラスの変数にはBikeやTrackが代入できます。
ということですね

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

+1

Swiftは普段あまり触らないので、話半分くらいに見ていただきたいですが……

Dec 2, 2019 9:55pm追記: Macを触れる環境に来たので修正しました

// MARK: -
class Car {
    var name: String
    var wheelsQty: Int

    init(name: String) {
        self.name = name
        self.wheelsQty = 4
    }

    func run() {
        print("Go ahead \(self.name), zoom-zoom!")
    }
}

// MARK: -
class Bike: Car {
    var hasSidecar: Bool

    init(name: String, hasSidecar: Bool) {
        self.hasSidecar = hasSidecar
        super.init(name: name)
        self.wheelsQty = 2
    }
}

// MARK: -
class Truck: Car {
    var specialSigns: Array<String>

    init(name: String, specialSigns: Array<String>) {
        self.specialSigns = specialSigns
        super.init(name: name)
    }

    override func run() {
        print("Vrrr, Vrrrr, Vrrrrrrom!!!!")
    }
}

// MARK: -
class ViewController: UIViewController {
    required init?(coder: NSCoder) {
        super.init(coder: coder)
    }

    let touring       = Bike(name: "Touring", hasSidecar: true)
    let hayabusa: Car = Bike(name: "Hayabusa", hasSidecar: true)
    let canter        = Truck(name: "CANTER", specialSigns: ["危", "毒"])
    let elf: Car      = Truck(name: "ELF", specialSigns: [])

    override func viewDidLoad() {
        print("\(touring.hasSidecar)")  // -> true
        print("\(hayabusa.hasSidecar)") // -> ERROR

        print("\(canter.specialSigns)")  // -> ["危", "毒"]
        print("\(elf.specialSigns)") // -> ERROR
    }
}

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2019/12/03 09:05 編集

    はい
    hayabusaはCar型で
    Car型にhasSidecarがないので
    コンパイラが「**Car**にそんなメンバーはない」と言っています

    キャンセル

  • 2019/12/03 09:17 編集

    >ozwkさん
    返信ありがとうございます。
    >コンパイラが「**Car**にそんなメンバーはない」と言っています
    こちらの点、やはりそうでしたか...
    しかし、そうなりますと余計、型にスーパークラスを指定し、インスタンス化するメリットってあるのかなと思ってしまいますね...
    勿論使い道はあるのでしょうけど....

    キャンセル

  • 2019/12/03 09:47 編集

    「派生元の変数に派生したクラスのインスタンスが代入できますよ」の説明なだけであって
    確かに参考書によくあるこの例でメリットは全然わからないと思います。

    「代入」といっても本当に変数用意して代入して終わりだと確かに何のメリットもないんですが、
    派生元で宣言されたものしか使わない関数を作る場合に、派生先を元として扱えれば
    派生元を引数に取る関数を1つ作るだけで済むなどのメリットがあります

    doSomething_Bike(bike: Bike){}
    doSomething_Truck(truck: Truck){}

    doSomething(car: Car){}
    の1つにできるということです

    配列としてまとめたりもできるので
    sumWheelsQty(carList:[Car]){...}みたいなこともできるわけです

    キャンセル

0

追記

class Car {
    let carStr = "carStr"
}

class Bike: Car {
    let bikeStr = "bikeStr"
}

let a: Car = Bike()

print("type(of: a): \(type(of: a))") // => Bike

// ↓これだと両方ともtrueになってしまう
print("a is Car : \( a is Car  )") // => true (`is` test is always true)
print("a is Bike: \( a is Bike )") // => true
// どちらの型で扱えばいいかわからない
print("a.carStr: \(a.carStr)")   // => carStr
print("a.bikeStr: \(a.bikeStr)") // => compileError: Value of type `Car` has no member `bikeStr`

もともと

回答ではなく質問になってしまいますが。(コードあるのでこっちに書きます)

class Car {}
class Bike: Car {}

let a: Car = Bike()

print("type Of a: \(type(of: a))") // => type Of a: Bike


と、aBikeクラスとなってしまうので、クラス記述の実用性はなく?、代入できることを説明することを目的とした記述なのでしょうか?

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2019/12/05 14:35 編集

    どういうときに困ります?(あぁ失礼、回答に追記してましたね)

    キャンセル

  • 2019/12/05 14:49 編集

    「どちらの型で扱えばいいかわからない」というのがおかしくて、どちらでも扱えるのでは?
    Bikeとして扱いたいのであればBikeにキャストすればいいかと。
    (そしてやっぱり、どういうときに困るのかちょっと分からないです)

    キャンセル

  • 2019/12/05 15:15 編集

    質問しといてなんなんですが、困る場面があるかな?と思っただけで、実際困っていないのでなんとも言えないんですが…
    ただ扱うべき型をコード上で取れる方法が用意されているかなと期待した次第です。
    Q:何型で扱えばいいの? => A:Car型で扱ってね といった感じに簡単に取得できるのかなと。

    あ〜、キャストせずに要素にアクセスしようとする考えが間違ってるのか。
    is で true である扱いたい方に必ずキャストしてから要素にアクセスすると考えればいいのか。

    扱うべき型を取得してから要素にアクセスするのと、扱いたい型にキャストしてから要素にアクセスするのは同じだとも思えるので質問自体がナンセンスかもしれません。

    回答ありがとうございました。

    キャンセル

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 89.99%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる