as? [String: Any] は、何故ダウンキャストなのか他【JSON】

Question

質問は２点です。

##　① as? [String: Any] は、何故ダウンキャストなのか。

以下の記事によると、「より具体的な型」にするのがダウンキャスト(?, !)と書かれていますが、

• JSON解析にてas? [String: Any]は、何故ダウンキャストなのか、教えて頂きたいです。

【Swift入門 文法編】型キャスト(as, as!, as?)をマスターしよう

• JSONデータには、整数や文字列など様々な型が混ぜっているからAnyにキャストする、という認識で合っていますか？

• もしそうなら、「より汎用的な型」にするアップキャストは何故使わないの？ と思ってしまいました。

##　② キャストをしなくても、JSONデータが同じ？

guard let jsonAny = json as? [String: Any] else { return }

キャストをせずにprint(json)を実行しても、同じJSONデータが得られました。
何故キャストは必要なのでしょうか。

{
    "birth_year" = 19BBY;
    created = "2014-12-09T13:50:51.644000Z";
    edited = "2014-12-20T21:17:56.891000Z";
    "eye_color" = blue;
    films =     (
        "http://swapi.dev/api/films/1/",
        "http://swapi.dev/api/films/2/",
        "http://swapi.dev/api/films/3/",
        "http://swapi.dev/api/films/6/"
    );
    gender = male;
    "hair_color" = blond;
    height = 172;
    homeworld = "http://swapi.dev/api/planets/1/";
    mass = 77;
    name = "Luke Skywalker";
    "skin_color" = fair;
    species =     (
    );
    starships =     (
        "http://swapi.dev/api/starships/12/",
        "http://swapi.dev/api/starships/22/"
    );
    url = "http://swapi.dev/api/people/1/";
    vehicles =     (
        "http://swapi.dev/api/vehicles/14/",
        "http://swapi.dev/api/vehicles/30/"
    );
}

##　コード

 do {
                let json = try JSONSerialization.jsonObject(with: data, options: [])
                guard let jsonAny = json as? [String: Any] else { return }
　　　　　　　　　　print(json)

            } catch {
                debugPrint(error.localizedDescription)
                return
            }

質問は以上です。
お時間あるときに、ご返信頂けましたら幸いです????

Answer 1

1, あなたがJSONの詳細を知っていてもコンパイラは知りません。コンパイラにそれを教えるためのキャストです。

2, 実行時にはコンパイル時とは別の実行時にしか存在しない情報源により型を特定しています。jsonがAnyのままでもprint(json)で同じ出力が得られるのはそのためです。
実行時にしか存在しないのでコンパイル時には利用できません。

Answer 2

リファレンスによると、
JSONSerialization.jsonObject(with, options)の返り値はAny型です。
これを[String: Any]型(=Dictionary<String, Any>型)にダウンキャストしてます。
きっと、

let とあるキーの値 = jsonAny["キー"]

みたいな使い方を後々やりたいんでしょう