为什么通用 NSDictionary 不会警告我输入错误的键插入/分配？

为什么不做下面的NSDictionary/NSMutableDictionary调用会产生错误或警告吗？

我预计这里会出现错误，因为 rhsNSDictionary文字与泛型类型不匹配NSDictionarylhs 局部变量。

NSDictionary<NSString *, NSNumber *> *foo = @{ @(42) : @"foo" };

我预计这里会出现错误，因为密钥类型与NSMutableDictionary的关键泛型类型：

NSMutableDictionary<NSString *, NSNumber *> *foo = [NSMutableDictionary new];
// neither of these calls produces an error. :(
foo[@(42)] = @(42);
[foo setObject:@(42) forKey:@(42)];

当我尝试分配一个不正确类型的值时，我看到一个错误，所以我知道泛型错误在某种程度上起作用：

NSMutableDictionary<NSString *, NSNumber *> *foo = [NSMutableDictionary new];
foo[@"foo"] = @"bar";

导致出现以下警告：

Foo.m:81:16: Incompatible pointer types sending 'NSString *' to parameter of type 'NSNumber * _Nullable'

为什么文字赋值或键入不正确的键不会导致警告/错误？

我将其归档为雷达。 http://www.openradar.me/25060179

似乎这是编译器的限制/错误，由 的定义引起setObject:forKeyedSubscript: method:

- (void)setObject:(nullable ObjectType)obj forKeyedSubscript:(KeyType <NSCopying>)key;

协议符合要求以某种方式隐藏了类型要求KeyType. If <NSCopying>不存在，那么编译器会生成KeyType检查并警告您。

为了证实这一点，我使用了一些代码，结果如下：

@interface MyDictionary<KeyType, ObjectType>: NSObject    
- (void)setObject:(nullable ObjectType)obj forKeyedSubscript:(KeyType <NSCopying>)key;
@end

...

MyDictionary<NSNumber*, NSNumber*>* dict = [[MyDictionary alloc] init];
UIButton *button = [[UIButton alloc] initWithFrame:CGRectZero];
dict[@"98"] = @14; // no warnings
dict[button] = @14; //warning: Sending 'UIButton *' to parameter of incompatible type 'id<NSCopying>'

上面的代码具有相同的行为NSMutableDictionary。但是，如果我删除<NSCopying>协议一致性限制KeyType，那么编译器会给出适当的警告：

@interface MyDictionary<KeyType, ObjectType>: NSObject
- (void)setObject:(nullable ObjectType)obj forKeyedSubscript:(KeyType)key;
@end

...

MyDictionary<NSNumber*, NSNumber*>* dict = [[MyDictionary alloc] init];
dict[@"98"] = @14; // warning: Incompatible pointer types sending 'NSString *' to parameter of type 'NSNumber *'

Note.默认情况下，您会收到对象类型不匹配的警告，如果您想收到错误，您可以启用Treat all warnings as errors构建设置，或者只是Treat Incompatible Pointer Type Warnings as Errors one.