编写 Swift 宏

了解如何使用 Swift 宏让你的代码库更具表现力和易读性。和我们一起写代码，探索宏如何帮助你避免编写重复的代码，并了解如何在你的 App 中使用它们。我们将分享宏的构建模块，向你展示如何对其进行测试，并带你了解如何从宏中发出编译错误。

章节

1:15 - Overview
5:10 - Create a macro using Xcode's macro template
10:50 - Macro roles
11:40 - Write a SlopeSubset macro to define an enum subset
20:17 - Inspect the syntax tree structure in the debugger
24:35 - Add a macro to an Xcode project
27:05 - Emit error messages from a macro
30:12 - Generalize SlopeSubset to a generic EnumSubset macro

资源

- 高清视频
- 标清视频

相关视频

WWDC23

下载

♪ ♪

Alex Hoppen：谁喜欢写重复的样板代码呢？没有人喜欢！所以我们在 Swift 5.9 中引入了 Swift 宏 Swift 宏可以让开发者在编译时生成重复代码让你的 App 的代码库更具表现力更容易阅读我叫 Alex Hoppen 今天我要向你展示如何编写自己的宏首先我会简要介绍宏的工作原理

之后我们将直接进入 Xcode 看看如何创建你的第一个宏

在 Xcode 中完成了我们的第一个宏之后我们将了解更多可使用的宏角色并且我将向你展示如何使用宏来简化我当前正在开发的 App 的代码库

最后我将介绍当宏在特定背景中不适用时它们将如何向编译器传达错误或警告信息

让我们开始吧在这里我们有一个一年级学生可以用来练习算数的的计算列表我们将结果作为整数显示在元组的左侧并将计算作为字符串字面量显示在元组的右侧但是这种方式重复、冗余甚至容易出错因为没有人能够保证结果与计算实际匹配好消息是在 Swift 5.9 中我们可以定义一个 stringify 宏来简化这个过程

这个宏恰好也是包含在 Xcode 模板中的宏 stringify 宏只接受计算这一个参数在编译时它会展开成我们之前看到的元组以确保计算和结果匹配那么这是怎么做到的呢？让我们来单独看一下这个宏的定义

它看起来很像一个函数 stringify 宏接受一个整数作为输入参数并输出一个包含结果、整数和计算结果的元组构成一个字符串如果宏表达式的实际参数与宏的参数不匹配或者本身没有进行类型检查则编译器将发出错误而不应用宏展开

例如如果我将一个字符串字面量传递给这个宏编译器会警告“String”不能转换为预期的参数类型“Int” 这与 C 语言的宏不同后者会在类型检查之前的预处理器阶段进行评估而这个宏允许我们使用开发者熟悉和喜爱的 Swift 函数的所有功能比如能够让宏变为泛型

还要注意的是这个宏是使用独立的表达式宏角色声明的这意味着开发者可以在任何可以使用表达式的地方使用宏并且它将以井号字符标示就像我们看到的 #stringify 另外一种宏是可以增强声明的附加宏我稍后会详细介绍这种宏在检查所有实际参数与宏的参数匹配之后编译器就会执行宏展开为了了解其工作原理让我们重点关注一个单独的宏表达式

为了执行展开每个宏都会在编译器插件中定义其实现编译器会将整个宏表达式的源代码发送到该插件宏插件要做的第一件事就是将宏的源代码解析为 SwiftSyntax 树这个树是宏的源代码精确的结构表示它将成为宏运行的基础

例如我们的 “stringify”宏在树中表示为宏展开表达式节点该表达式的宏名称为 “stringify” 并且它只接受一个参数即中缀运算符加号应用在 2 和 3 之间 Swift 宏的真正强大之处在于宏的实现本身就是一个用 Swift 编写的程序可以对语法树进行任何转换

在本例中它生成了我们之前看到的元组然后它将再次把生成的语法树序列化为源代码并将其发送给编译器编译器将用展开的代码替换宏表达式

这真的太酷了但我现在想知道它们在代码中实际是什么样子 Xcode 中新的宏模板定义了我们刚才看到的 stringify 宏让我们来看看这个模板探讨一下这个宏的定义、展开方式以及如何测试宏为了创建模板我点按“File” 选择“New” 然后是“Package” 然后我选择“Swift Macro”模板

让我们将第一个宏命名为“WWDC”

那么模板中有什么呢？这里有 #stringify 宏的调用与之前看到的宏类似它接受一个“a + b”参数并返回结果以及生成它的代码如果我想知道宏展开后的内容可以右键点按它并选择 Expand Macro

