Swift オプショナル型の変数に整数リテラル値を代入できるのか。

Question

非常に基本的なことだと心苦しいのですが、
https://docs.swift.org/swift-book/LanguageGuide/TheBasics.html
のnilの部分に

var serverResponseCode: Int? = 404

このコードなのですが、変数serverResponseCodeはオプショナルInt型と型注釈されているのですが、この変数に整数リテラルの404を代入するとエラーが出るのではないか、と思ってしまうのですが、実際はエラーが出ません。
なぜエラーが出ないのでしょうか?

Comments

[thyda.eiqau]

質問に質問で返すようで恐縮ですが、出るとしたらどのようなエラーが出るとお考えですか？

[moriman]

コメントを頂きましてありがとうございます。現在の私の認識ですと、
Int?は列挙型、serverResponseCodeは列挙型であるInt?の変数、
404は構造体であるInt型の値。
Int?型の変数にInt型の値を代入しようとしているので、「型が違うので代入できません」
的なエラーが出るはずだ、という認識です。

[thyda.eiqau]

そもそも `Int?` は 列挙型 (enum) ではないし、 `Int` も構造体 (struct) ではないと思いますが、何をもとにそうおっしゃっているのでしょうか？

[moriman]

Int?はOptional<Int>型で列挙型。
数値型、Bool型、String型など標準ライブラリで提供されている多くの方は構造体。

上記はSwift実践入門という書籍にある情報でして、これを基に考えています。

[thyda.eiqau]

そちらの書籍は読んだことがないし手元にもないのですが、なんとなく言いたいことはわかったような、わからないような……
> `Int?` は 列挙型 (enum) ではないし、 `Int` も構造体 (struct) ではない
こちらは私の凝り固まった発想から出た嘘でしたので、取り消します。

ちなみにOptionalに対する公式のDocumentはこちらです。Objective-C / Swiftを書いているとAppleの不親切さに結構やられることがありますが、結局Documentに書いていることが正で、書いていないことは不確定要素なので、多少、「飲み込むしかない」というところもあります（まあ、どんな言語でもそうですけど……）
https://developer.apple.com/documentation/swift/optional

[thyda.eiqau]

うーん、うまく言語化できないんのですが、やはり解答欄に差し上げたとおり「Int or nilが入る箱にIntが入っている」としか、私の能力ではお伝えしきれないです。非力で申し訳ないですが。

[moriman]

いえいえとんでもございません。
お示し頂いたドキュメントを読んで考えてみようと思います。
ありがとうございました。

Answer 1

いわゆるシンタックスシュガーです。

略記をしない場合は

var serverResponseCode: Optional<Int> = Optional<Int>.some(404)

なのですが、言語規約として

var serverResponseCode: Int? = 404

と書けば上記とみなして処理されるようになっています。

nilの場合も略記しない場合は

var serverResponseCode: Optional<Int> = Optional<Int>.none

なのですが

var serverResponseCode: Int? = nil

でＯＫになっています。

Comments

[moriman]

回答を頂きましてありがとうございます。
もう頂いた回答で覚えれば良いと思うのですが、今回の事項を公式ドキュメントなど公式的なソースで解決したい場合どこを見れば書いてありますでしょうか?

Answer 2

Int? は、別の言語っぽく言うと「null許容型」Intです。Int か nil を受け入れます。
ご提示のコードにおいて、整数リテラル 404 で生成されるインスタンスの型は Int ですので、 Int を受け入れることができる変数 serverResponseCode は問題なく 404 を受け入れます。