Swiftの定数名の命名方法について

Question

Swiftの変数(→定数)名の命名方法についての質問です。

let a: Int? = 123
if let a: Int = 123 {
    print(a)
}
print(a)

上記を実行したところ、結果は
123
Optional(123)
となりました。

つまり、SwiftではInt?型の変数(→定数)aがあっても、if-letのところでInt型のaを新しく宣言してもよく、ifの中ではInt型のaが優先的に使われるということでしょうか？

おそらく勘違いしていると思われるので、理解力のない私にも分かるアンサーをお待ちしてます...。

p.s.
Optional(123)となるのがInt型の変数(→定数)aのスケール(→スコープ)のため、ということだけは分かります。

Answer 1

この質問見た瞬間おもしろいと思ったので調べてみました。

まずはコードから

let value: Int = 150 

class Shadowing {
    
    let value: Int? = 100
    
    init() {
        let value = value //エラー
        if let value = value {  
            print(value) //

            print(self.value)  
        }
        print(value)
    }
    
}

上記の例だとInt?型の定数valueとif-let構文中の定数valueの名前が同じですよね。このように同じ名前のものを使う事をシャドーイングと言うそうです（今初めて名前を知りました。シャドーイングを言いたいだけちゃうんかと言うツッコミは受け付けません）。

そして質問内容の

Int?型の変数aがあっても、if-letのところでInt型のaを新しく宣言してもよく

これはYesです。ただし質問に書かれてるInt型のaもInt?型のaも変数ではなく定数です。変数はvarです。

ifの中ではInt型のaが優先的に使われるということでしょうか？

これは優先的というよりもif-let構文内で定数aと言えばInt型のaの事を指します。self.aとするとInt?型のaを指します。この辺はスコープの問題とも絡んできますね。

なので勘違いはほとんどなく理解に問題ないんじゃないでしょうか。

（追記）

tyobigorouさんのコメントを受けて修正します。

Swiftはオプショナルバインディング中でのシャドーイングが可能になっています。これは例外として出来ることで通常シャドーイングは出来ないようになっていそうです。もしかしたらやり方があるかもしれませんが自分の調べた結果ではオプショナルバインディング中のみでした。SwiftはHaskellに影響を受けていると聞いたことがあり、そのHaskellでもシャドーイングが可能です。そしてHaskellではシャドーイングが出来る範囲もSwiftよりも広いようです。
そしてそのシャドーイングの効果ですが代入する値を特定スコープ内で使えなくする、という効果です。だから上記の例でメンバ定数であるvalueはif-let構文のブロック中では直接呼び出せなくなっていてvalueを呼び出すとif-let構文の条件で宣言された定数valueが呼び出される、ということのようです。

余談

class Shadowing {
    
    let value: Int? = 100
    
    init() {
        if let value = value {
            print(value) // 100
            let value = 150
            print(value)  //150
            print(self.value)  // Optional(100)
        }
        print(value)  //Optional(100)
    }
    
}

何故かこれが許される・・・。

Comments

[xAxis]

コメント外に１つ追記です。このシャドーイング、正直何をやってるコードなのかぱっと見分かりづらいのであまり書かない方がよさげに思います。

[AKTO]

たしかに変数ではなく全部letなので定数ですね、誤植でした。
おそらくxAxisさんは調べているうちにQiitaの記事にたどり着いたんでしょうね。
私は調べているうちにあるQiitaの記事にたどり着き、シャドーイングについて読んだのですが、いまいち理解と確信を得られませんでした。
シャドーイングについてですが、ifの中の無印のaということは、たしかにself.aとは違いそうですね。
ところで、「ifの中ではInt型のaが優先的に使われるということでしょうか？」と書きましたが、すいません、私としては「Int?型よりもInt型が優先されるか？」というつもりではなく、「if-letで宣言したaが優先的に使われるか？」というつもりでした。
xAxisさんは「これは優先的というよりもif-let構文内で定数aと言えばInt型のaの事を指します。」とおっしゃってるので、たぶん、「if-letで宣言したaが優先的に使われる」というのはあってるんでしょうかね...？
お忙しいところお答えいただきありがとうございました。ベストアンサーにさせていただきます。

[退会済みユーザー]

調べてみて、初めて知りました。
自分の場合は↓のような感じかと思いますが、

let a: Int? = 123
if let a = a {
print(a) // => 123
print(self.a) // => Optional(123)
}
print(a) // => Optional(123)

if letでのオプショナルバインディング時に新たに定数名を考えなくてよくて、スコープ内ではself.aとaで使い分けもできるというのは、合理的でメリットがありそうに感じます。
有益な情報をありがとうございました。

[xAxis]

>>AKTOさん
> 調べているうちにQiitaの記事にたどり着いた
その通りでQiitaの記事にもたどり着きました。他にも別のQiitaの記事がいくつかと個人サイトがいくつか、あとはどこかの会社のサイトを読んだような気がします（すいません正直なところすでに忘れかけてます）。そして皆さん割と「シャドーイング初めて知ったぜ！」的なノリの記事だったので自分も少々悪ふざけをしてしまいましたw
> 「Int?型よりもInt型が優先されるか？」というつもりではなく、「if-letで宣言したaが優先的に使われるか？」
読み返してみたのですが自分の回答の表現では「Int?型よりもInt型が優先されるか？」と言う受け取り方も可能でしたね。完全に誤算でした。すいません。
この問いにもストレートにYesと言っていいと思います。ただもっと厳密に言うならば「優先順位はなく」、「if-letで宣言したaが使われる」と表現した方が良いんじゃないかなと思います。
こちらこそ今回のように新たな知識を得る機会に恵まれありがとうございました！そして面白かったです！

