赋值时使用复制方法时不检查数据类型

Question

我对复制有疑问

概述：

• 我有 2 个类，即 Car 和 MutableCar
• 这两个类都符合协议 NSCopying
• 方法 copy 将返回 Car 的实例

问题

1. 为什么编译器不抛出任何编译错误以下语句？

   MutableCar* c2 = [c1 副本];

   编译器允许我将 Car* 分配给 MutableCar* 指针变量

2. 有什么方法可以防止这种情况在编译时被忽视吗？

   恕我直言，这可能会导致运行时崩溃，如下例所示。

代码（在单独的文件中）

注意事项 - 使用自动引用计数（ARC）

Car.h

#import<Foundation/Foundation.h>

@interface Car : NSObject <NSCopying>
@property (readonly) int n1;
@end

Car.m

#import"Car.h"
#import"MutableCar.h"

@interface Car()                //extension
@property (readwrite) int n1;
@end

@implementation Car

@synthesize n1 = _n1;

- (id) copyWithZone: (NSZone*) pZone
{
    Car* newInstance = [[Car alloc] init];
    newInstance -> _n1 = _n1;
    return(newInstance);
}
@end

MutableCar.h

#import"Car.h"

@interface MutableCar : Car 
@property int n1;            // redeclaration
@property int n2;

@end

MutableCar.m

#import"MutableCar.h"

@implementation MutableCar
@dynamic n1;
@synthesize n2 = _n2;
@end

test.m

#import"MutableCar.h"

int main()
{
    MutableCar* c1 = [[MutableCar alloc] init];
    MutableCar* c2 = [c1 copy];                     //Car* is being assigned to MutableCar* variable
                                                    //Why doesn't the compiler doesn't throw any compilation error ?


    //c2.n2 = 20;                                     //At runtime this throws an error, because c2 is not a MutableCar instance 

    return(0);
}

Answer 1

-[NSObject copy] 声明为返回 id，该类型可分配给任何对象指针。这就是为什么您不会收到错误或警告。

如果您重写 @interface Car 中的 copy，声明其返回 Car *，您将收到有关虚假赋值的编译器警告。