Member Macro Conformances

@attached(member, ...) に、extension ロールと同じように conformances: を指定できるようにし、マクロ実装の expansion には まだ適合していないプロトコルの一覧 を conformingTo: で渡します。これにより、member マクロも「どの適合のためにメンバーを生やすべきか」を判断できるようになります。

conformances: に指定できるのは、プロトコル名・プロトコル合成（A & B）・それらを指す typealias で、SE-0402 の extension ロールと同じ仕様です。member ロール自体は適合そのものを宣言できません（適合を宣言できるのは引き続き extension ロールだけです）。member ロールの役割はあくまで、stored property や required init のように「エクステンションに書けないメンバー」を必要に応じて供給することです。

Codable マクロの例

典型的な使い方は、member ロールと extension ロールを同じマクロに重ねる構成です。Codable の自動実装を提供するマクロは次のように宣言できます。

@attached(member, conformances: Decodable, Encodable, names: named(init(from:), encode(to:)))
@attached(extension, conformances: Decodable, Encodable, names: named(init(from:), encode(to:)))
macro Codable() = #externalMacro(module: "MyMacros", type: "CodableMacro")

付属先の型に応じて、マクロ実装は次のように振る舞いを切り替えられます。

• struct / enum / アクター / final なクラスでは、init(from:) と encode(to:) を エクステンション側 に生やします。struct ではこれにより memberwise initializer が残ります。
• 非 final なクラスでは、サブクラスからオーバーライドできるよう、init(from:) と encode(to:) を プライマリな型定義側 に（member ロールから）生やします。
• スーパークラスから Encodable / Decodable を継承しているクラスでは、init(from:) / encode(to:) の中でスーパークラスの実装を呼び出し、クラス階層全体をまとめて decode/encode します。この判断は、conformingTo: に渡ってくるのが [Decodable] だけ（Encodable は既に適合済みのため外される）といった形で拾えます。

マクロ実装側のシグネチャ

MemberMacro プロトコルの expansion に conformingTo: 引数が追加されます。

protocol MemberMacro: AttachedMacro {
    static func expansion(
        of node: AttributeSyntax,
        providingMembersOf declaration: some DeclGroupSyntax,
        conformingTo protocols: [TypeSyntax],
        in context: some MacroExpansionContext
    ) throws -> [DeclSyntax]
}

conformingTo: に渡される配列は、@attached(member, conformances: ...) に挙げたプロトコルのうち、付属先の型がまだ明示的に適合していないもの だけを並べたものです。スーパークラスや implied conformance 経由で既に適合しているプロトコルはここから取り除かれるため、extension ロールと同じ要領で「どの適合のためにメンバーを生やすか」を絞り込めます。

なお、member ロールはあくまでメンバーを供給するロールなので、返した [DeclSyntax] に適合を書き加えることはできません。適合そのものは extension ロール側で宣言する、という役割分担はそのままです。