Существует ли шаблон для переопределения свойства?

Среда выполнения Objective-Cхранит список объявленных свойств в виде метаданных с объектом класса. Метаданные включают имя свойства, тип и атрибуты. Библиотека времени выполнения также предоставляет несколько функций для получения этой информации. Это означает, что объявленное свойство — это больше, чем пара методов доступа (геттер/сеттер). Мой первый вопрос: Зачем нам (или среде выполнения) нужны метаданные?

Как хорошо известно, объявленное свойство не может быть переопределено в подклассах (за исключением readwrite и readonly). Но у меня есть сценарий, который гарантирует, что это необходимо:

@interface MyClass : MySuperClass 

@property (nonatomic, copy, readonly) NSString *string;

- (id)initWithString:(NSString *)aString;

@end


@interface MyMutableClass : MyClass

@property (nonatomic, strong, readwrite) NSMutableString *string;

- (id)initWithString:(NSString *)aString;

@end

Конечно, компилятор не пропустит приведенный выше код.Мое решение состоит в том, чтобы заменить объявленное свойство парой методов доступа (в случае только для чтения, только геттер):

@interface MyClass : MySuperClass  {
    NSString *_string;
}

- (id)initWithString:(NSString *)aString;

- (NSString *)string;

@end


@implementation MyClass

- (id)initWithString:(NSString *)aString {
    self = [super init...];
    if (self) {
        _string = [aString copy];
    }
    return self;
}

- (NSString *)string {
    return _string;
}

- (id)copyWithZone:(NSZone *)zone {
    return self;
}

- (id)mutableCopyWithZone:(NSZone *)zone {
    return [[MyMutableClass alloc] initWithString:self.string];
}

@end


@interface MyMutableClass : MyClass

- (id)initWithString:(NSString *)aString;

- (NSMutableString *)string;
- (void)setString:(NSMutableString *)aMutableString;

- (void)didMutateString;

@end


@implementation MyMutableClass

- (id)initWithString:(NSString *)aString {
    self = [super init...];
    if (self) {
        _string = [aString mutableCopy];
    }
    return self;
}

- (NSMutableString *)string {
    return (NSMutableString *)_string;
}

- (void)setString:(NSMutableString *)aMutableString {
    _string = aMutableString;

    // Inform other parts that `string` has been changed (as a whole).
    // ...
}

- (void)didMutateString {
    // The content of `string` has been changed through the interface of
    // NSMutableString, beneath the accessor method.
    // ...
}

- (id)copyWithZone:(NSZone *)zone {
    return [[MyClass alloc] initWithString:self.string];
}

@end

Свойство stringдолжно быть изменяемым, поскольку оно изменяется постепенно и потенциально часто. Я знаю ограничение, согласно которому методы с одним и тем же селектором должны иметь одни и те же возвращаемые значения и типы параметров. Но я думаю, что приведенное выше решение подходит как семантически, так и технически. В семантическом аспекте изменяемый объект является неизменяемым объектом. С технической точки зрения компилятор кодирует все объекты как id. Мой второй вопрос: Есть ли смысл в приведенном выше решении? Или это просто странно?

Я также могу использовать гибридный подход следующим образом:

@interface MyClass : MySuperClass  {
    NSString *_string;
}

@property (nonatomic, copy, readonly) NSString *string;

- (id)initWithString:(NSString *)aString;

@end


@interface MyMutableClass: MyClass

- (id)initWithString:(NSString *)aString;

- (NSMutableString *)string;
- (void)setString:(NSMutableString *)aMutableString;

- (void)didMutateString;

@end

Однако, когда я обращаюсь к свойству, используя точечный синтаксис, например myMutableObject.string, компилятор предупреждает, что возвращаемый тип метода доступа не соответствует типу объявленного свойства. Можно использовать форму сообщения как [строка myMutableObject]. Это предполагает еще один аспект, когда объявленное свойство представляет собой нечто большее, чем пару методов доступа, то есть более статическую проверку типов, хотя здесь это нежелательно. Мой третий вопрос: Обычно ли используется пара геттер/сеттер вместо объявленного свойства, когда оно предназначено для переопределения в подклассах?