这跟我们之前看到的完全一样但这个宏是如何定义的呢？让我们来看它的定义

这里我们有一个之前的“stringify”宏稍微泛化的版本这个宏不只接受一个整数而是泛型的可以接收任何类型 T

它被声明为外部宏

这告诉编译器在执行展开时它需要查看 WWDCMacros 模块中的 StringifyMacro 类型

这个类型是如何定义的呢？

让我们来仔细看看因为 stringify 被声明为一个独立的表达式宏所以 StringifyMacro 类型需要符合 ExpressionMacro 协议

这个协议只有一个要求：展开函数它采用宏表达式本身的语法树以及可用于与编译器通信的上下文

然后展开函数返回重写的表达式语法

那么它在实现中都做什么呢？首先它检索宏表达式的单个参数它知道这个参数存在因为 stringify 被声明为接受单个参数并且在宏展开之前所有参数都需要进行类型检查然后它使用字符串插值来创建元组的语法树第一个元素是参数本身第二个元素是一个包含参数源代码的字符串字面量

注意这个函数在这里没有返回字符串而是返回了一个表达式语法这个宏将自动调用 Swift 解析器将这个字面量转换成语法树而且由于它在第二个参数中使用了字面量插值的样式它会确保字面量内容被正确转义没有人喜欢错误但我更不喜欢的是那种在代码中看不到的错误除非我明确通过展开宏才能看到它们所以开发者需要确保自己的宏经过充分测试因为宏没有副作用而且语法树的源代码易于比较所以测试宏的一个好办法是编写单元测试宏模板中就自带了一个单元测试

这个测试用例使用 SwiftSyntax 包中的 “assertMacroExpansion”函数来验证“stringify”宏是否正确展开

它将我们之前看到的 “#stringify(a + b)” 表达式作为输入并断言宏展开后它会生成一个包含“a + b” 和字符串字面量 “a + b”的元组

为了告诉测试用例如何展开宏它传递了“testMacros”参数该参数指定宏“#stringify” 应使用“StringifyMacro” 类型进行展开让我们来运行一下测试看看测试是否通过你可能已经用同样的方式为你的 App 进行了测试

测试通过了这样我们就有了我们的第一个宏

我们在其中看到了它的基本编译分块宏声明定义了宏的签名还声明了宏角色编译器插件执行展开操作它本身是一个用 Swift 编写的程序并且在 SwiftSyntax 树上运行

我们还看到宏非常容易进行测试因为它们是语法树的确定性转换而且语法树的源代码很容易比较那么你可能会想： “在哪些情况下还可以使用宏呢？” 我们已经了解了 freestanding (expression) 宏简单回顾一下这种宏是以井号开头的并允许开发者重写整个宏表达式还有一个独立的声明角色它会展开成一个声明而不是一个表达式其他类型的宏是附加宏它们以 @ 符号开头与属性类似并允许宏增强它们所附加的声明例如 @attached (member) 宏会添加所附加类型的新 member 要进一步了解关于这些其他角色的信息我强烈推荐你查看 “深入了解 Swift 宏” Becca 会在这个讲座中详细介绍它们但我想重点介绍一下 @attached (member) 的作用因为它们可以帮助我优化我正在开发的 App 的代码库我还是一名滑雪教练我最近在开发一个 App 用来帮我规划应该带我的学生去哪里滑雪

作为滑雪教练你绝对要避免的一件事就是带初学者去对他们来说太难的坡道我想通过 Swift 类型系统来保证这一点因此除了包含我最爱的滑雪胜地的所有坡道的 Slope 枚举之外我还有一个 EasySlope 类型只包含适合初学者的坡道它包含一个初始化定式用于在坡道适合初学者的时候将其转换为简单坡道；它也包含一个计算属性用于将简单坡道转化为一般坡道

虽然这样提供了很好的类型安全性但却非常重复如果我想添加一个简单的坡道我需要将它添加到 Slope……

然后是 EasySlope、初始化定式以及计算属性我们来看看是否可以用宏来改进这些情况我们想要做的是自动生成初始化定式和计算属性我们该如何做到这一点呢？初始化定式和计算属性都是 EasySlope 类型的 member 所以我们需要声明一个 @attached (member) 宏

接下来我们将创建包含宏实现的编译器插件

