为什么 [NSMutableString stringWithString:@""] 有效？

Question

只是想知道：

在 NSString 中有一个名为 +stringWithString: 的静态方法。 这在 NSMutableString 中没有被重新声明/覆盖，所以我们不能假设这将返回一个 NSMutableString。事实上，即使在 NSString 类中，返回类型也定义为 id 和 文档状态：

返回值
通过复制 aString 中的字符创建的字符串。

我在理解为什么它起作用并返回 NSMutableString 的知识中缺少目标 C 的哪一部分？特别是因为基类 NSString 不知道我们想要返回一个可变字符串。

有人可能会说，在内部调用了 [Class alloc] ，这将生成一个 NSMutableString 类型的对象，但即使这是纯粹的猜测，因为我们没有源代码，并且 < code>stringWithString: 可以在内部做任何它想做的事情。

所有这些类方法都在子类中重新实现吗？如果是的话，为什么没有记录下来？

Answer 1

在 NSString 中有一个名为 +stringWithString: 的静态方法。

更恰当地说，它是一个类方法。

这没有在 NSMutableString 中重新声明/覆盖

在 cocoa 中，子类不需要重新声明该方法。事实上，它只会产生大量噪音（IMO）。它只需要重新定义方法来提供其自定义实现。

所以我们不能假设这将返回一个 NSMutableString。

我们必须假设它将返回一个可变字符串。子类可以根据需要重新定义其初始值设定项和便利构造函数，以满足所需的约定，而无需公开重新声明该方法 - 仅当基类的实现不足时才需要定义该方法。

我在理解为什么它起作用并返回 NSMutableString 的知识中缺少目标 C 的哪一部分？特别是因为基类 NSString 不知道我们想要返回一个可变字符串。

它“知道”是因为您编写了 [NSMutableString stringWithString:@"bah"] 而不是 [NSString stringWithString:@"bah"]。与实例方法一样，类方法有一个隐式的 self ，它允许它们通过类方法传递类型。因此，可以根据需要重新定义/覆盖类方法。类方法还可以使用 self 来确定或消息其类型（示例很快）。

有人可能会说，在内部调用 [Class alloc] ，它将生成一个 NSMutableString 类型的对象，但即使这也纯粹是猜测，因为我们没有源代码，而 stringWithString: 可以在内部做任何它想做的事情。

这不应该是猜测。在这种情况下，如果返回的是不可变字符串，您应该提交错误。否则，无论他们是否使用一个或多个定义，它都会像广告中所宣传的那样工作。

所有这些类方法都在子类中重新实现吗？

在便利构造函数的情况下，更常见的是通过指定的初始值设定项之一：

这样的实现可以采用以下形式：

@implementation NSString
+ (id)stringWithString:(NSString *)arg
{
    // self is either +NSString or +NSMutableString
    return [[[self alloc] initWithString:arg] autorelease];
}

尽管经常会出现异常，并且通常是优化的不可变/可变类型的情况：

@implementation NSString
+ (id)stringWithString:(NSString *)arg
{
  return [arg imp_isMutable] ? [[[self alloc] initWithString:arg] autorelease] : arg;
}
...
@implementation NSMutableString
+ (id)stringWithString:(NSString *)arg
{
  return [[[self alloc] initWithString:arg] autorelease];
}
...

如果是的话，为什么没有记录下来？

当唯一的区别是您所请求的类类型时，不应重新声明或重新记录它们，除非它们与基类有一些偏差或有特殊说明 - 即使在这种情况下，最好使用另一个名称创建一个方法。

Answer 2

NSMutableString 是 NSString 的子类，因此任何调用 NSMutableString 的方法都可以正常工作，并返回一个 NSMutableString > 当它有意义时。我想到的唯一不遵循这一点的方法是copy，按照惯例它返回一个不可变的实例。

这就是为什么您的初始化方法返回 id 而不是具体实例，以及为什么所有类方法都应使用 [self alloc] 而不是 [MYActualClass alloc].

Answer 3

（贾斯汀说的话，但需要澄清）

在 NSString 中有一个名为 +stringWithString: 的静态方法。这
没有在 NSMutableString 中重新声明/重写，所以我们不能假设
这将返回一个 NSMutableString。事实上即使在 NSString 中
class 返回类型定义为 id ...

首先，Objective-C 没有静态方法。 Objective-C 有类方法。类方法的行为与实例方法完全相同（其中该类是元类的实例），并且可以继承、重写等...

因此，正如 NSMutableString 继承 characterAtIndex: 并且可以重写它来执行一些特殊的操作，如果需要，NSMutableString 可以对类方法执行相同的操作。

另请注意，类无需在标头中声明从其超类重写的方法。框架中的类通常不会显式声明重写方法，因为重写方法的行为应与父类完全相同，但会被重写以在子类要求的上下文中工作。

Answer 4

您可以像这样编写初始化程序：

+ (id) stringWithString: (NSString*) foo
{
    return [[self alloc] initWithString:foo];
}

现在，当您在 NSString 上调用此初始化程序时，[self alloc] 返回 NSString 并且您会得到一个NSString 返回的实例。但是当你调用[NSMutableString stringWithString:@"…"]时，[self alloc]消息的结果是NSMutableString，因此初始化器返回一个可变字符串。