如何使用通用默认参数

Question

这是我的代码：

class Person {
    init<T: RawRepresentable>(raw: T = Child.johnDoe) {}
}

enum Child: String {
    case johnDoe
}

它不编译。错误是：

“Child”类型的默认参数值无法转换为“T”类型

为什么不能转换？根据docs，Child.someEnum是RawRepresentable：

具有原始值的枚举对于具有字符串，整数或浮点原始类型的任何枚举，Swift编译器会自动添加RawRepresentable一致性。定义自己的自定义枚举时，通过将原始类型指定为枚举类型继承列表中的第一项来为其指定原始类型。

这也编译：

class Person {
    static func accept<T: RawRepresentable>(raw: T) where T.RawValue == String {}
}

enum Child: String {
    case johnDoe
}

Person.accept(raw: Child.johnDoe)

为什么它不能作为默认参数？

使用案例：我想接受任何RawPresentable值，所以我可以从中提取rawValue。我想提供一个默认值（总是“”）（我只是用rawValue = ""创建一个结构）。我不想创建多个初始化器，因为我有一些子类，这会弄得一团糟。对我来说最好的只是提供一个默认的RawRepresentable对象。

当我添加一个强制转换：init（ty：T =（Child.johnDoe as！T））其中T.RawValue == String {

}

或者让它成为可能的：

(ty: T? = nil)

它汇编。但现在我不能打电话：

let x = Person()

它给出了错误：

无法推断出通用参数“T”

Answer 1

这当然是可能的。但是，您必须使用自己的协议并将默认值添加到该协议：

protocol MyRawRepresentable: RawRepresentable {
    static var defaultValue: Self { get }
}

class Person {
    init<T: MyRawRepresentable>(raw: T = T.defaultValue) {}
}

enum Child: String, MyRawRepresentable {
    case johnDoe

    static let defaultValue: Child = .johnDoe
}

还有另一个问题。如果你使用默认参数值，你将如何指定泛型类型，你将拥有的只是Person.init()？

我看到的唯一解决方案是还指定一个默认泛型类型，这意味着您实际需要：

class Person {
   init<T: RawRepresentable>(raw: T) {
   }

   convenience init() {
       self.init(raw: Child.johnDoe)
   }
}

除非你真的想让Person本身成为一个通用类，因为你可以使用它

Person<Child>.init()