exit test での値のキャプチャ

exit test の本体クロージャに クロージャのキャプチャリスト を書けるようにし、そこに列挙された値だけを親プロセスから子プロセスへ転送できるようにします。#expect(processExitsWith:) / #require(processExitsWith:) のシグネチャ自体は変わりません。

@Test(arguments: [Fruit.olive, .tomato])
func `Fruit bats don't eat savory fruits`(_ fruit: Fruit) async {
  await #expect(processExitsWith: .failure) { [fruit] in
    let bat = FruitBat(named: "Chauncey")
    fruit.feed(to: bat)
  }
}

これまで暗黙のキャプチャに対して出ていたコンパイルエラー（C 関数ポインタはコンテキストをキャプチャするクロージャから生成できない、というメッセージ）は引き続き発生し、明示的にキャプチャリストに書いた値だけが子プロセスに渡されます。

キャプチャできる値の条件

キャプチャリストに記述した値は、親プロセスでエンコードされ、子プロセスに送られて再構築されます。そのため、キャプチャ対象の型は Sendable と Codable の両方に適合している必要があります。Copyable と Escapable への適合は前提として要求されます。

これらに適合しない値をキャプチャリストに書くと、コンパイル時に診断が出ます。

let bat: FruitBat = ...
await #expect(processExitsWith: .failure) { [bat] in
  // 🛑 Type of captured value 'bat' must conform to 'Sendable' and 'Codable'
  ...
}

キャプチャされた値の型は exit test マクロから見えている必要がある

子プロセスでキャプチャ値をデコードするには、その Swift の型が分かっている必要があります。マクロ展開は構文木のみを頼りに行われるため、型情報は構文から復元できる場合に限り暗黙に推論されます。

具体的には次の場合は型が自動的に分かります。

• self
• 呼び出し元の関数の引数
• リテラル（[x = 123] のような場合は IntegerLiteralType などとして扱われます）

それ以外の値（ローカル変数やグローバル変数など）はキャプチャリスト中で as を使って型を明示する必要があります。

await #expect(processExitsWith: .failure) { [fruit = fruit as Fruit] in
  ...
}

型を文脈から決められない場合は、Fix-It 付きで次のような診断が出ます。

await #expect(processExitsWith: .failure) { [fruit] in
  // 🛑 Type of captured value 'fruit' is ambiguous
  //     Fix-It: Add '= fruit as T'
  ...
}

なお、ローカル変数が self や関数引数と同名のとき（シャドーイングしている場合）は型推論を誤る可能性があり、その場合も同じ “Type of captured value … is ambiguous” 診断が出ます。

ツール連携

Xcode、Swift Package Manager、VS Code の Swift プラグインなど、Swift Testing 内蔵の exit test 実装に乗っているツールは、追加対応なしでキャプチャ値を扱えます。

独自に exit test の実行を担っているツール向けには、ExitTest 型に SPI として capturedValues プロパティが追加されました。

extension ExitTest {
  @_spi(ForToolsIntegrationOnly)
  public var capturedValues: [CapturedValue] { get set }
}

親プロセス側（Configuration.exitTestHandler に渡される ExitTest のインスタンス）では、このプロパティに実行時に収集されたキャプチャ値が入ります。子プロセス側（ExitTest.find(identifiedBy:) から返されるインスタンス）では、配列の各要素は最初は値を持たず、ホスト側ツールから値を埋めてもらう前提になっています。配列の順序は親と子で一致している必要があります。