ダウンキャストについて

Question

ダウンキャストについて、お聞きしたいことがございます。
以下のコード内の、let int = any as! Int こちらは実行時エラーとなってしまいます。
自分の理解している範囲では、コンパイル時にチェックされる型は実体(値）の型ではなく、変数の型だと認識しております。その為、コンパイル時にはエラーが発生しないものかと思うのですが、実行時にエラーが発生してしまうということは、実行の際にプログラムがチェックしている型は実体(値)な為、実行時にエラーが発生してしまうといった理解で合っていますでしょうか？

let any: Any = "sample" as Any
let string = any as! String //"sample"
let int = any as! Int //実行時エラー

Answer 1

ローレベルの話ですが、Swiftのインスタンスにはメタデータという隠し属性が存在しており、そこに型情報も含まれています。
その型が対象の型にアップキャストできないものの場合はエラーが発生します。

またSwiftには暗黙的に"1"を1に変換するような言語機能はありません。
むしろSwiftは上記のような暗黙の型変換を行わないことでバグを減らそうという思想で作られています。
ですから、StringをIntに変換したい場合は明示的にそれを行う必要があります。

例

let s0 = "1"
let i0 = Int(s0)  // i0 is Optional<Int>.some(1).

let s1 = "f"
let i1 = Int(s1)  // i1 is Optional<Int>.none. == nil

Answer 2

ご提示のサイトで解説されている通り、 "sample" as Any は Int にならないからです。

Comments

[aae_11]

＞"sample" as Any は Int にならないからです。
こちらの部分なのですが、コンパイル時にはエラーとならないのに、実行時にエラーとなってしまう点でチェックしている型が違うのかな？と疑問に思ったんですよね..

[thyda.eiqau]

チェックというのが何を意味しているのかわかりませんが、プログラムは書かれた処理をやりますので、
「Intにしてよ、できなかったらnilでいいよ」（as?）と書けばその通りに処理されるし、「Intにしてよ」（as!）とだけ書けば、できなかったときにはクラッシュするまでです

[aae_11]

チェックといいますのは、コンパイル時にエラーにならず、実行時にエラーになるのは何故なのかな、とそこの部分が疑問でして...

[maisumakun]

> コンパイル時にエラーにならず、実行時にエラーになるのは何故なのかな、とそこの部分が疑問でして...

「any型」は「コンパイル時のチェックをしない」という意味合いの型です。逆に何を疑問に思っているのかがわかりません。

[aae_11]

勿論コンパイル時にエラーが発生しないことは分かっているのですが、何故実行時にエラーが発生してしまうのかが分からないんですよね。。

[maisumakun]

StringとIntは無関係な型なので、asでキャストはできません。

[thyda.eiqau]

？？？
実行時にエラーが発生する書き方をしているので、実行時にエラーが発生します

[aae_11]

＞実行時にエラーが発生する書き方をしているので、実行時にエラーが発生します
勿論それはそうなのですが、実行時にエラーが発生する理由は、変数の型ではなく値の実体(sample)をチェックしているからなのではないでしょうか？

[fuzzball]

誰も「変数の型ではなく値の実体(sample)をチェックしているからなのではないでしょうか？」を否定していないのに、否定されていると思い込んでいるから、話が噛み合ってないのでは？

[aae_11]

>fuzzball
としますと、「「変数の型ではなく値の実体(sample)をチェックしているからなのではないでしょうか？」こちらの理解は正しいのでしょうか...?