Dołączane makra składowych do ograniczania kodu szablonowego

Omówienie makr członkowskich

@AddID
struct User { var name: String }
// After expansion:
// struct User { var name: String; var id = UUID() }

Zgodność z MemberMacro

import SwiftSyntaxMacros

struct AddIDMacro: MemberMacro {
  static func expansion(
    of node: AttributeSyntax,
    providingMembersOf decl: some DeclGroupSyntax,
    in context: some MacroExpansionContext
  ) throws -> [DeclSyntax] {
    return ["var id = UUID()"]
  }
}

Generowanie init

// Macro expansion returns:
[
  "init(name: String) { self.name = name; self.id = UUID() }"
]

Wewnętrzne działanie makra @Observable

@Observable
class Counter {
  var count = 0
  // macro adds: _$observationRegistrar, access(), withMutation()
}

Odczytywanie ozdabianego typu

if let structDecl = decl.as(StructDeclSyntax.self) {
  let members = structDecl.memberBlock.members
  // iterate to inspect stored properties
}

Wydobywanie właściwości przechowywanych

let storedProps = members.compactMap { member -> VariableDeclSyntax? in
  guard let varDecl = member.decl.as(VariableDeclSyntax.self),
        varDecl.bindingSpecifier.tokenKind == .keyword(.var)
  else { return nil }
  return varDecl
}

Generowanie Equatable na podstawie elementów

// Generated code:
static func == (lhs: User, rhs: User) -> Bool {
  lhs.name == rhs.name && lhs.id == rhs.id
}

Łączenie makr członkowskich i zgodności

struct AutoEquatableMacro: MemberMacro, ConformanceMacro { ... }

Argumenty atrybutu

@Clamped(range: 0...100)
var score: Int = 50
// macro reads range from attribute node and generates clamping accessors

Zgłaszanie błędów makra

guard decl.is(StructDeclSyntax.self) else {
  throw MacroError.message("@AddID can only be applied to structs")
}

Wydajność kompilacji

// All generated members are emitted as source code
// and compiled normally — no reflection at runtime

Szybkie sprawdzenie

Podsumowanie lekcji