为了确保我们的宏行为符合预期我们希望以测试驱动的方式进行开发因此在编写测试用例之前我们将保持其实现为空

在我们定义了宏在测试用例中的行为之后我们将编写相应的实现代码以匹配该测试用例

最后我们将把这个新宏整合到我的 App 中如果一切顺利我们就可以移除初始化定式让宏为我们生成它

为了开发宏我们使用之前创建的模板由于我的 App 实际上不需要“#stringify”宏我已经把它移除了我通过使用 “@attached (member)”属性来声明一个新附加的 member 宏

我将其命名为 SlopeSubset 因为 EasySlope 是 Slope 的子集

该宏还定义了它引入的 member 的名称

在这个演示中我将向你展示如何生成初始化定式生成计算属性的步骤也非常相似因为它也只是一个 switch 语句用于切换所有情况通过这个声明我们定义了宏但我们还没有实现它实际执行的展开

为此我们的宏引用了 WWDCMacros 模块中的 SlopeSubsetMacro 类型让我们来创建这个类型这样我们就可以继续真正令人兴奋的部分：实际的宏实现

由于我们将 SlopeSubset 声明为附加 member 宏相应的实现需要符合 MemberMacro 协议

该协议只有一个要求： “expansion”函数和 ExpressionMacro 相似

“expansion”函数接受我们将宏应用于声明的属性以及正在应用宏的声明作为参数在我们的例子中就是 EasySlope 枚举声明

然后该宏返回它想添加到该声明中的所有新 member 的列表

我知道直接开始实现这个转换非常诱人但我们已经说好了要先为它编写一个测试用例

所以现在让我们只返回一个空数组表示不应添加任何新 member

最后我们需要让 SlopeSubset 在编译器中可见为此我将它添加到这里的 “providingMacros” 属性中

在继续深入之前我想先确保我们目前的东西都可以运行虽然我可以尝试在 Xcode 中应用宏并查看展开的代码但我更喜欢为它编写一个测试用例这样每当我对宏进行更改时都可以重新运行它而不用引入回归测试

就像在模板中的测试用例中一样我们使用“assertMacroExpansion” 函数来验证宏的行为

我们想要测试的是宏在应用于 EasySlope 类型时生成的内容所以我们将其作为测试用例的输入

由于宏目前还没有执行任何操作我们只是期望它删除属性而不添加任何新 member 因此预期的展开代码与输入相同只是没有“@SlopeSubset”

最后我们需要让测试用例知道它应该使用 SlopeSubsetMacro 实现来扩展 SlopeSubset 宏为此我们需要在 “testMacros”字典中将宏名称映射到它的实现类型并将该字典传递给断言函数

现在让我们运行测试来检查我们到目前所写的东西是否真的有效

它确实有效太棒了但我们真正想要的是检查我们的宏是否真的生成了初始化定式而不仅仅是删除属性因此我会将之前手动编写的代码复制到测试用例中因为这其实才是我们希望插件生成的内容

如果我们再次运行测试……

它失败了因为我们的宏实际上还没有生成初始化定式

让我们更改这一点

初始化定式会切换 EasySlopes 枚举中声明的所有枚举元素所以我们需要做的第一件事是从声明中检索这些枚举元素由于枚举元素只能在枚举声明内部声明我们首先将“declaration” 强制转换为枚举声明

如果宏被附加到一个不是枚举的类型上我们应该发出一个错误我添加了一个 TODO 以便提醒我们之后处理它并且暂时返回一个空数组接下来我们需要获取枚举声明的所有元素为了弄清楚如何做到这一点我想检查 SwiftSyntax 树中我们枚举的语法结构

由于宏的实现只是一个普通的 Swift 程序我可以使用开发者在 Xcode 中熟悉的所有工具来调试程序例如我可以在展开函数内设置一个断点并运行测试用例以触发该断点

现在我们将调试器暂停在宏的实现中 “enumDecl”是 EasySlopes 的枚举我们可以通过输入“po enumDecl” 在调试器中打印它

让我们检查一下输出

语法树的最里面的节点代表枚举元素即“beginnersParadise” 和“practiceRun”坡道为了获取它们我们需要按照语法树中给出的结构进行操作让我们逐步浏览该结构并在过程中编写访问代码

枚举声明有一个名为 “memberBlock”的子级该 memberBlock 包含左右括号和实际的 member 因此要访问 member 我们先从 “enumDecl.memberBlock.members”开始

