为什么 NSSet/NSMutableSet/NSCountedSet 不强制不可变对象作为条目？

NSDictionary 键是 id 但集合的值只是 id，文档表明它们的值被保留。根据设置集合编程主题的基础知识 docs:

但是，您可以修改单个对象本身（如果它们支持修改）。

如果修改对象，这可能会影响该对象的哈希值，从而影响查找。我认为 NSSet 是快速查找？

下面的示例展示了如果您改变对象，事情会如何崩溃：

    NSMutableString *str = [NSMutableString stringWithString: @"AWESOME"];
    NSCountedSet *countedSet = [[NSCountedSet alloc] init];
    [countedSet addObject: str];
    [countedSet addObject: str];

    NSLog(@"%@", @([countedSet countForObject: @"AWESOME"]));

    [str appendString: @" NOT AWESOME"];
    NSLog(@"%@", @([countedSet countForObject: @"AWESOME NOT AWESOME"]));
    NSLog(@"%@", @([countedSet countForObject: @"AWESOME"]));
    NSLog(@"%@", @([countedSet countForObject: str]));

    for(NSString *s in countedSet) {
        NSLog(@"%@ - %@", str, @([countedSet countForObject: s]));
    }

    NSSet *set = [NSSet setWithArray: @[ str ]];
    NSLog(@"Set Contains string, %@", @([set containsObject: str]));
    [str appendString: @"asdf"];
    NSLog(@"Set Contains string, %@", @([set containsObject: str]));
    NSLog(@"%@", set);

并用我的解释输出：

[64844:303] 2          // Count is 2
[64844:303] 0          // Count should be 2 - if it looks for the literal string
[64844:303] 0          // Count should be 0, but can't find original object either
[64844:303] 0          // Count should be 2 - asking for actual object that's in there
[64844:303] AWESOME NOT AWESOME - 0   // Should be 2 - asking for actual object that it just retrieved
[64844:303] Set Contains string, 1    // Correct, pre-mutation
[64844:303] Set Contains string, 0    // Should be true, object is in there
[65070:303] {(
    "AWESOME NOT AWESOMEasdf"   // see?  It's in there
)}

My take:

该集合可能基于哈希值的存储桶，当该集合后面的哈希被更改时，它不知道该怎么做并且查找被破坏。该领域缺乏文档。

我的问题重申： 文档说你可以改变对象，这并不直观。 变异对象会破坏集合。 搞什么？

文档中的那句话令人困惑。然而，请注意下面的三段接着说：

如果可变对象存储在集合中，则hash的方法 对象不应该依赖于可变对象的内部状态 或者可变对象在集合中时不应被修改。 例如，可以将可变字典放入集合中，但必须 当它在那里时不要改变它。 （请注意，可能很难 知道给定对象是否在集合中）。

您的代码演示的是基于哈希的集合类的已知属性。如果实现一个关键对象使得复制返回原始对象（本质上是可变的），它也会影响字典。

没有真正的方法来测试对象是否可变。因此，它不能强制不变性。

另外，正如上面引用中提到的，可以创建一个可变类，其hash并且平等不受突变的影响。

最后，如果这些集合类只能与可复制类一起使用并复制元素（就像字典复制其键），那么它们的实用性就会受到严重限制。集合用于表示关系等，如果您尝试在对象之间建立关系，而是与单独的副本建立关系，则不会这样做。