为什么在我们可以使用NSObject时使用id？

Question

我知道当我们想要创建一个未知值对象时,我们使用id.但是,我很好奇为什么Apple选择id在运行时决定它的值,当每个对象都是NSObject的子类时.所以id delegate我们可以使用而NSObject *delegate 不是有人知道为什么吗？谢谢.

Answer 1

id擦除类型,它相当于说"此对象响应翻译可见的任何选择器".当然,当你删除类型时(以及当你对它们进行类型化时),你有责任确保你的程序是正确的.

如果类型是NSObject,那么如果选择器没有在NSObject的接口或它采用的协议中声明,编译器会说"NSObject可能不响应选择器 ".在这种情况下,您还可以添加类型转换以将其强制转换为您期望的类型.

使用严格/正确的类型,编译器可以启动并帮助您,这很好,因为ObjC是一种非常动态的语言.

id在使用(或构建)集合类型时特别有用.除非您定义了新的根类型(不从NSObject继承),否则添加对象不会有问题.如果我们将它用作我们的基类(NSObject)之外的其他东西,那么从集合中获取值将需要类型转换.

Objective-C中不支持泛型-你不能,例如,声明NSArray的NSString秒.当没有保留类型安全性时,您可以NSArray使用NSStrings 填充并传递它id以获得更自然的书面样式(la generics).

所以,让我们用一些真实的代码扩展它.

例A

NSString * string = [array objectAtIndex:0]; // << trust me (via id)
return [string length];
-or-
return [[array objectAtIndex:0] length]; // << trust me (via id)

例B

现在让我们说不id可用,我们修复了所有编译器警告,因为这是正确的做法:

NSString * string  = (NSString*)[array objectAtIndex:0]; // << typecast == trust me
return [string length];
-or-
return [(NSString*)[array objectAtIndex:0] length]; // << typecast == trust me

id不会在运行时决定它的值,也不会决定任何NSObject.ObjC对象不执行隐式促销,它们只是在没有正式提升的情况下投射指针.

与您的示例相关,我实际上将我的委托和参数声明为具有协议的NSObjects:

NSObject<MONShapeDelegate>* delegate;

Answer 2

每个对象都是NSObject的子类

这是一个不正确的陈述.您可以创建不从NSObject继承的对象.它不是真的推荐,但它是可能的.

NSProxy 是一个例子 - 它不从NSObject继承.