swiftでのswitch構文におけるletの役割について

Question

###疑問
swiftのswitch構文において，caseのところでlet(もしくはvar)を使用すると，判別する対象を定数(変数)にとることができますが，なぜこんなことができる必要があるのでしょうか。(こんなことをする必要があるのでしょうか。)

例えば以下のようなものです。

switch foo {
case let value:
    print(value)
default:
    break
}

これはprint(foo)としても同じ事ができますよね？

似たものに，

if let foo = foo {
    print(foo)
}

という場合があり，ここではOptional Bindingというものがあるそうで，これに関しては意義は理解できたのですが，
switch構文でも同じようなことをしようとすると，

switch foo {
case let value?:
    print(value)
default:
    break
}

のように書けますが，これは

switch foo {
case _?:
    print(foo!)
default:
    break
}

と同義のように感じます。

このように，letに値を取る意義が理解できません。

こういう背景でこのような機能がある，こういうときにこのように書く必要がある，もしくは書いた方がいい，ということをご存じの型がいらっしゃいましたら，どうかご教授いただけますか。
もし他の言語でも同じ機能があり，それについての理由などをご存じの型がいらっしゃれば，そちらも教えていただきたいです。

どうぞよろしくお願いいたします。

Answer 1

最初の例では意味がないので２番目の例で説明するとアンラップの必要がなくなります。

let foo: Int? = 0

switch foo {
case let value?:
    print(value * 4)  // この value は Optional<Int> ではなく Int なので直接掛け算ができる
default:
    break
}

二つの変数/定数を同時に調べる時にこの構文は非常に役立ちます。
if文で書くと読むのが大変なものになってしまいます。

switch (foo, bar) {
case let (val1?, val2?):
    print(val1, val2)   // 両方nilでない
    
case let (val1?, val2):
    print(val1, val2)   // fooはnilでない、barはnil
    
case let (val1, val2?):
    print(val1, val2)   // fooはnil、barはnilでない
    
default:
    break               // 両方nil
}

また、少し変わった構文で条件を付加することもできます。
case let value?を使用することでvalueがIntであることが確定しますのでアンラップすることなく比較ができます。

switch foo {
case let value? where value < 5:
    print("value is less than 5")
    
case let value? where value == 5:
    print("value is 5")
    
case _?:
    print("value is larger than 5")
    
default:
    print("value is nil")
}

Comments

[cRe.Mate]

ご回答ありがとうございます。
2つ以上の変数定数を同時に調べる場合も，`(_?, _?)`のように書けてしまうため，`let`構文の意義が理解できていませんでした。
しかし，なるほど，アンラップの「必要がない」と言うことも大きなメリットなのですね。
まだ初心者でして，`case _?`に該当するのは必ずnilじゃないのだから，`!`を付ければいいじゃないかと短絡的に考えていました。
また最後の`where`構文による条件の付加は，`case (..<5)?`のような書き方よりもわかりやすく感じるため，`let`のメリットをさらに感じることができました。

改めてお助けいただきありがとうございます。