Swiftマクロの書き方

Swiftマクロの書き方

Swiftマクロを使用して、コードをより表現力豊かで読みやすくする方法を発見しましょう。マクロがどのように繰り返しのコードの記述を避けるのに役立つかを探求し、アプリ内での使用方法を学びましょう。マクロの構築要素を共有し、テスト方法を示し、マクロからのコンパイルエラーを生成する方法を説明します。

関連する章
- 1:15 - Overview
- 5:10 - Create a macro using Xcode's macro template
- 10:50 - Macro roles
- 11:40 - Write a SlopeSubset macro to define an enum subset
- 20:17 - Inspect the syntax tree structure in the debugger
- 24:35 - Add a macro to an Xcode project
- 27:05 - Emit error messages from a macro
- 30:12 - Generalize SlopeSubset to a generic EnumSubset macro
リソース
- - HDビデオ
  - SDビデオ
関連ビデオ

WWDC23
ダウンロード

♪♪
ボイラープレートコードの書き込み好き？誰も好きじゃない！これを解決するためにSwift 5.9で Swiftマクロが導入されました Swiftマクロはコンパイル時にコードを何度も生成し、アプリのコードが表現豊かで読みやすくします私はAlex Hoppenといいます今日はSwfitマクロの書き方を紹介しますマクロの仕組みの説明から始めます
その後 Xcodeに移行しマクロの作成方法をご覧ください
Xcodeで最初のマクロを見た後コードベースを簡素化する役割を探求しそして現在取り組んでいるアプリのコード簡素化術を教えます
最後にマクロが特定の文脈で適用できない際エラーや警告をコンパイラに伝える方法を紹介します
はじめましょうこれは初年度の学生の算術練習用の計算リストです左に結果を整数で右に計算を文字列リテラルでタプル形式で示していますこれは繰り返しで冗長であり結果が計算と一致することを保証できないためエラーのリスクもあります Swift 5.9のStringify Macroで簡素化できます
このマクロは Xcodeのテンプレートにも含まれているものです stringify Macroは単一のパラメータとして受取りますコンパイル時にマクロが前に見た様なタプルに展開し計算と結果が一致することを保証しますどう機能するのかマクロ自体の定義を見てみましょう
関数に似ていますよね stringifyMacroは整数を入力パラメータとして受信し結果 (整数) と計算 (文字列) を含むタプルを出力しますマクロ式の引数がマクロのパラメータと一致せずまたは型チェックに合致しない場合コンパイラはマクロ展開せずエラーを出力します
例えばこのマクロに文字列リテラルを渡すと String は Int の引数の型に変換できませんとエラーを出力しますＣのマクロとは異なりプリプロセッサの段階で評価されますただしこのマクロをジェネリックにする等 Swiftの関数でおなじみの機能を使用することができます
このマクロは freestanding expression このマクロは式の使用箇所で利用でき #stringify のようにハッシュ記号で示されます AttachedMacroは宣言を拡張できるマクロですあとで説明します引数がマクロのパラメータと一致していることを確認後コンパイラはマクロを展開しますマクロ式を見てみましょう
マクロの展開を行うために各マクロはコンパイラプラグインで実装を定義しますコンパイラはマクロ式全体のソースコードをそのプラグインに送信しますまずマクロプラグインはマクロのソースコードの SwiftSyntaxツリーを解析しますこのツリーはマクロのソースコードを正確に表現したものでマクロ処理の基盤となります
例えば stringifyMacroはツリー内でマクロ展開式ノードとして表されますこの式はマクロ名が 'stringify' です引数は２と３を適用した Infix演算子のプラスです SwiftMacroの大きな利点はマクロの実装自体が Swiftで書かれたプログラムであり構文ツリーに対して自由な変換を行えることです
この場合以前に見たタプルを生成します生成された構文ツリーを再びソースコードをシリアル化しコンパイラに送信してマクロ式を展開されたコードで置き換えます
素晴らしいですね！しかし実際のコードの見え方を理解したいと思います Xcode の新しいマクロテンプレートには先程の stringifyMacroが定義されていますテンプレートを辿ってマクロの定義展開の仕組及びマクロのテスト方法を探りましょうを選択しテンプレートを選択します
マクロの名前をWWDC としましょう
テンプレートで得られることとは？以前に見たものと似たような #stringifyマクロの呼出も含まれています "a + b" をパラメータとして受け取り結果とそれを生成したコードを返しますマクロが展開される結果を知りたい場合は右クリックをしてを選択
まさに以前に見たものと同じですでもマクロの定義は？それを確認しましょう
前回のstringifyMacroをやや汎用化したバージョンがありますジェネリックな型Ｔを受け取れるようになったのはこのマクロです
マクロは外部マクロとして宣言されています
これによりコンパイラは展開を行う為に WWDCマクロモジュール内の StringifyMacro型を参照する必要があることを示しています
その型はどう定義されるのか
詳しく見てみましょう StringifyMacro型は ExpressionMacroプロトコルに準拠しています
このプロトコルには１つの要件があります expansion 関数です expansion 関数はマクロ式の構文Treeとコンパイラとの通信に使用できるコンテキストを受け取ります
expansion 関数は書換えた構文を返します
実装では何を行うのか説明します実装ではマクロ式の単一の引数を取得します実装でstringifyが単一のパラメータを受け取ると宣言されておりマクロ展開が適用される前に引数が型チェックを通過する必要があるためこの引数の存在を把握しています文字列補間を使用してタプルの構文Treeを作成します最初の要素は引数そのものであり２番目の要素は引数のソースコードを含む文字列リテラルです
ここで関数は文字列を返していませんそれは式の構文を返していますマクロはこのリテラルを自動的に Swift パーサーによって構文Treeに変換しますそして２番目の引数にリテラル補間スタイルを使用しているためリテラルの内容が適切にエスケープする事を保証しますバグは嫌ですよねしかし更に嫌なのはマクロを展開することを示的に要求しない限り見えないコードのバグですマクロは適切にテストされることが重要ですマクロは副作用がなく構文Treeのソースコードは比較しやすいためユニットテストを書くのが理想的ですテンプレートは既に１つのユニットテストを含みます
テストケースでは assertMacroExpansionの関数を使用して stringifyMacroの展開を確認します
先程見た #stringify(a + b) の式を入力として受け取りますそして Macroが展開された後に 'a + b' という要素と文字列リテラル'a + b' を含むタプルを生成することをアサートします
テストケースにマクロを展開する方法を伝えるために 'testMacros' パラメータが渡され #stringify は StringifyMacro型を使用して展開されることが指定されますアプリのテストを実行してテストに合格できるか確認しましょう
テストに合格しました最初のマクロを作成できました
これまでに基本的な構成要素を見てきましたマクロ宣言はマクロのシグネチャを定義します加えてマクロの役割を宣言しますコンパイラプラグインはマクロの展開を実行しますそれはSwiftで書かれたプログラムであり SwiftSyntaxツリー上で動作します
またマクロは構文Treeの決定論的な変換であるためテストが非常に容易で構文Treeのソースコードは比較しやすいためテストが行いやすいです他のマクロの使用例とは？ freestanding のマクロで見てきましたマクロはハッシュ記号で始まることでマクロ式全体を書き換えることができます declaration roleは式ではなく宣言を展開する freestanding の役割もある他の種類は attachedMacrosですこれらは属性(attribute) 同様に"@"で表記されマクロが添付された宣言を拡張することができます例えば attached member Macrosは添付された型に新しいメンバーを追加できます他の役割について詳しく学ぶには "Expand on Swift macros" をご覧ください。 attached member に焦点を当ててみましょう私が取り組むアプリのコードベースを改善するのに役立ちました私はスキーのインストラクターでもあり最近は生徒を連れて行くツアーを計画する為のアプリを開発しています
避けるべき事は初心者を難しすぎるコースに連れて行くことです Swift型システムを使用し強制したいと思います好きなスキーリゾートの斜面を Slope列挙型に加え初心者向けの斜面のみを含む EasySlope型を追加しています初心者向け斜面に変換するイニシャライザと簡単な斜面をEasySlopeに変換するイニシャライザと通常の斜面に戻す計算プロパティを持っています
安全性を確保しながらも繰り返し作業が多いですもし簡単な斜面を追加したい場合
それをSlope EasySlope イニシャライザそして計算プロパティにそれらを追加する必要がありますマクロを使用して改善する方法を見てみましょう自動的にイニシャライザと計算プロパティを生成することを目指しますその方法とはイニシャライザと計算プロパティは EasySlope型のメンバーなので attached member macroを宣言する必要があります
次にマクロ実装を含むコンパイラプラグイン作成
テスト駆動開発の手法に基づいてマクロの動作を正しく確認するために開発しますそれをテストする為のテストケースを書くまで実装を空のままにしておきます
テストケースでマクロの振る舞いを定義した後そのテストケースに一致するように実装を書きます
そして新しいマクロをアプリに統合しますうまくいけばイニシャライザを削除してマクロが代わりに生成できるようになります
前に作成したテンプレートを使用します実際に #stringifyマクロはアプリに必要ないため既に削除しています新しい attached member　macro を宣言するために @attached(member) 属性を使用します
それを SlopeSubset と呼びます
導入するメンバの名前も定義します
イニシャライザの生成方法を紹介します生成する計算プロパティも非常に似ていますすべてのケースをスイッチステートメントで処理するだけですこの宣言によりマクロが定義されましたが実際に実行される展開はまだ実装されていません
そのためマクロは WWDCMacrosモジュールの SlopeSubsetMacro型を参照します実際のマクロの実装に進む前に SlopeSubsetMacro型を作成しましょう本当に興味深い部分です
SlopeSubsetを attached member macroと宣言した為対応する実装は MemberMacroプロトコル
このプロトコルには１つの要件があります 'expansion' 関数です ExpressionMacro と似ています
'expansion' 関数はマクロを宣言に適用する為に使用する属性とマクロが適用される宣言を受け取りますこれはEasySlopeの列挙型の宣言になります
その後マクロは宣言に追加する全ての新しいメンバのリストを返します
実装に取り掛かる前にテストケースを作成することに同意しましたのでそのように進めましょう
現時点では新メンバーを追加する必要がないことを示すために空の配列を返します
そして SlopeSubsetを公開します providingMacros プロパティに SlopeSubsetを追加します
テストする前に機能が正常に動作するか確認します Xcodeでマクロを適用して展開されたコードを確認できますがテストケースを作成しておくと良いですそうすればマクロに変更を加える際に何度も実行してマクロの展開結果を確認できます
テンプレートのテストケース同様に 'assertMacroExpansion'で動作を検証します
テストケースの入力として EasySlope型にマクロを適用した場合に生成内容をテストする為それを入力として使用します
マクロはまだ何もしていないので属性を削除し新メンバーを追加しないことを期待しますそのため期待される展開コードは入力と同じであり @SlopeSubset を除いたものです
最後にテストケースに SlopeSubset を展開する際に SlopeSubsetMacro の実装を使用する必要があることを伝える必要がありますそれにはマクロ名をその実装タイプにマッピングする必要があります testMacros 辞書内に追加しアサーション関数に渡します
では今までに書いたコードが正しく機能するかテストを実行しましょう
機能しました良かったですですが我々が望むのはマクロがイニシャライザを生成するか確認する為で単に属性を削除するだけではありませんではプラグインが生成することを期待するコードをテストケースに手動でコピーしましょう
テストを再実行すると
失敗しますマクロがイニシャライザをまだ生成していないからです
修正してみましょう
イニシャライザはEasySlopes の列挙型の要素を変換しますまずは enum の要素を取得するために宣言からそれらを取得する必要があります enum要素はenum宣言の内部でのみ宣言できる為まずは declaration を enum宣言にキャストします
もしマクロがenumではない型に付与された場合エラーを出力する必要があります後で実装する事を忘れない様 TODOに追加し現時点では空の配列を返します次に列挙型が宣言する全ての要素を取得する必要がある構文構造を調査するために SwiftSyntaxツリー内の列挙型を検査します
マクロの実装は通常の Swiftプログラムと同じで Xcodeデバッグツールを使用してプログラムをデバッグ例えば展開関数内にブレークポイントを設定しテストケースを実行してデバッグできます
デバッガは現在マクロの実装の中で一時停止しており 'enumDecl' は EasySlopesの列挙型です 'po enumDecl' と入力して表示する事ができます
出力を調べましょう
構文Treeの内側のノードは enumの要素を表しています 'beginnersParadise' と 'practiceRun' それらを取得するには構文Treeで示された構造に従う必要がありますその構造を徐々に確認して進行しながらアクセスコードを記述しましょう
列挙型宣言に memberBlock という子要素があります memberBlock にはブレースと実際のメンバが含まれていますメンバにアクセスするには 'enumDecl.memberBlock. members' と始めます
こちらのメンバには実際の宣言とオプションのセミコロンが含まれています私たちは特に列挙ケースの宣言に興味があります enumケースであるメンバ宣言のリストを取得する為に compact map を使用します各ケース宣言は複数の要素を宣言できますこれは別々のケースキーワードの後に各スロープを新しい行で宣言する代わりに 'case beginnersParadise practiceRun' のように同じ行に書くこともできるためです
全ての要素を取得するには 'flatMap' を使用できます
そして全ての要素を取得したので実際に EasySlope に追加するイニシャライザを構築することができます
イニシャライザの宣言には１つの要素がありますそれはスイッチ式です
スイッチ式には各要素に対応するケースと nil を返すデフォルトケースがありますそのため構文ノードを作成する必要があります
構文ノードを作成するための良い方法は前述のように構文Treeを出力するか SwiftSyntaxのドキュメントを読むことです
まず InitializerDeclSyntax を構築します
この型はResultビルダーを使用して本文を構築し 'init' キーワードと全てのパラメータを指定する事で構築できますこれによりResultビルダー内で forループを使用して全て要素を繰り返し処理できます
テストケースから init のヘッダをコピーしました
ボディ内部にはスイッチ式が必要です
この型にはヘッダーと Resultビルダーを受け取るイニシャライザもありますもう一度やってみましょう
これで以前収集した全ての要素を反復処理することができます
各要素ごとに新しいケースアイテムを作成し #stringify で見たのと同様の文字列補間を使用して構築したいですね
また nil を返すデフォルトのケースも追加したいです
そして最後にイニシャライザを返します
イニシャライザが生成されているか確認しましょう
成功ですマクロが正常に動作する事が分かったのでアプリで使用を開始できます
マクロパッケージをXcode プロジェクトに追加するには右クリックでこれを選択 "Add Package Dependencies" これで作成したローカルパッケージを選択できます
マクロを使用できる様にする為にアプリとの依存関係として WWDCを追加します
パッケージから WWDCモジュールをインポートし EasySlope型にSlopeSubset マクロを適用できます
…
もしビルドすると... コンパイラは手動で書かれたイニシャライザが無効な再宣言であると警告します手動のイニシャライザの再宣言が問題となりますなので削除しましょう
コード削除するとスッキリするよねマクロが実際に生成したコードを確認する為には SlopeSubset を右クリックし Expand Macro を選択する
もしマクロの動作を忘れたら Optionキーを押しながらマクロをクリックすれば解決
次は計算プロパティも生成することですがそれは後で行う予定ですマクロを使用することで重複のコードを書く必要なく EasySlopesの型の安全性を得ることができましたこれはどうやったのでしょうか Swiftのマクロパッケージテンプレートから始めました構文Treeの構造を調査するためにマクロの実行を停止しデバッガ内で構文ノードを出力しましたこれによりアクセスする必要のあるプロパティを確認できました
テストケースを使ったマクロ開発は簡単でしたアプリに追加した後すぐに機能しましたマクロがサポートしていない状況で使用されたら？予期しない展開やエラーの発生を避けるためマクロがサポートしていない状況で使用される場合の対処が必要ですマクロがサポートしていない方法で使用する場合エラーメッセージを表示し問題を理解し修正できるようにしましょう
コードベースに残していた TODOを修正しましょう SlopeSubset が enum ではない型に適用されたらマクロは enum にのみ適用可能であるというエラーを出力する必要があります以前と同様にテストケースを追加しましょう
今回はSlopeSubsetマクロを構造体に適用しています
構造体内には列挙型の要素がないためマクロがイニシャライザ生成しない事を予期しています代わりに SlopeSubset が列挙型に適用できる事を示す診断(エラー)メッセージが生成されるべきですテスト実行してもただ失敗しますエラーメッセージが出力されていないからですコンパイラプラグインに移動して出力しましょう
マクロのエラーは SwiftのErrorプロトコルに準拠する任意の型で表現することができますエラーメッセージ用の単一のケースを持つ enumを使用します
エラーを expansion 関数から投げると呼び出し元の属性でエラーが表示されます
context パラメータには addDiagnostic がありそれを使うと異なる場所でエラーメッセージ表示や警告を生成したり Xcode で Fix-Its を表示することができますしかし単純なエラーメッセージを属性で表示するだけで効率的ですさて修正によって成功するでしょうか
成功しました SlopeSubset を適用すると Xcodeでどう表示されるのかテストケースをファイルにコピーしてみましょう
Xcode はカスタムエラーメッセージを他のコンパイルエラーと同じ行内に表示します私のマクロを利用する人が何を間違えるか分かります
それに良いエラーハンドリングを持つことでこのマクロはスロープだけでなく他のデベロッパが列挙型のサブセットを指定する際に役立つかもしれませんねそれでは汎用化しましょう
これまでハードコードされていたスーパーセットの列挙型 (Slope) を指定するためにマクロ宣言にジェネリックパラメータを追加します
そしてマクロはスロープに特化していないため EnumSubset という名前に変更して下さい右クリックで変更できます SlopeSubset から名前変更
文字列リテラルとコメント内のリネームするにはコマンドをクリックします
ハードコードされた Slopesの代わりにジェネリックパラメータを使用してマクロの実装を調整する必要がありますデバッガーで属性を出力しそのレイアウトを調べると 'enumDecl' と同様に属性の名前の genericArgumentClause の最初の引数 'argumentType' にアクセスすることでジェネリックパラメータを取得できることが分かりますジェネリックパラメータを取得したのでこれまでハードコードした Slope の代わりに 'supersetType' を使用する事ができます
更にいくつかの変更が必要でイニシャライザのパラメータ名を変更し型名をジェネリックパラメータに合わせて変更しそれに伴いドキュメントも更新する必要があります後でやりますテストが正常に動作していることを確認しましょう
EnumSubset をジェネリック化したため EasySlope が Slope のサブセットであることを明示的に指定する必要があります
テストを見てみましょう
大丈夫そうです Swiftパッケージとして公開する事を検討します本日は多くの内容をカバーしました振り返りをしましょうマクロを作成時はマクロパッケージの stringify マクロが含まれたテンプレートを使用しますマクロを開発する際マクロが生成するコードが正常か確認するためにテストケースを作成する事を強くお勧めしますその際に expansion 関数でブレークポイントを設定しテストを実行して構文Treeをデバッガで表示する事で構文Treeのレイアウトを調査できます最後にマクロが特定の状況で適用できなくてもエラーメッセージを出力してマクロの使いやすさを維持できますご視聴ありがとうございます ♪♪

