cocoa - 为什么 Objective-C 对象必须动态分配？

Question

为什么 Objective-c 对象必须动态分配？为什么我必须将其设为指向对象的指针，而不像在 C++ 中我可以在堆栈上创建它们？谢谢。

Answer 1

主要原因:不知道要保留多少堆栈大小。

现有的约定和用途也使得解除限制变得相当困难。

动态消息传递在这种情况下并不重要，因为在初始化时设置正确的“vtable”很简单。

在 C++ 中，堆栈对象的大小始终是已知的(如果错误，您也知道会发生什么)。 objc alloc/init 序列可以返回多种类型中的任何一种——每种类型都有不同的大小(它本质上是一个工厂)，或者什么也不返回。

大小也可以在运行时变化(例如，您可以通过运行时向类添加字段)。

更新1

我对此很好奇，所以我做了一个小测试程序作为概念证明。

我能够实现一个简单的基于堆栈的 objc 类层次结构，它还实现了 NSObject 接口(interface)的大部分 - 当然，省略了引用计数和动态分配接口(interface)与概念验证无关。无论如何，我的简单类层次结构不与 NSObject 类或协议(protocol)完全兼容，因此出于显而易见的原因，它不应该在需要 NSObject 类型的地方使用。因此，如果您确实想要基于堆栈的 objc 对象，那么实现这一点是可能的(而且不是特别困难)。

您不必执行与 C++ 不同的任何操作来保留堆栈空间。在某些领域(考虑工厂方法、类集群等)，要保留的堆栈大小仍然是一个限制。

还有一些运行时功能默认情况下不起作用。这里最好的例子是在运行时添加 ivars 的能力。事实上，如果您需要的话，您可以容纳此功能。我没有费心去做那个练习。

自然地，基本接口(interface)可能会出现一些偏差 - 我为了好玩而做出的一个偏差是添加了交换事件对象的实现(类型)的能力。

玩得开心

更新2

事实证明，GCC 接受了我编写的概念验证。不幸的是，由于在保留正确大小时可能遇到的问题/危险(考虑到语言的动态特性......)，这在 clang 中被禁止了。示例:clang 禁止 sizeof(NSObject)。哦，好吧。