Макрос Swift: непредвиденная ошибка при разборе узла DeclSyntax

Я пытаюсь освоить макросы Swift. Задача состоит в том, чтобы получить от

@RecordInterfacable
@Observable
class Model {
  let id: UUID
  var title: String

  init(
    id: UUID = UUID(),
    title: String
  ) {
    self.id = id
    self.title = title
  }
}

к

@Observable
class Model {
  let id: UUID
  var title: String

  init(
    id: UUID = UUID(),
    title: String
  ) {
    self.id = id
    self.title = title
  }

  convenience init(from record: ModelRecord) {
    self.init(id: record.id, title: record.title)
  }

  var record: ModelRecord {
    ModelRecord(id: self.id, title: self.title)
  }

  struct ModelRecord {
    let id: UUID
    var title: String
  }
}

Заглушка желаемого результата компилируется нормально, но при запуске макротеста я встречаюсь с

Parsing a `DeclSyntax` node from string interpolation produced the following parsing errors.
Set a breakpoint in `SyntaxParseable.logStringInterpolationParsingError()` to debug the failure.
2 │   self.init(id: record.id, title: record.title)
3 │ }
4 │ struct ModelRecord: Codable {
  │ ╰─ error: unexpected code in initializer
5 │   let id: UUID
6 │ var title: String

Я знаю, что макрос еще не полностью реализован, но convenience init() уже доставляет мне неприятности… Я удивлен, что это так, потому что то, что я возвращаю static expansion(of:providingMembersOf:conformingTo:in:), пытается реализовать тот же самый код, который я заглушил. выше:

static expansion(of:providingMembersOf:conformingTo:in:) {
  // …
  return [
      DeclSyntax(
              extendedGraphemeClusterLiteral: """
      convenience init(from record: \(symbolName)Record) {
        //this needs to be implemented:
        self.init(id: record.id, title: record.title)
      }
      // var record is still missing
      struct \(symbolName)Record: Codable {
        \(memberStrings)
      }
      """
      )
    ]
}

… что согласно выводу тестовой консоли выдает:

Actual expanded source:
@Observable
class Model {
  let id: UUID
  var title: String
  init(
    id: UUID = UUID(),
    title: String
  ) {
    self.id = id
    self.title = title
  }

    convenience init(from record: ModelRecord) {
      self.init(id: record.id, title: record.title)
    }
    struct ModelRecord: Codable {
      let id: UUID
    var title: String
    }
}

Полная реализация макроса выглядит следующим образом:

public struct RecordInterfacableMacro: MemberMacro {
  public static func expansion(
    of node: AttributeSyntax,
    providingMembersOf declaration: some DeclGroupSyntax,
    conformingTo protocols: [TypeSyntax],
    in context: some MacroExpansionContext
  ) throws -> [DeclSyntax] {
    guard let symbolName = declaration
      .as(ClassDeclSyntax.self)?
      .name
      .text
    else {
      fatalError("Could not extract symbol name.")
    }

    /// Extracts all the elements of the body of the given class.
    /// This includes all properties and functions.
    let membersDeclSyntax = declaration
      .as(ClassDeclSyntax.self)?
      .memberBlock
      .members
      .compactMap {
        $0
          .as(MemberBlockItemSyntax.self)?
          .decl
          .as(DeclSyntax.self)
      }

    /// Further extracts all variables
    let membersVariableDeclSyntax = membersDeclSyntax?
      .compactMap {
        $0
          .as(VariableDeclSyntax.self)
      }

    /// Create a string with the declaration of all members
    let memberStrings = membersVariableDeclSyntax?
      .map { member in
        guard let memberBindingSpecifier = member
          .bindingSpecifier
          .text
          .split(separator: ".")
          .last
        else { fatalError() }

        let identifierText = member
          .bindings
          .compactMap {
            $0
              .as(PatternBindingSyntax.self)?
              .pattern
              .as(IdentifierPatternSyntax.self)?
              .identifier
              .text
          }
          .first
        guard let identifierText else { fatalError() }

        let memberType = member
          .bindings
          .compactMap {
            $0
              .as(PatternBindingSyntax.self)?
              .typeAnnotation?
              .type
              .as(IdentifierTypeSyntax.self)?
              .name
              .text
          }
          .first
        guard let memberType else { fatalError() }

        return "\(memberBindingSpecifier) \(identifierText): \(memberType)"
      }
      .joined(separator: "\n")
    guard let memberStrings else{ fatalError() }

    return [
      DeclSyntax(
              extendedGraphemeClusterLiteral: """
      convenience init(from record: \(symbolName)Record) {
        //this needs to be implemented:
        self.init(id: record.id, title: record.title)
      }
      // var record is still missing
      struct \(symbolName)Record: Codable {
        \(memberStrings)
      }
      """
      )
    ]
  }
}

Вы пишете два объявления в одном строковом литерале. Разделите их. Вы должны возвращать один DeclSyntax для каждого создаваемого вами объявления.

Sweeper 30.04.2024 12:24

Да, я только что узнал об этом – буквально в тот момент, когда вы написали комментарий. Я держал это неправильно (ТМ). Спасибо!

appfrosch 30.04.2024 12:26
Стоит ли изучать PHP в 2026-2027 годах?
Стоит ли изучать PHP в 2026-2027 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
0
2
85
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

Оказывается, я неправильно понял — каждый DeclSyntax нужно объявлять отдельно:

    return [
      DeclSyntax(
        extendedGraphemeClusterLiteral: """
      convenience init(from record: \(symbolName)) {
        self.init(id: record.id, title: record.title)
      }
      """
      ),
      DeclSyntax(
        stringLiteral: """
      struct \(symbolName)Record: Codable {
        \(memberStrings)
      }
      """
      )
    ]

Теперь я могу перейти к завершению макроса 😀

Моему будущему и всем, кому это может быть интересно: github.com/appfrosch/RecordInterfacable.git

appfrosch 30.04.2024 14:19

Другие вопросы по теме