5:55 - Invocation of the stringify macro

import WWDC

let a = 17
let b = 25

let (result, code) = #stringify(a + b)

print("The value \(result) was produced by the code \"\(code)\"")

6:31 - Declaration of the stringify macro

@freestanding(expression)
public macro stringify<T>(_ value: T) -> (T, String) = #externalMacro(module: "WWDCMacros", type: "StringifyMacro")

7:10 - Implementation of the stringify macro

public struct StringifyMacro: ExpressionMacro {
    public static func expansion(
        of node: some FreestandingMacroExpansionSyntax,
        in context: some MacroExpansionContext
    ) -> ExprSyntax {
        guard let argument = node.argumentList.first?.expression else {
            fatalError("compiler bug: the macro does not have any arguments")
        }

        return "(\(argument), \(literal: argument.description))"
    }
}

9:12 - Tests for the stringify Macro

final class WWDCTests: XCTestCase {
    func testMacro() {
        assertMacroExpansion(
            """
            #stringify(a + b)
            """,
            expandedSource: """
            (a + b, "a + b")
            """,
            macros: testMacros
        )
    }
}

let testMacros: [String: Macro.Type] = [
    "stringify": StringifyMacro.self
]

12:05 - Slope and EasySlope

/// Slopes in my favorite ski resort.
enum Slope {
    case beginnersParadise
    case practiceRun
    case livingRoom
    case olympicRun
    case blackBeauty
}

