Swiftで、viewという変数名だとエラーが発生するのはなぜでしょうか。

まっさらなXcodeプロジェクトに、

swift
1import UIKit
2
3class ViewController: UIViewController {
4
5    override func viewDidLoad() {
6        super.viewDidLoad()
7        // Do any additional setup after loading the view.
8    }
9    let view = UIView()
10}

と宣言すると以下のエラーが発生します。

Cannot override mutable property 'view' of type 'UIView?' with covariant type 'UIView'

しかし、viewDidLoadメソッド内で宣言した場合はエラーが発生しません。

swift
1import UIKit
2
3class ViewController: UIViewController {
4
5    override func viewDidLoad() {
6        super.viewDidLoad()
7        // Do any additional setup after loading the view.
8        let view = UIView()
9    }
10}

この2つの違いは、何でしょうか。
Xcode version 12.4です。
よろしくお願いいたします。

hoshi-takanori

2021/07/09 12:44

view というプロパティはすでにスーパークラスである UIViewController で定義済みだからです。

faker

2021/07/10 02:32

ありがとうございます。ここは質問への追記、修正依頼を行うところなので、回答するところに書いていただけると嬉しいです。ではviewDidLoad()内だとエラーが発生しないのはなぜでしょうか。すでにスーパークラスで定義されているはずなのに、viewDidLoad()内では宣言できるのはなぜですか。

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

回答1件

ベストアンサー

次の (1) や (3) のように、クラスの中かつメソッドの外に書いたものはプロパティになります。
で、view というプロパティはスーパークラスである UIViewController で定義済みのため、エラーになります。
また、プロパティを書く場所は (1) でも (3) でも同じ意味ですが、あちこちに書くと分かりにくいので、クラスの最初の方にまとめて書くのが一般的です。
参考: プロパティ | Swiftの始め方

(2) はメソッドの中なので、ローカル変数になります。ローカル変数はプロパティと同じ名前でも構いません。
同じ名前のプロパティとローカル変数がある場合、単に view と書くとローカル変数の意味で、プロパティにアクセするには self.view と書く必要があり、紛らわしいのであまりお勧めはしません。
参考: Swiftにおける基本の概念 - Qiita
(なお、この記事で「メンバ変数」と言ってるものはプロパティのことです。他にも「インスタンス変数「と呼ぶ場合もあります。)

swift
1class ViewController: UIViewController {
2
3    let view = UIView() // (1)
4
5    override func viewDidLoad() {
6        super.viewDidLoad()
7        // Do any additional setup after loading the view.
8
9        let view = UIView() // (2)
10    }
11
12    let view = UIView() // (3)
13}