var num = Int(2) と var num: Int =2は等価であるのか？

Question

とても単純なことなのかもしれませんが、

var num = Int(2)

当該コードがIntの構造型からインスタンス(num)を作成していることがわかりました。

ここで記法が違うだけで

var num: Int =2

は上の式と等価でどちらにしても、numはIntの構造型のインスタンスであるという理解で正しいのでしょうか？

基礎的なことで申し訳ございませんが、確認をさせてください。

よろしくお願い申し上げます。

Comments

[momon-ga]

type(of: num)て、確認するではダメですか？

[pegy]

ありがとうございます。結果はもちろんどちらもIntが帰ってくるのですが、どちらもInt型というのはわかるのですが、この結果はInt型の2（のインスタンス）を導くために、異なる様に見えるが記法の違いだけ？という様に解釈して問題ないでしょうか？

Answer 1

はい。
その２つは全く同じこととなります。
また、

var num = 2

としても全く同じです。

ただし、注意すべきは整数値リテラルが常にInt型とは限らないということです。
例えば

func f(_ p: Double) {
  print(p)
}

f(2)

このとき2という整数値リテラルはDoulbeとして扱われます。

これはSwiftコンパイラの型推論と呼ばれる機構によるもので、複数の可能性が存在する場合に最も適合する型を選び出し適用します。

いろいろな規定が存在しており、たとえば先に書いた

var num = 2

のように型が指定されていない変数の整数値リテラルによる初期化に関しては常にIntが選ばれます。

Comments

[pegy]

ご教示いただき、誠にありがとうございます。整数値リテラルや型推論についてもとてもよくわかりました。
御礼を申し上げます。