swift - Swift 在协议变量中严格执行 Class 吗？

Question

协议P需要一个v类变量C。

类X实现P了声明一个v类变量的协议C1where C1extends C。

这是代码：

import Foundation    

class C { }
class C1: C { }

protocol P {
    var v: C { get set }
}

class X: P {
    var v: C1

    init(withV v: C1) {
        self.v = v
    }
}

Xcode 抱怨此错误：

Type 'X' does not conform to protocol 'P'
Protocol requires property 'v' with type 'C'
Candidate has non-matching type 'C1'

为什么编译器强制我匹配协议中声明的完全相同的类型？

编辑：

Obj-C 中完全相同的实现编译时不会出现错误或警告

@interface C: NSObject
@end
@implementation C
@end

@interface C1: C
@end
@implementation C1
@end

@protocol P <NSObject>
    @property (nonatomic, strong) C *v;
@end

@interface X: NSObject <P>
    @property (nonatomic, strong) C1 *v;
@end
@implementation X
@end

Answer 1

它不是强迫你完全匹配，而是强迫你避免运行时问题。您的设置可能意味着您传递了对声称符合P但实际上并不符合的东西的引用。这是因为P说你可以设置v为 any C，但X说你可以设置v为 any C1。

因此，如果您要创建 , 的另一个子类C并C2尝试使用它，那么一切都会崩溃。

我希望您的 obj-c 示例抱怨您尚未实现或合成协议中指定存在的属性...