c++ - 如何在 Swift 中使用泛型实现 "C++-ish template specialization"？

Question

我意识到泛型和模板是不同的，但我想我应该扔掉 C++ 式的评论，因为熟悉模板的人会知道我想要完成什么。在下面的代码中，我尝试编写一种通用成员方法来处理一种重载变体中的字符串。在另一种变体中，该方法应该处理可以从字符串初始化的数字类型。

所以，下面，我想要一个映射，并给定特定类型的变量，在映射中查找名称并将其解析为正确的类型。不幸的是，我遇到了关于 type(of:) 缺少 init() 的问题，并且在重载解析上也遇到了问题，其中 Int 类型调用想要调用为字符串定义的方法。

代码如下:

protocol StringInitializable {
    init()
    init( _: String )
}

class Foo {
    var stringMember : String
    var intMember : Int

    var lookupMap : [String:String] = [
        "string" : "Your String",
        "int": "12"
    ]

    func extractType< ParseEntity: StringInitializable >( parameter: ParseEntity, lookupName: String ) throws -> ParseEntity? {
        var x : ParseEntity?
        x = type( of: ParseEntity ).init( lookupMap[ lookupName ] )
        return x
    }

    func extractType( parameter: String, lookupName: String ) throws -> String? {
        return lookupMap[ lookupName ]
    }

    init() {
        do {
            try extractType( parameter: stringMember, lookupName: "string" )
            try extractType( parameter: intMember, lookupName: "int")
        } catch {}
    }
}

代码有点hacky，但希望有足够的内容来传达意图。如有任何帮助，我们将不胜感激。提前致谢。

Answer 1

我的上述表述存在很多问题，但我最终得到了我想要的结果。

首先，在 StringInitialized 中，我需要以下内容:

protocol StringInitializable {
    init()
    init?(_ description: String)
}

其次，我必须通过协议(protocol)扩展来扩展 Int 和 Float，以将它们标记为“字符串可初始化”:

extension Double : StringInitializable {}
extension Int : StringInitializable {}

第三，type(of:) 并不是 C++ 中 __decltype() 之类的纯粹替代品。我需要以 type(of:) 构造一个“ParseEntity”。因此，在我重新编写的代码中，关键行看起来像这样:

    var x : ParseEntity? = type( of: ParseEntity() ).init( lookupMap[ lookupName ]! )

最终的“工作”示例如下所示:

enum ParseError : Error {
    case BadParse( errorMessage: String)
}

protocol StringInitializable {
    init()
    init?(_ description: String)
}

extension Double : StringInitializable {}
extension Int : StringInitializable {}

class Foo {
    var stringMember : String = ""
    var intMember : Int = 0

    var lookupMap : [String:String] = [
        "string" : "Your String",
        "int": "12"
    ]

    func extractType< ParseEntity: StringInitializable >( parameter: ParseEntity, lookupName: String ) throws -> ParseEntity? {
        if let lookupEntry = lookupMap[ lookupName ] {
            return type( of: ParseEntity() ).init( lookupEntry )
        }
        throw ParseError.BadParse( errorMessage: "Bad parameter: \( lookupName )" )
    }

    func extractType( parameter: String, lookupName: String ) throws -> String? {
        if let lookupEntry = lookupMap[ lookupName ] {
            return lookupEntry
        }
        throw ParseError.BadParse( errorMessage: "Bad parameter: \( lookupName )" )
    }

    init() {
        do {
             stringMember = try extractType( parameter: stringMember, lookupName: "string" )!
             intMember = try extractType( parameter: intMember, lookupName: "int")!
        } catch ParseError.BadParse( let errorMessage ) {
            print( "\( errorMessage )" )
        } catch {}
    }
}


var f = Foo()
print( "\(f.intMember)" )
print( "\(f.stringMember)" )