无法将类型'child'的返回表达式转换为返回类型T

Question

我在Swift中使用泛型挣扎了一下。

我有以下代码：

class Parent { 
    init(value: SomeThing) { 
     // ... 
    } 

    func clone<T: Parent>() -> T {   
     return T(value: SomeThing) 
    } 
} 

class Child : Parent { 
    var otherValue: SomeThingElse? 

    override func clone<T>() -> T where T : Parent {   
     let clone: Child = super.clone() 
     clone.otherValue = self.otherValue 
     return clone //ERROR: cannot convert return expression of type 'Child' to return type T 
    } 
} 

的想法是创建一个返回具有相同值的子实例的新副本的简单方法。 我不想为每个Child classtype写出构造函数。 （它在真实课程中有很多参数，我喜欢保持它的清洁）。

我得到的错误是： cannot convert return expression of type 'Child' to return type T 建议的解决方案是让return clone as! T。但这样我就失去了使用泛型类的理由。

任何想法如何解决这个问题，同时保持它的通用性，而不是写出每个类中的构造函数？

Answer 1

您需要具有Self的返回类型，而不是使用约束为Parent的通用占位符。使用通用占位符，您说clone()可以返回的任何实例，该实例继承自Parent。但事实并非如此 - 您只想返回相同类型的实例作为接收者，这是Self表示的。

然后，您还需要实施一个required初始化程序，以便它可用于在所有子类上调用，允许在它们上调用clone()而不必覆盖它。

struct Something {} 
struct SomethingElse {} 

class Parent { 

    var something: Something 

    required init(something: Something) { 
     self.something = something 
    } 

    func clone() -> Self { 
     // call the initialiser on the dynamic metatype of the instance, 
     // ensuring that we're instantiating a Self instance. 
     return type(of: self).init(something: something) 
    } 
} 

的Child的实现，那么应该是简单的：

class Child : Parent { 

    var somethingElse: SomethingElse? 

    override func clone() -> Self { 
     let clone = super.clone() 
     clone.somethingElse = somethingElse 
     return clone 
    } 
} 

然而不幸的是，呼吁superclone()返回是静态类型为Parent，而不是Self一个实例 - 这已经filed as a bug 。

要解决这一点，你就必须做一些力铸造两轮牛车：

override func clone() -> Self { 

    let clone = super.clone() as! Child 
    clone.somethingElse = somethingElse 

    func forceCast<T>(_ value: Child) -> T { return value as! T } 
    return forceCast(clone) 
} 

嵌套forceCast(_:)功能是这里要解决的是，我们目前还不能直接转换为Self的方法（比较Return instancetype in Swift ）。在这种情况下施加的力总是会成功，因为super.clone()将始终返回Self实例，因此在此方法中必须是Child。