Swift タイププロパティの説明文について

Question

Swiftのドキュメントのタイププロパティの部分を読んでいるのですが、

In Swift, however, type properties are written as part of the type’s definition, within the type’s outer curly braces, and each type property is explicitly scoped to the type it supports.

の後半部分の意味がわかりません。どういう意味でしょうか？

Answer 1

これはその前の文がないと、分かりにくいですね。

In C and Objective-C, you define static constants and variables associated with a type as global static variables. In Swift, however, type properties are written as part of the type’s definition, within the type’s outer curly braces, and each type property is explicitly scoped to the type it supports.

「CやObjective-Cでは、型に関連づけられた静的定数や変数をグローバルスタティック変数として定義する。Swiftでは、しかしながら、タイププロパティは型定義の一部として、型の外側の波括弧の内側に記述される。そして、それぞれのタイププロパティは、それがサポートするその型に対して明示的にスコープされる。」

Objective-Cなどでは型に関連付けられた変数が、グローバルスコープでした。例えば、UIViewNoIntrinsicMetricはグローバル定数です。

それに対して、Swiftでは型に属するようになっている事を強調しているものと思います。先の定数は、Swiftでは、UIView.noIntrinsicMetricとなっていて、noIntrinsicMetricはUIViewに属していることが分かります。ただ、noIntrinsicMetricだけではどこからもアクセスできず、必ずUIView.noIntrinsicMetricとしてアクセスする必要があります。(UIViewのサブクラスのインスタンスメソッドの中からでもnoIntrinsicMetricだけではアクセスできません。スコープが型の中にあるというより、型の表面にあり外からだけアクセスできるような感じです。）

Swiftだけ考えれば、型定義の{}の内側で宣言したタイププロパティに、型名.タイププロパティ名としてアクセスする事は当然で、何を明示的と言っているのかはっきりしない感じがしますね。Objective-Cではグローバルスコープにある定数が何の型に属しているのか、明示的ではありませんでした。Swiftではそこが明示的になったので、それを強調したかったのではないかと思います。

原文リンク：The Swift Programing language Properties

Comments

[moriman]

そういうことなんですね！わかりやすい解説を頂きましてありがとうございました。

あと、サブクラスからスタティック変数にアクセスする、という発想が今までなかったのですが、サブクラスからアクセスできるというのは、スタティック変数を継承している、ということになるんですかね。
あと、サブクラスからアクセスできる、というのはドキュメントに記載はありますでしょうか？

[eytyet]

すいません。「サブクラスからアクセスできる」というのは、間違いです。回答を訂正しておきます。
スタティックの場合、インスタンスメソッドの中からプロパティとして直接アクセスすることはできず、型名をつける必要があります。その事を忘れて、スタティックでないものと混同して記述してしまいました。
質問ありがとうございました。おかげさまで間違いに気付けました。
スタティックへのアクセスに関する公式記述はみつけられませんでしたが、実際にやってみると、コンパイラが"Static member 'noIntrinsicMetric' cannot be used on instance of type 'クラス名'"とエラーを出し、"Insert 'UIView.'"と提案してくれます。

[moriman]

よくわかりました。ありがとうございました。