这些 member 包含实际的声明以及可选的分号我们想要关注的是这些声明特别是那些实际声明枚举案例的声明我正在使用 compactMap 来获取所有是枚举案例的 member 声明列表每个案例声明可以声明多个元素这是因为我不需要在单独的案例关键字后在新的一行中声明每个坡道我可以把它们写在同一行中如“case beginnersParadise, practiceRun”

要检索所有元素我们可以使用“flatMap”

现在我们已经检索到了所有的元素可以开始构造我们实际想要添加到 EasySlope 的初始化定式

初始化定式声明只有一个项：一个 switch 表达式

这个 switch 表达式包含枚举中每个元素的情况以及返回 nil 的默认情况我们需要为所有这些情况创建语法节点

查找要创建的语法节点有两个好方法一是像我们之前那样打印语法树二是阅读 SwiftSyntax 的文档

我们首先构建一个 InitializerDeclSyntax

这种类型可以通过使用结果构建器来构建主体并指定标题也就是“init”关键字和所有参数这将允许我们在结果构建器中使用 for 循环来迭代所有元素正是我们所需要的

我只要从我们的测试案例中复制 init 标题

在主体内部我们需要一个 switch 表达式

这种类型还有一个带有标题和结果构建器的初始化定式让我们再次使用它

现在我们可以通过迭代之前收集的所有元素来利用结果构建器的功能

对于每个元素我们希望创建一个新的案例项我们可以使用字符串插值来构造它就像之前的“#stringify”那样

我们还需要添加一个返回 nil 的默认案例

最后我们可以返回初始化定式

让我们运行测试看看我们是否真的生成了正确的初始化定式

没错现在我们可以确定这个宏起作用了我可以开始在我的 App 中使用它了

为了将我们的宏包添加到我的 Xcode 项目中我可以右键它并选择 “Add Package Dependencies” 现在我可以选择刚刚创建的本地包了

为了能够使用这个宏我将 WWDC 目标添加为我的 App 的依赖项

现在我们可以从包中导入 WWDC 模块并将 SlopeSubset 宏应用于 EasySlope 类型

……

如果我们开始编译…… 编译器会提醒我们手写的初始化定式是一个无效的重复声明而这是因为现在宏为我们生成了它所以我们可以将其删除

删除代码总是很好玩不是吗？因此如果我们想要知道宏实际生成了什么我们可以右键单击 SlopeSubset 并点按 Expand Macro

如果我忘记了这个宏的作用我还可以按住 Option 键点按它以阅读其文档

下一步应该是接着生成计算属性但是我会晚些时候再做通过使用宏我们能够在不编写重复代码的情况下获得 EasySlopes 的类型安全性我们是如何做到这一点的呢？我们首先从 Swift 宏包模板开始为了探索语法树的结构我们中止了宏的执行并在调试器中打印了语法节点这使我们能够看到我们需要访问哪些属性来获取所有的枚举元素

而且使用测试用例来独立开发宏真的很简单在我们把它添加到 App 里之后它直接就开始工作了但是如果在不支持的情况下使用宏会发生什么呢？就像你永远不想让初学者滑到困难的坡道上一样开发者也不想让自己的宏执行意外的展开或生成无法编译的代码如果你的宏被用在它不支持的情况一定要发出错误信息告知你的采用者出了什么问题而不是让他们阅读生成的代码来调试你的宏

本着这种精神让我们去修复我们留在代码库中的 TODO 当 SlopeSubset 被应用于非枚举类型时宏应该发出一个错误说明它只适用于枚举就像之前一样我们首先添加一个测试用例

这次我们将 SlopeSubset 宏应用于一个 struct

由于 struct 中没有枚举元素我们不指望宏生成一个初始化定式相反它应该发出一个诊断也就是有一个错误告诉我们 SlopeSubset 只能应用于枚举如果我们运行这个测试…… 它会失败因为我们还没有输出错误消息让我们现在去编译器插件中完成这个任务

宏错误可以由符合 Swift 错误协议的任何类型来表示如果 SlopeSubset 应用于非枚举类型我将使用单个案例的枚举来描述错误消息

如果我们从扩展函数中抛出错误它将显示在调用宏展开的属性上

如果开发者想在属性之外的不同位置显示错误消息、生成警告甚至在 Xcode 中显示 Fix-Its 可以使用上下文参数的 “addDiagnostic”方法来生成丰富的诊断信息但是我认为在这种情况下仅在属性处显示一个简单的错误消息才是有效的做法现在我们来看看之前做的是否正确以及我们的测试会不会通过

