objective-c - 为什么 NSString 会响应 appendString？

Question

我在 MacOS-X 10.6.7 和 Xcode 4.0.2 上使用 Objective-C 中的 respondsToSelector 方法来确定对象是否会响应某些消息。根据手册，NSString 不应该响应 appendString: 而 NSMutableString 应该。这是测试它的代码片段:

int main (int argc, const char * argv[])
{

    NSAutoreleasePool * pool = [[NSAutoreleasePool alloc] init];
    NSString *myString = [[NSString alloc] init];

    if ([myString respondsToSelector:@selector(appendString:)]) {
        NSLog(@"myString responds to appendString:");
    } else {
        NSLog(@"myString doesn't respond to appendString:");
    }

    // do stuff with myString

    [myString release];
    [pool drain];
    return 0;
}

这是输出:

Class02[10241:903] myString responds to appendString:

我的预料恰恰相反。 NSString 对象如何响应 appendString: ？我错过了什么？

Answer 1

简短回答:该字符串属于 NSCFString 类型，该类继承自 NSMutableString，因此它响应 NSMutableString< 中声明的方法的选择器，包括父类(super class)。

不是那么简短的回答:基础字符串与核心基础字符串是免费桥接的。开发人员使用不透明类型 CFStringRef(与 NSString 桥接)和 CFMutableStringRef(与 NSMutableString 桥接)来引用这些因此，乍一看，有两种不同类型的字符串:不可变的和可变的。

从 Core Foundation 内部实现的角度来看，有一个名为 struct __CFString 的私有(private)类型。这个私有(private)类型保留了一个位字段，用于存储字符串是可变的还是不可变的等信息。单一类型简化了实现，因为许多函数由不可变和可变字符串共享。

每当调用对可变字符串进行操作的 Core Foundation 函数时，它首先读取该位字段并检查该字符串是可变的还是不可变的。如果参数应该是可变字符串但实际上不是，则函数返回错误(例如 _CFStringErrNotMutable)或断言失败(例如 __CFAssertIsStringAndMutable(cf)).

无论如何，这些都是实现细节，将来可能会发生变化。 NSString 没有声明 -appendString: 的事实并不意味着每个 NSString 实例都没有响应相应的选择器——想想substitutability .同样的情况也适用于其他可变/不可变类，例如 NSArray 和 NSMutableArray。从开发人员的角度来看，重要的是返回的对象的类型与返回类型相匹配——它可以是类型本身或该类型的任何子类型。类集群使这有点复杂，但情况并不局限于类集群本身。

总之，您只能期望一个方法返回一个对象，该对象的类型属于返回值类型的层次结构(即类型本身或子类型)。不幸的是，这意味着您无法检查 Foundation 对象是否可变。但话又说回来，你真的需要这张支票吗？

---

您可以使用CFShowStr() 函数从字符串中获取信息。在您问题的示例中，添加

CFShowStr((CFStringRef)myString);

您应该得到类似于以下的输出:

Length 0
IsEightBit 1
HasLengthByte 0
HasNullByte 1
InlineContents 0
Allocator SystemDefault
Mutable 0
Contents 0x0

在哪里

Mutable 0

意味着该字符串实际上是不可变的。