回答編集履歴
1
追記
test
CHANGED
|
@@ -1 +1,33 @@
|
|
|
1
1
|
コンパイラが認識する型が変わるだけといえば分かりますか？
|
|
2
|
+
|
|
3
|
+
|
|
4
|
+
|
|
5
|
+
----
|
|
6
|
+
|
|
7
|
+
追記
|
|
8
|
+
|
|
9
|
+
（注意：以下の説明で用いているラベルという単語は説明のために使っているものでSwiftで一般的に用いられる用語ではありません）
|
|
10
|
+
|
|
11
|
+
|
|
12
|
+
|
|
13
|
+
コンパイラはコンパイル時に各変数/定数などに型というラベルを張り付けます。
|
|
14
|
+
|
|
15
|
+
コンパイラはそのラベルを頼りに使用可能なメソッドやプロパティを決定します。
|
|
16
|
+
|
|
17
|
+
|
|
18
|
+
|
|
19
|
+
```swift
|
|
20
|
+
|
|
21
|
+
let a = 0
|
|
22
|
+
|
|
23
|
+
let b = a as Any
|
|
24
|
+
|
|
25
|
+
```
|
|
26
|
+
|
|
27
|
+
としたとき実体としてのbはIntのままですが、コンパイラが認識するラベルとしての型はAnyになります。
|
|
28
|
+
|
|
29
|
+
ですのでbに対してIntのメソッドやプロパティを使用しようとするとコンパイルエラーとなります。
|
|
30
|
+
|
|
31
|
+
|
|
32
|
+
|
|
33
|
+
しかし、type(of:)はラベルではなく実体を見ていますので実体のMetatypeを返します。
|