太好了通过了那么如果我将 SlopeSubset 应用于一个 struct 它在 Xcode 中会怎样呢？为此让我将测试用例复制到一个文件中

Xcode 会将自定义错误消息与所有其他编译错误串联显示这使我的宏的采用者可以很容易地看到他们做错了什么

而且你知道吗？现在我们有了优秀的错误处理能力我认为这个宏对其他开发者指定枚举子集也很有用不仅仅是用在坡道上让我们来泛化它吧

为了指定目前我们已经硬编码为 Slope 的枚举的超集我们在宏声明中添加一个泛型参数

由于这个宏不再专门用于坡道让我们将它重命名为 EnumSubset 我们可以右键点按 SlopeSubset 然后选择 Refactor 和 Rename

我还可以重命名所有出现在字符串字面量和注释中的内容只要按住 Command 并点按它们即可

我们现在需要调整我们的宏实现让其使用泛型参数而不是硬编码的 Slope 类型如果我们在调试器中打印属性并检查其布局就像我们对 “enumDecl”做的那样我们可以通过访问属性名称中 “genericArgumentClause”的第一个参数的 “argumentType” 来检索泛型参数现在我们已经检索到了泛型参数我们可以将此前一直是硬编码的 Slope 类型替换为变量“supersetType”

我还需要进行几处修改比如重新命名初始化定式的参数、更改宏实现的类型名称以及更新文档我稍后会做这些工作目前我们要先确保我们的测试仍然可以通过

由于我们将 EnumSubset 变成了泛型我们需要将 slope 作为泛型参数传递给 EnumSubset 宏来显式指定 EasySlope 是 Slope 的一个子集

让我们看看现在的测试是否通过

通过了我真的应该考虑把这个宏作为 Swift 包发布给其他人所以我们今天讨论了很多内容让我们回顾一下我们都讲了什么要创建一个宏你可以从宏包模板开始该模板包含的 stringify 宏是一个很好的起点在开发宏的时候我们强烈建议开发者编写测试用例以保证你的宏生成的代码确实有效如果你这样做你可以通过在扩展函数中设置断点、运行测试并在调试器中打印语法树来检查语法树的布局最后如果开发者的宏在某些情况下不适用你应该始终发出自定义错误消息这样即使出现问题你的宏也会发挥作用感谢观看我很期待看到你创建的宏 ♪ ♪

5:55 - Invocation of the stringify macro

import WWDC

let a = 17
let b = 25

let (result, code) = #stringify(a + b)

print("The value \(result) was produced by the code \"\(code)\"")

6:31 - Declaration of the stringify macro

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

7:10 - Implementation of the stringify macro

public struct StringifyMacro: ExpressionMacro {
    public static func expansion(
        of node: some FreestandingMacroExpansionSyntax,
        in context: some MacroExpansionContext
    ) -> ExprSyntax {
        guard let argument = node.argumentList.first?.expression else {
            fatalError("compiler bug: the macro does not have any arguments")
        }

        return "(\(argument), \(literal: argument.description))"
    }
}

9:12 - Tests for the stringify Macro

final class WWDCTests: XCTestCase {
    func testMacro() {
        assertMacroExpansion(
            """
            #stringify(a + b)
            """,
            expandedSource: """
            (a + b, "a + b")
            """,
            macros: testMacros
        )
    }
}

let testMacros: [String: Macro.Type] = [
    "stringify": StringifyMacro.self
]

12:05 - Slope and EasySlope

/// Slopes in my favorite ski resort.
enum Slope {
    case beginnersParadise
    case practiceRun
    case livingRoom
    case olympicRun
    case blackBeauty
}

/// Slopes suitable for beginners. Subset of `Slopes`.
enum EasySlope {
    case beginnersParadise
    case practiceRun

    init?(_ slope: Slope) {
        switch slope {
        case .beginnersParadise: self = .beginnersParadise
        case .practiceRun: self = .practiceRun
        default: return nil
        }
    }

    var slope: Slope {
        switch self {
        case .beginnersParadise: return .beginnersParadise
        case .practiceRun: return .practiceRun
        }
    }
}

14:16 - Declare SlopeSubset

/// Defines a subset of the `Slope` enum
///
/// Generates two members:
///  - An initializer that converts a `Slope` to this type if the slope is
///    declared in this subset, otherwise returns `nil`
///  - A computed property `slope` to convert this type to a `Slope`
///
/// - Important: All enum cases declared in this macro must also exist in the
///              `Slope` enum.
@attached(member, names: named(init))
public macro SlopeSubset() = #externalMacro(module: "WWDCMacros", type: "SlopeSubsetMacro")

