Xcode12から return文 が不要になった件

Question

Xcode11までは、次のようなコードを書くと、「return文が無いよ」というエラーになっていましたが、Xcode12からは問題なく動くようになりました。
おそらくなんらかの仕様変更が入ったものと思われますが、どんな変更が入ったのかご存知の方おられますでしょうか？
いろいろ探してみたのですが、そのようなドキュメントを見つけられませんでした。

import SwiftUI

struct ContentView: View {
    var body: some View {
        let name = "World"
        Text("Hello, (name)!")
    }
}

Answer 1

これは、Swift5.3のFunction Builderの機能強化によるものだと思います。

https://www.youtube.com/watch?v=LKFVcc_uC60

上記のYoutube動画の17分頃の「local let and var」の説明がその部分です。

従来のSwift5.2のFunction Builderは、buildBlockに指定できるものを複数並べるか、それをif文で切り分けるくらいしかできませんでした。従来でもletで変数を宣言した場合は、最後にreturnをつけて、そのreturnの戻りにViewを記述すればビルドが通っていましたが、それが通る理由は、returnを記述することでFunction Builderを適用する部分が最後のreturn行だけに限定されるようになる(そのため、returnより前の部分は通常のSwift文法で自由に書ける)ためだったと思います。

returnを記述しない場合は、ブロック全体がFunction Builderの適用対象になり、Swift5.2はその中ではif文くらいしか使えませんでしたが、Swift5.3では、Function Builderの中に書けることが強化され、いろいろできるようになったようです。なお、冒頭の動画では23分頃にfor文も使えるように説明されていますが、これはbuilder側でbuildArrayを定義する必要があるようで、SwiftUIのViewBuilderではそこまでサポートされていません。

今のところSwiftUIのViewBuilderで新たにできるようになったのは、let, var, switch - case, if let, if #available といったところだと思います。if文しか使えなかったのに比べると色々できるようになったように見えますが、 print や別の関数呼び出しや代入のような通常のSwiftの文はやはり使えず、なんでもできるようになったわけではありません。(おそらく思想的に、なんでもできるようにするつもりもないのだろうと思います。)

この機能の開発状況の情報は、次のURLにあるようです。
https://forums.swift.org/t/function-builders-implementation-progress/32981

Comments

[Capibara]

とても丁寧な説明ありがとうございました。
疑問が解けてすっきりしました。

Answer 2

returnを省略すると、
ブロックの最後の行がreturn文であると解釈されます。
Xcodeというより、Swiftのバージョンによるものです。
Xcode12より、その仕様に完全対応したのでしょう。

また、省略記法に関しては、下記が参考になるかと。

Swift クロージャ（Closures）の記法 - Qiita

Comments

[Capibara]

ご回答ありがとうございます。
参考で紹介して頂いた記事を見ると、クロージャー内では 2つ以上文があるとreturn が省略不可とあり、実際、Xcode12に付属のSwiftで試してみてもクロージャーの動きは変わってないように見えます。

しかし、質問した例では２行の文があるにもかかわらず、returnが省略可能となっているのが解せません。

おそらく、なんらかの条件があるかと想像しているのですが、「ブロックの最後の行がreturn文であると解釈される」という事を説明している文献をご存知でしたら、お教えいただけませんでしょうか？

[miyabi_pudding]

大変失礼しました。

これかもしれないです。
https://github.com/apple/swift-evolution/blob/master/proposals/0255-omit-return.md

teratailの回答から、出てきてます。
https://teratail.com/questions/194838

[miyabi_pudding]

クロージャの場合は、
単行で、
今回のように、変数定義のブロックでは、
複数行が可能とか、その違いのような気がします。

[miyabi_pudding]

いや、違うな・・・・。
回答しておいてすみません、
もう少しこちらでも調査いたします。

[Capibara]

コメントいただきありがとうございます。
おかげで、新たな気付きを得ることができました。
お時間を取らせてしまってすみませんでした。