目标C-子类中的窄实例变量类型?

不,你根本不能重新申报艾瓦尔。但是,您可以创建一个新的基于方法的属性,而无需创建新的ivar。

@property (nonatomic, copy) NSMutableArray* mutableFriends;

@implementation MutablePerson

- (NSMutableArray*)mutableFriends {
  return (NSMutableArray*)friendArray;
}

- (void)setMutableFriends:(NSMutableArray*)friends {
  self.friendsArray = [friends mutableCopy];
}

@end

@上课一点意义都没有。。。应该是@interface。所以第一个错误是纯粹的语法错误。

不,你不能改变ivar的类型。这有一个很好的原因:缩小范围(就像你做的那样)是行不通的,因为父类可能依赖于不同的实现。扩大它不能起到同样的作用(主要是因为类似的原因)。

如果编译器说“不”,那就是你的答案。我将使用访问器:

//Person
-(NSArray *)friends;


//MutablePerson
-(void)addFriend:(person *)friend;

在 MutablePerson 您可以声明另一个数组来存储 friends 或者你可以直接通过 addFriend: :

-(void)addFriend:(person *)friend
{
    _friendsArray = [_friendsArray arrayByAddingObject: friend];
}    

直接访问ivar并不明智。我会重新考虑你的班级设计。有一个易变和不变的人的版本的理由是什么?

我结束了重写setter以断言所设置的对象属于适当的类型,并创建了一个新的只读getter,如下所示:

@interface MutablePerson {
}

@property (readonly) NSMutableArray *mutableFriendArray;

@implementation MutablePerson

-(NSMutableArray *) mutableFriendArray {
  NSMutableArray *ret = (NSMutableArray *)[super friendArray];
  NSAssert ([ret isKindOfClass: [NSMutableArray class]], @"array should be mutable");
  return ret;
}

-(void) setFriendArray: (NSMutableArray *) array {
  NSAssert ([array isKindOfClass: [NSMutableArray class]], @"array should be mutable");
  [super setFriendArray: array];
}