15:24 - Write empty implementation for SlopeSubset

/// Implementation of the `SlopeSubset` macro.
public struct SlopeSubsetMacro: MemberMacro {
    public static func expansion(
        of attribute: AttributeSyntax,
        providingMembersOf declaration: some DeclGroupSyntax,
        in context: some MacroExpansionContext
    ) throws -> [DeclSyntax] {
        return []
    }
}

16:23 - Register SlopeSubsetMacro in the compiler plugin

@main
struct WWDCPlugin: CompilerPlugin {
    let providingMacros: [Macro.Type] = [
        SlopeSubsetMacro.self
    ]
}

18:41 - Test SlopeSubset

let testMacros: [String: Macro.Type] = [
    "SlopeSubset" : SlopeSubsetMacro.self,
]

final class WWDCTests: XCTestCase {
    func testSlopeSubset() {
        assertMacroExpansion(
            """
            @SlopeSubset
            enum EasySlope {
                case beginnersParadise
                case practiceRun
            }
            """, 
            expandedSource: """

            enum EasySlope {
                case beginnersParadise
                case practiceRun
                init?(_ slope: Slope) {
                    switch slope {
                    case .beginnersParadise:
                        self = .beginnersParadise
                    case .practiceRun:
                        self = .practiceRun
                    default:
                        return nil
                    }
                }
            }
            """, 
            macros: testMacros
        )
    }
}

19:25 - Cast declaration to an enum declaration

guard let enumDecl = declaration.as(EnumDeclSyntax.self) else {
    // TODO: Emit an error here
    return []
}

21:14 - Extract enum members

let members = enumDecl.memberBlock.members

21:32 - Load enum cases

let caseDecls = members.compactMap { $0.decl.as(EnumCaseDeclSyntax.self) }

21:58 - Retrieve enum elements

let elements = caseDecls.flatMap { $0.elements }

24:11 - Generate initializer

let initializer = try InitializerDeclSyntax("init?(_ slope: Slope)") {
    try SwitchExprSyntax("switch slope") {
        for element in elements {
            SwitchCaseSyntax(
                """
                case .\(element.identifier):
                    self = .\(element.identifier)
                """
            )
        }
        SwitchCaseSyntax("default: return nil")
    }
}

24:19 - Return generated initializer
```
return [DeclSyntax(initializer)]
```

25:51 - Apply SlopeSubset to EasySlope

/// Slopes suitable for beginners. Subset of `Slopes`.
@SlopeSubset
enum EasySlope {
    case beginnersParadise
    case practiceRun

    var slope: Slope {
        switch self {
        case .beginnersParadise: return .beginnersParadise
        case .practiceRun: return .practiceRun
        }
    }
}

28:00 - Test that we generate an error when applying SlopeSubset to a struct

func testSlopeSubsetOnStruct() throws {
    assertMacroExpansion(
        """
        @SlopeSubset
        struct Skier {
        }
        """,
        expandedSource: """

        struct Skier {
        }
        """,
        diagnostics: [
            DiagnosticSpec(message: "@SlopeSubset can only be applied to an enum", line: 1, column: 1)
        ],
        macros: testMacros
    )
}

28:48 - Define error to emit when SlopeSubset is applied to a non-enum type

enum SlopeSubsetError: CustomStringConvertible, Error {
    case onlyApplicableToEnum
    
    var description: String {
        switch self {
        case .onlyApplicableToEnum: return "@SlopeSubset can only be applied to an enum"
        }
    }
}

29:09 - Throw error if SlopeSubset is applied to a non-enum type
```
throw SlopeSubsetError.onlyApplicableToEnum
```

31:03 - Generalize SlopeSubset declaration to EnumSubset

@attached(member, names: named(init))
public macro EnumSubset<Superset>() = #externalMacro(module: "WWDCMacros", type: "SlopeSubsetMacro")

31:33 - Retrieve the generic parameter of EnumSubset

guard let supersetType = attribute
    .attributeName.as(SimpleTypeIdentifierSyntax.self)?
    .genericArgumentClause?
    .arguments.first?
    .argumentType else {
    // TODO: Handle error
    return []
}

正在查找特定内容？在上方输入一个主题，就能直接跳转到相应的精彩内容。