如何正确实现mutableCopyWithZone和copyWithZone

Question

我看了其他一些关于这个话题的讨论，但是我还是不明白。

我想创建两种对象，一种是只有“readonly”属性的不可变对象，另一种是只有“readwrite”属性的可变对象。

我们称它们为EXCar和EXMutableCar。

EXCar是NSObject的子类，而EXMutableCar是EXCar的子类。

ExCar的接口中将会有：

@property (nonatomic, strong, readonly) NSString *name;

EXMutableCar将在其接口中拥有

@property (nonatomic, strong) NSString *name;

当我使用其子类EXMutableCar时，我会“打开”EXCar的属性。然后它是可变的。问题是在它们之间正确地进行复制。

我在EXCar中实现了mutableCopyWithZone方法：

- (id)mutableCopyWithZone:(NSZone *)zone {
    EXMutableCar *mutableCopy = [[EXMutableCar allocWithZone:zone] init];
    mutableCopy.name = _name;

    return mutableCopy;
}

第一个问题，这样做是好的吗？(我想要完全复制)

问题在于copyWithZone。 由于EXCar的属性是只读的，我既不能在EXCar中创建新实例，也不能在EXMutableCar中创建新实例并像这样填充它的属性：

- (id)copyWithZone:(NSZone *)zone {
    EXCar *copy = [[EXCar allocWithZone:zone] init];
    copy.name = _name; // This can't work...

    return copy;
}

我不想写一个有15个属性需要传入的“init”方法（当然，EXCar只是一个例子，真实的类中通常有很多属性）。通常它们是从服务器的JSON消息中初始化的，所以它们不需要复杂的init方法。

第二个问题是如何编写一个copyWithZone方法来保持我的类是不可变的？

谢谢您的帮助 :)

- Tancrede Chazallet

Answer 1

代码:

// EXCar.h
#import <Foundation/Foundation.h>

@interface EXCar : NSObject <NSCopying, NSMutableCopying>

@property (nonatomic, strong, readonly) NSString* name;

@end

---

// EXCar.m
#import "EXCar.h"
#import "EXMutableCar.h"

@implementation EXCar

- (id)copyWithZone:(NSZone *)zone {
  EXCar* car = [[[self class] allocWithZone:zone] init];
  car->_name = [_name copyWithZone:zone];
  return car;
}

- (id)mutableCopyWithZone:(NSZone *)zone {
  EXMutableCar* mutableCar = [[EXMutableCar allocWithZone:zone] init];
  mutableCar.name = [_name mutableCopyWithZone:zone];
  return mutableCar;
}

@end

---

// EXMutableCar.h
#import "EXCar.h"

@interface EXMutableCar : EXCar

@property (nonatomic, strong) NSString* name;

@end

---

// EXMutableCar.m
#import "EXMutableCar.h"

@implementation EXMutableCar

@synthesize name = _mutableName;

- (id)copyWithZone:(NSZone *)zone {
  EXMutableCar* car = [super copyWithZone:zone];
  car->_mutableName = [_mutableName copyWithZone:zone];
  return car;
}

- (id)mutableCopyWithZone:(NSZone *)zone {
  EXMutableCar* car = [super mutableCopyWithZone:zone];
  car->_mutableName = [_mutableName mutableCopyWithZone:zone];
  return car;
}

解释：

• EXCar 接口实现了"复制"协议;
• 子类 EXMutableCar 覆盖了同样的属性，使其变成了readwrite。

在 EXMutableCar 的实现中，第一件事是手动 @synthesize name，因为 Xcode 给我们一个警告，由于我们在超类中具有相同的属性（但访问限定符不同）。

请注意，我们可以给我们的实例变量取相同的名称，例如 _name，但重要的是要理解，在子类中声明了一个不同的变量，因为我们无法访问来自超类的 _name。

接下来，苹果文档指出：

如果一个子类从它的超类继承 NSCopying 并声明附加的实例变量，则子类必须覆盖 copyWithZone:方法以正确处理其自己的实例变量，并首先调用超类的实现。

NSMutableCopying 也是同样的情况：

如果一个子类从它的超类继承 NSMutableCopying 并声明附加的实例变量，则子类必须覆盖 mutableCopyWithZone: 方法以正确处理其自己的实例变量，并首先调用超类的实现。

由于我们确实声明了附加的实例变量，因此我们也在子类中覆盖了这些方法。

结果：

EXCar* car = [[EXCar alloc]init]; // car.name is (null)
EXCar* carCopy = [car copy]; // we can do this
EXMutableCar* mutableCar = [car mutableCopy]; // and this
mutableCar.name = @"BMW";
car = [mutableCar copy]; // car.name is now @"BMW"
EXMutableCar* anotherMutableCar = [car mutableCopy]; //anotherMutableCar.name is @"BMW"

- Maxim Chetrusca

---

可变子类的复制必须返回不可变版本，例如EXCar而不是EXMutableCar。如果类实现了自定义相等性，则哈希可能依赖于某些可变值（在可变子类中），因此这尤其重要，例如，NSDictionary复制其键时，它期望返回不可变对象和不可变哈希。 - MANIAK_dobrii