Swift の新機能：WWDC26 メモ

some と any の Optional#

some や any を Optional にするとき、外側の括弧が不要になった。

1
// Before
2
func delegate() -> (any Renderer)?
3

4
// After
5
func delegate() -> any Renderer?

小さい変更だけど、こちらのほうが読みやすい。

weak let#

これまで弱参照は var にする必要があったため、Sendable な型では扱いづらく、@unchecked Sendable で回避するケースもあった。

Swift 6.4 では不変の弱参照を weak let として宣言できる。

~Sendable#

~Sendable を使うと、その型自体が Sendable ではないことを明示しつつ、サブクラスが Sendable になる可能性は残せる。

Task のエラーを無視した場合の警告#

Task から投げられたエラーを無視すると警告が出るようになった。非構造化 Task のエラーは気づかないまま消えやすいので、これは普通に助かる。

defer から async 関数を呼べる#

defer ブロック内で async 関数を呼べるようになった。

2 つの memberwise initializer#

internal と private の stored property が混在する struct では、それぞれのアクセスレベルに対応する 2 つの memberwise initializer を合成できる。可視性が違うという理由だけで initializer を手書きする必要がなくなる。

@diagnose#

@diagnose は、特定の宣言に対して 1 つの診断レベルを変更する属性。

1
@diagnose(DeprecatedDeclaration, as: ignored, reason: "Flying with surplus hardware")
2
func makeApolloSoyuzMission() -> Mission { ... }
3

4
@diagnose(StrictMemorySafety, as: warning)
5
func uplinkCommand(from receiver: inout Receiver, to computer: inout Computer) { ... }
6

7
@diagnose(ErrorInFutureSwiftVersion, as: error)
8
func fetchPosition() -> (x: Double, y: Double, z: Double) { ... }

今回の細かい変更では、個人的にこれが一番好き。特殊な call site のためにプロジェクト全体の警告設定を変えなくて済むし、reason: に例外の理由も残せる。

モジュールセレクタ ::#

Swift 6.3 では、複数モジュールの同名シンボルを区別するための :: が追加された。

1
import Rocket
2
import GiftShopToys
3

4
let r1 = SaturnV()          // ambiguous
5
let r2 = Rocket::SaturnV()  // Rocket モジュールの型

メンバーにも使える。たとえば technician.HumanResources::fire() のようにモジュールを指定できる。

標準ライブラリ#

• withTaskCancellationShield { ... }：外側の Task がキャンセルされても、クリティカルな処理を最後まで実行する。セッションでは最後の SOS パケット送信が例として使われていた。

• Dictionary.mapKeyedValues：value の変換時に key も参照できる。

  1
  missions.mapKeyedValues { mission, window in
  2
      makeDisplayName(for: mission, in: window)
  3
  }
  

• FilePath：構造化された components を持つクロスプラットフォームのパス型。

  1
  var path: FilePath = "/var/www/static"
  2
  path.components.append("WWDC")
  3
  // [ "var", "www", "static", "WWDC" ]
  

Swift Testing#

• Issue.record(..., severity: .warning) はテストを失敗させずに警告を記録する。
• try Test.cancel("reason") は、該当しないパラメータ化テストを理由つきで終了できる。
• swift test で、設定した最大回数までテストを pass または fail するまで繰り返せる。不安定なテストを調べるときに使えそう。
• XCTestCase 内で #expect が使えるようになり、XCTest の assertion failure も Swift Testing の Issue として表示される。既存テストを一気に移行しなくてもよい。

Subprocess 1.0#

Subprocess パッケージが 1.0 になった。API とエラー処理が整理され、クロスプラットフォームで出力を 1 行ずつストリーミングできる。

1
let result = try await Subprocess.run(
2
    .name("ls"),
3
    input: .none,
4
    output: .sequence,
5
    error: .string(limit: 4096)
6
) { execution in
7
    execution.standardOutput.strings().filter { $0.hasSuffix(".obj") }
8
}

プラットフォームごとの file descriptor や終了ステータスの違いはパッケージ側で吸収される。

Foundation の ProgressManager#

ProgressManager は async／await 向けの新しい進捗 API。親は subprogress(assigningCount:) で全体の一部を子に割り当て、子は親の合計値を知らなくても自分のステージだけを報告できる。

