Objective-C 繼承機制深度解析：@property 默認屬性、私有成員與子類訪問真相

現象：直覺與現實的衝突

日常開發中常寫：

@property (nonatomic, copy) NSString *name;

子類能直接用 self.name、_name 嗎？@property 默認生成的實例變量是什麼訪問級別？

實驗驗證：私有成員是否可繼承？

// Father.h
@interface Father : NSObject
@private
    NSString *_name;  // 顯式私有
- (void)setName:(NSString *)n;
- (NSString *)name;
- (void)print;
@end

// Father.m
@implementation Father
- (void)setName:(NSString *)n { _name = n; }
- (NSString *)name { return _name; }
- (void)print { NSLog(@"%@ ---> %@", NSStringFromClass([self class]), _name); }
@end

// ChildA.m / ChildB.m 繼承 Father

// main.m
int main() {
    Father *f = [Father new];
    ChildA *a = [ChildA new];
    ChildB *b = [ChildB new];

    [f setName:@"皇帝"];
    [f print];  // Father ---> 皇帝
    [a print];  // ChildA ---> (null)
    [b print];  // ChildB ---> (null)

    [a setName:@"太子A"];
    [b setName:@"太子B"];
    [f print];  // Father ---> 皇帝
    [a print];  // ChildA ---> 太子A
    [b print];  // ChildB ---> 太子B
}

結果分析

核心結論

1. @private 實例變量會被繼承：子類對象內存包含父類所有實例變量（包括私有）
2. 但直接訪問被編譯器禁止：子類方法中寫 _name 編譯報錯
3. 通過繼承的公共方法（setter/getter）可間接訪問：操作的是子類自己的 那份內存副本
4. 每個實例擁有完整的父類實例變量集合，互不干擾

@property 默認行為

• 現代 Clang (LLVM 3.1+) 自動合成實例變量 _propertyName
• 默認私有（@private），但可通過 @synthesize name = _name; 指定
• 子類可通過 self.name (調用繼承的 getter/setter) 訪問自己的 那份存儲