/// Slopes suitable for beginners. Subset of `Slopes`.
enum EasySlope {
    case beginnersParadise
    case practiceRun

    init?(_ slope: Slope) {
        switch slope {
        case .beginnersParadise: self = .beginnersParadise
        case .practiceRun: self = .practiceRun
        default: return nil
        }
    }

    var slope: Slope {
        switch self {
        case .beginnersParadise: return .beginnersParadise
        case .practiceRun: return .practiceRun
        }
    }
}

14:16 - Declare SlopeSubset

/// Defines a subset of the `Slope` enum
///
/// Generates two members:
///  - An initializer that converts a `Slope` to this type if the slope is
///    declared in this subset, otherwise returns `nil`
///  - A computed property `slope` to convert this type to a `Slope`
///
/// - Important: All enum cases declared in this macro must also exist in the
///              `Slope` enum.
@attached(member, names: named(init))
public macro SlopeSubset() = #externalMacro(module: "WWDCMacros", type: "SlopeSubsetMacro")

15:24 - Write empty implementation for SlopeSubset

/// Implementation of the `SlopeSubset` macro.
public struct SlopeSubsetMacro: MemberMacro {
    public static func expansion(
        of attribute: AttributeSyntax,
        providingMembersOf declaration: some DeclGroupSyntax,
        in context: some MacroExpansionContext
    ) throws -> [DeclSyntax] {
        return []
    }
}