1
let manager = ProgressManager(totalCount: 100)
2
try await rocket.launch(manager.subprogress(assigningCount: 100))
3

4
extension Rocket {
5
    func launch(_ progress: consuming Subprogress? = nil) async throws {
6
        let stage = progress?.start(totalCount: 3)
7
        try await ignite();          stage?.complete(count: 1)
8
        try await liftoff();         stage?.complete(count: 1)
9
        try await stageSeparation(); stage?.complete(count: 1)
10
    }
11
}

Foundation の Pure Swift 化も続いている。Data の処理と bridging の高速化、NSURL／CFURL の背後にある Swift 実装の統一が紹介された。

anyAppleOS#

Apple OS をすべて並べていた availability を短く書ける。

1
// Before
2
@available(macOS 27, iOS 27, watchOS 27, tvOS 27, visionOS 27, *)
3
func showStatus() { ... }
4

5
// After
6
@available(anyAppleOS 27, *)
7
func showStatus() { ... }

#if os(anyAppleOS) でも使用できる。

@C#

@C は Swift 関数を C に公開し、Swift で C 関数を実装する場合にも使える。整数、ポインタ、import した C struct、raw-value enum など、C 互換の型を使う必要がある。

1
@C
2
func averageLaunchWindowLength(_ windows: Span<LaunchWindow>) -> TimeInterval { ... }

Java と Android#

Java から Swift の async 関数と throwing 関数を呼べるようになり、Java クラスから Swift protocol に準拠することもできる。swift.org では公式の Swift SDK for Android も公開された。

WebAssembly#

Swift はオープンソースのツールチェーンで Wasm にコンパイルできる。JavaScriptKit の型安全な bridge は、dynamic な経路より 35〜40 倍高速になった。セッションでは、Goodnotes がネイティブ iOS アプリの Swift コードを Wasm 経由で Web に持っていった事例が紹介された。

Embedded Swift#

Embedded Swift では existential type、untyped throws、制約のあるハードウェアで coredump を調査するための DWARF debug info が追加された。新しい EmbeddedRestrictions 警告グループは、組み込み環境で利用できない機能を知らせる。

エディタ#

Swift VS Code extension はツールチェーン管理用の Swiftly を統合し、OpenVSX でも公開された。Cursor や VSCodium からも利用でき、初心者向けの getting-started checklist も追加されている。

オプティマイザへのヒント#

• @inline(always) が正式にサポートされた。クラスメソッドでは final と組み合わせる。

• Swift 6.3 の @specialized は、よく使われる具体的な型に対して generic function を事前に特殊化できる。

  1
  @specialized(where Values == [UInt8])
  2
  func histogram<Values>(of values: Values) -> [256 of Int]
  3
      where Values: Sequence<UInt8> { ... }
  

標準ライブラリの所有権対応#

Equatable、Comparable、Hashable が noncopyable type に対応した。Equatable と Comparable は non-escapable type にも対応し、associated type には ~Copyable または ~Escapable を指定できる。

新しい Iterable protocol の for loop は、要素をコピーせず borrow する。

カスタムの borrow／mutate accessor を使うと、container からもこのセマンティクスを公開できる。

1
public struct UniqueBox<Value: ~Copyable>: ~Copyable {
2
    private let valuePointer: UnsafeMutablePointer<Value>
3

4
    public var value: Value {
5
        borrow { valuePointer.pointee }
6
        mutate { &valuePointer.pointee }
7
    }
8
}

新しい低オーバーヘッド型#

• UniqueBox／UniqueArray：参照カウントのコストがない noncopyable storage。

• Continuation：1 回だけ resume されることをコンパイル時に検証する。CheckedContinuation と同じ安全性で、コストは UnsafeContinuation 相当。

• Ref／MutableRef：collection 内の要素を安全に borrow する。

  1
  var countRef = MutableRef(&counts[key, default: 0])
  2
  countRef.value += 1
  

• withTemporaryAllocation は UnsafeMutableBufferPointer の代わりに OutputSpan を渡す。

自分が先に使いそうなのは @diagnose、Task のエラー警告、Swift Testing の変更あたり。所有権関係の型は面白いけど、実際のプロジェクトでちょうどいい問題が出てきてから試したい。

セッション全編：What’s new in Swift — WWDC26。