Роли макросов: автономные и присоединённые

Что такое макросы Swift

// Macros are invoked with # (freestanding) or @ (attached)
#warning("Fix this later")
@Observable class Counter { var count = 0 }

Автономные макросы-выражения

// #stringify expands to a tuple of the value and its source string
let (val, src) = #stringify(1 + 2)
print(val, src) // 3, "1 + 2"

Автономные макросы-объявления

// #makePair emits two variables
#makePair("point", x: 1, y: 2)
// expands to: let pointX = 1; let pointY = 2

Присоединённые макросы членов

@AddID
struct User { var name: String }
// Expands to: var id = UUID()

Присоединённые макросы аксессоров

struct Point {
  @Clamped(0...100)
  var x: Int = 0
  // accessor macro generates get/set with clamping
}

Присоединённые макросы соседних объявлений

class Service {
  @AddAsync
  func fetchSync(completion: @escaping (Data)->Void) { ... }
  // peer macro adds: func fetch() async -> Data
}

Присоединённые макросы соответствия протоколам

@EquatableByID
struct Product { var id: Int; var name: String }
// adds: extension Product: Equatable { ... }

Присоединённые макросы расширений

@CustomCodable
struct Config { var host: String; var port: Int }
// adds: extension Config: Codable { custom encode/decode }

Раскрытие макросов происходит во время компиляции

// Right-click macro usage in Xcode → "Expand Macro"
// to see the generated source code

Объявление макроса

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

Сводка ролей макросов

// Freestanding
let result = #stringify(40 + 2)
// Attached
@Observable class Model { var count = 0 }

Быстрая проверка

Итоги урока