16:23 - Register SlopeSubsetMacro in the compiler plugin

@main
struct WWDCPlugin: CompilerPlugin {
    let providingMacros: [Macro.Type] = [
        SlopeSubsetMacro.self
    ]
}

18:41 - Test SlopeSubset

let testMacros: [String: Macro.Type] = [
    "SlopeSubset" : SlopeSubsetMacro.self,
]

final class WWDCTests: XCTestCase {
    func testSlopeSubset() {
        assertMacroExpansion(
            """
            @SlopeSubset
            enum EasySlope {
                case beginnersParadise
                case practiceRun
            }
            """, 
            expandedSource: """

            enum EasySlope {
                case beginnersParadise
                case practiceRun
                init?(_ slope: Slope) {
                    switch slope {
                    case .beginnersParadise:
                        self = .beginnersParadise
                    case .practiceRun:
                        self = .practiceRun
                    default:
                        return nil
                    }
                }
            }
            """, 
            macros: testMacros
        )
    }
}

19:25 - Cast declaration to an enum declaration

guard let enumDecl = declaration.as(EnumDeclSyntax.self) else {
    // TODO: Emit an error here
    return []
}

21:14 - Extract enum members
```
let members = enumDecl.memberBlock.members
```

21:32 - Load enum cases

let caseDecls = members.compactMap { $0.decl.as(EnumCaseDeclSyntax.self) }