>>tyobigorouさん
> if letでのオプショナルバインディング時に新たに定数名を考えなくてよくて
最初上のコード書いた時ぱっと見何やってんのか分かんないなーとか思ってたんですけども、コードの命名を上手に行っておけばわざわざ新たに定数名を考えなくて良いってのはメリットですね。思いつきませんでした。オプショナルバインディングするとき「ここの定数名どうすんだよ・・・」みたいなパターンってありますもんね。勉強になりました！

[MasakiHori]

失敗しないinit内では使えませんけど、
guard let value = value else { return }
とすればそれ以降はguardで宣言されたvalue（Int型）が使われることになります。
何度もアンラップする必要がなくなります。
分かりづらいきらいもあるにはありますが。

[xAxis]

>>MasakiHoriさん
> guard let value = value else { return }
とすればそれ以降はguardで宣言されたvalue（Int型）が使われることになります。

これ、言われてみれば確かにその通りなのですが書いていただかなければ自分では気付けませんでした。勉強になります！

[fuzzball]

if let の変数名
https://www.toyship.org/archives/2229

私はSwiftを使い始めてすぐの頃にこの記事を読んだので、基本的に同じ名前を使うようにしています。

[xAxis]

>>fuzzballさん
記事拝見しました。
回答した段階では名前の重複はまずいんじゃないかと思っていました。理由は記事にものってる通りのものです。
ですがtyobigorouさんのコメントで名前重複するのもありかもしれないという風に思いここ数日このネタをずっと考えていたのですが、
fuzzballさん貼ってくださった記事で重複させた方がよい、と自分の中でも結論付ける事が出来ました。

いつも様々な事を教えていただいてありがとうございます！今回も勉強になりました！！

[AKTO]

>>xAxisさん
「if-letで宣言したaが使われると表現した方正しい。なぜなら、そうゆう文法だから。」とした方が厳密になりそうですね。
ただ私としては、これはこうゆうもんだから、と覚えるのが納得いかなかったもんで、優先という単語を使って自分を満足させました。
すいません、僕の言葉遊びにつきあわせてしまいました。

>>MasakiHoriさん
guard let value = value else { return }でそれ以降アンラップする必要がないのは、value?なのにvalue!みたいだと感じました。
使い所があるかもしれませんね。

[xAxis]

>>AKTOさん
> これはこうゆうもんだから、と覚えるのが納得いかなかったもんで、
これは自分もよく分かります。なので微力ではありますが追記で解説をしてみました。もし分からなければまたおっしゃってください。

追記
>>tyobigorouさんのコメントを受けて修正を行いました。

[退会済みユーザー]

この場合の名称重複は、定数aが生きているうちに再度定数aを宣言できるといった類のものなので、
非オプショナル化時のみ認められた例外なんじゃないでしょうか？
例外とされた理由は、非オプショナル化するだけだから、使い勝手がいいから、古い言語からそうだから？(あれ、objective-Cとかってoptionalないんだっけ？)、

まあ、例外を認めるのは、そのほうが合理的なんだと思います。(多分非合理な例外は認めてくれないだろうから。)
オプショナルバインディングという目的からみても、if-let文のスコープの中は非オプショナルaが優先されるのが当然だと思われます。目的は安全にaに触るためですし、でなければif-let文なんて書く意味ないでしょうし。

なのでif-let/guard-let時は重複した名称を使用するほうが普通なんだと思います。
(僕は、if let b = a {} / guard let b = a else {return}という例文で学んだので、a = a なんて通らないと思いこんでいて、打ったこともありませんでした。アホですね…。 )

論点がずれました。
aを優先するというより同じa(ただし非optional)ということではないでしょうか？

[xAxis]

>>tyobigorouさん

> 非オプショナル化時のみ認められた例外なんじゃないでしょうか？

今も調べてたりしたのですが、自分が根本的に勘違いしていました。tyobigorouさんのおっしゃる通りでそれはシャードイングの効果ではないかと思います。そのシャドーイングの効果というのは代入する側の値を使えなくするという効果で、だからメンバ変数はそのままの名前では使えなくなるんじゃないのかなと思っています。

swiftはHaskellを結構取り込んでるとも聞きますし、Haskellでもシャドーイングはあるようです。また例外というのも多分その通りでswiftのオプショナルバインディングで限定されているように思われますが、Haskellにおけるシャドーイングはかなり融通が利くようです。

自分もオプショナルバインディング時には名前を変えて使っていましたよw今必死に書き換えていますw

[退会済みユーザー]

余談についてなんですが、そこはスコープ内部なので許されるようです。
if-letでなくてif文でも通ると思います。

[AKTO]

結論として、「オプショナルバインディング時のみ認められるシャドーイング、という特例」ということなんですね。
tyobigorouさんが言っている同じaというのがなんとなく理解できました。
確かに、じゃなきゃif-letなんてする必要ないですね。
初心者の私にとってまだ微妙な感じではありますが、見やすくするために同じ名前を使ってもいい、ということだけは今後に活かせそうです。

余談についてですが、これはSwiftがまだまだ改善されていくことの証明ですかね...。

[xAxis]

>>tyobigorouさん
これが許される理由結構考えてるんですけども考えても考えても全然分からないです。
なのでまず各定数valueのスコープから考えてるんですけどもそれでもどう捉えたら良いものか五里霧中な今日この頃。
if文内で定数valueが宣言出来るのは分かるんですけども、if-let内で定数valueを宣言出来るということはif-letのブロック内にある定数valueと条件で宣言されてる定数valueのスコープは違いますよね？何か特殊なスコープにあるとか・・・？

>>AKTOさん

> 結論として、「オプショナルバインディング時のみ認められるシャドーイング、という特例」ということなんですね。

今度こそこれで大丈夫だと思います。回答に時間がかかってしまって申し訳ないです。
この余談全然分からないんですよね。