Swift宏展开生成的常量不在作用域内，是Bug还是用法错误？

我开发了一个Swift宏，测试代码如下：

assertMacroExpansion(
    #"""
    struct MyStruct { var count: Int }
    let obj = MyStruct(count: 42)
    #destr(obj, \.count)
    """#,
    expandedSource:
    #"""
    struct MyStruct { var count: Int }
    let obj = MyStruct(count: 42)
    let count = obj[keyPath: \.count]
    """#,
    macros: testMacros)

测试已通过，且在main.swift中展开宏可得到预期结果，但编译器报错提示该常量标识符不在作用域内。我找到苹果Swift仓库的一个相关Issue，请问这是Bug还是我用法有误？

结论 #

这大概率是Swift宏的已知Bug，和你提到的那个Issue一致。

原因分析 #

目前Swift宏在处理作用域注入时存在缺陷：虽然宏展开后的代码逻辑上会生成count常量，但编译器的语义分析阶段没有正确识别宏注入的标识符，导致误报“不在作用域内”。你的测试用例能通过是因为assertMacroExpansion仅验证宏的展开结果，没有模拟完整的编译器语义检查流程。

临时解决方案 #

• 手动展开宏代码替代宏调用（你已验证此方法有效）；
• 将宏调用放在显式代码块中，部分场景下可绕过编译器的作用域检查问题：

  do {
      #destr(obj, \.count)
      // 在此处使用count
  }
  

• 关注该Issue的更新，等待Swift官方修复。

用法验证 #

从宏展开结果来看，你的宏逻辑完全正确：通过KeyPath提取对象属性并生成同名常量，测试用例也验证了展开结果符合预期，你的用法没有问题。

内容的提问来源于stack exchange，提问作者funct7