21:58 - Retrieve enum elements

let elements = caseDecls.flatMap { $0.elements }

24:11 - Generate initializer

let initializer = try InitializerDeclSyntax("init?(_ slope: Slope)") {
    try SwitchExprSyntax("switch slope") {
        for element in elements {
            SwitchCaseSyntax(
                """
                case .\(element.identifier):
                    self = .\(element.identifier)
                """
            )
        }
        SwitchCaseSyntax("default: return nil")
    }
}

24:19 - Return generated initializer
```
return [DeclSyntax(initializer)]
```

25:51 - Apply SlopeSubset to EasySlope

/// Slopes suitable for beginners. Subset of `Slopes`.
@SlopeSubset
enum EasySlope {
    case beginnersParadise
    case practiceRun

    var slope: Slope {
        switch self {
        case .beginnersParadise: return .beginnersParadise
        case .practiceRun: return .practiceRun
        }
    }
}

28:00 - Test that we generate an error when applying SlopeSubset to a struct

func testSlopeSubsetOnStruct() throws {
    assertMacroExpansion(
        """
        @SlopeSubset
        struct Skier {
        }
        """,
        expandedSource: """

        struct Skier {
        }
        """,
        diagnostics: [
            DiagnosticSpec(message: "@SlopeSubset can only be applied to an enum", line: 1, column: 1)
        ],
        macros: testMacros
    )
}

28:48 - Define error to emit when SlopeSubset is applied to a non-enum type

enum SlopeSubsetError: CustomStringConvertible, Error {
    case onlyApplicableToEnum
    
    var description: String {
        switch self {
        case .onlyApplicableToEnum: return "@SlopeSubset can only be applied to an enum"
        }
    }
}

29:09 - Throw error if SlopeSubset is applied to a non-enum type
```
throw SlopeSubsetError.onlyApplicableToEnum
```

31:03 - Generalize SlopeSubset declaration to EnumSubset

@attached(member, names: named(init))
public macro EnumSubset<Superset>() = #externalMacro(module: "WWDCMacros", type: "SlopeSubsetMacro")

31:33 - Retrieve the generic parameter of EnumSubset

guard let supersetType = attribute
    .attributeName.as(SimpleTypeIdentifierSyntax.self)?
    .genericArgumentClause?
    .arguments.first?
    .argumentType else {
    // TODO: Handle error
    return []
}

特定のトピックをお探しの場合は、上にトピックを入力すると、関連するトピックにすばやく移動できます。

クエリの送信中にエラーが発生しました。インターネット接続を確認して、もう一度お試しください。

関連する章

リソース

関連ビデオ

WWDC23