Swift泛型函数如何为KeyPath参数设置默认值？

你尝试给泛型函数的KeyPath参数设置默认值\.id时遇到的编译错误，本质是编译器无法解决泛型类型推断的循环依赖：idType需要从默认值\.id推断，但\.id的类型又依赖于泛型参数T，而T是从第一个参数推断的，这种相互依赖导致编译器无法完成类型推导。

下面是两种可行的解决方案：

方案一：通过协议约束明确类型要求 #

定义一个协议，强制实现类型必须包含id属性，然后让泛型函数的参数遵循该协议。这样编译器就能明确默认值\.id的类型，完成推断。

import Cocoa

// 定义协议，要求类型具备id属性
protocol Identifiable {
    associatedtype IDType
    var id: IDType { get }
}

// 让原有结构体遵循协议
struct StructWithId: Identifiable {
    let id = UUID()
}

// 自定义ID字段的结构体
struct StructWithCustomId {
    let customId = "user_123"
}

// 修改泛型函数，添加协议约束
func printId<T: Identifiable>(thingWithId: T, idField: KeyPath<T, T.IDType> = \.id) {
    print(thingWithId[keyPath: idField])
}

// 使用默认路径调用
let idThing1 = StructWithId()
printId(thingWithId: idThing1)

// 指定自定义路径调用
let customIdThing = StructWithCustomId()
printId(thingWithId: customIdThing, idField: \.customId)

这种方式不仅解决了类型推断问题，还能让代码具备更好的扩展性——所有遵循Identifiable协议的类型都可以直接使用默认调用方式。

方案二：重载函数实现默认行为 #

如果你不想引入协议，可以通过重载函数的方式：提供一个无需指定KeyPath的版本，内部调用基础版本并传入\.id。

import Cocoa

struct StructWithId {
    let id = UUID()
}

struct StructWithCustomId {
    let customId = "user_123"
}

// 基础函数：必须指定KeyPath
func printId<T, IDType>(thingWithId: T, idField: KeyPath<T, IDType>) {
    print(thingWithId[keyPath: idField])
}

// 重载函数：默认使用\.id，约束T必须有id属性
func printId<T, IDType>(thingWithId: T) where T: Identifiable {
    printId(thingWithId: thingWithId, idField: \.id)
}

// 默认调用
let idThing1 = StructWithId()
printId(thingWithId: idThing1)

// 自定义路径调用
let customIdThing = StructWithCustomId()
printId(thingWithId: customIdThing, idField: \.customId)

不过这种方式的灵活性不如协议方案，尤其是当ID类型多样时，协议的关联类型能更好地适配不同场景。

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