c++ - 为什么 C++ 需要语言修改为 "managed"？

Question

为什么不能编写编译器来管理 C++ 代码中需要管理的内容(即使其“与 CLR 兼容”)？

也许有一些妥协，比如在某些情况下禁止 void 指针等。但是所有这些额外的关键字等。这些添加必须解决什么问题？

我对某些方面以及可能难以解决的问题有自己的想法，但是非常感谢一个很好的可靠解释!

Answer 1

到目前为止，我不得不不同意这些答案。

要理解的主要问题是 C++ 编译器创建的代码适用于非常笨拙的环境。即使是现代 CPU 也不知道虚函数，见鬼，连函数都是牵强附会。例如，CPU 真的不关心展开堆栈的异常处理代码在任何函数之外。 CPU 处理指令序列，有跳转和返回。就 CPU 而言，函数当然没有名称。

因此，支持函数概念所需的一切都由编译器放置在那里。例如。 vtables 只是大小合适的数组，从 CPU 的角度来看具有正确的值。 __func__以字符串表中的字节序列结束，其中最后一个是 00。

现在，没有什么可以说目标环境必须是愚蠢的。您绝对可以针对 JVM。同样，编译器必须填写 native 未提供的内容。没有原始内存？然后分配一个大字节数组并改用它。没有原始指针？只需在那个大字节数组中使用整数索引。

主要问题是 C++ 程序在宿主环境中看起来完全无法识别。 JVM 并不笨，它知道函数，但它希望它们是类成员。它不希望他们有 <和 >以他们的名义。你可以绕过这个，但你最终得到的基本上是名称修改。与今天的名称改编不同，这种名称改编不是为 C 链接器设计的，而是为智能环境设计的。因此，它的反射引擎可能会确信有一个类 c__plus__plus。具有成员函数 __namespace_std__for_each__arguments_int_pointer_int_pointer_function_address ，这仍然是一个很好的例子。我不想知道如果你有 std::map 会发生什么反转迭代器的字符串。

一般来说，反过来实际上要容易得多。几乎所有其他语言的抽象都可以在 C++ 中消除。垃圾收集？这在今天的 C++ 中已经被允许，所以你甚至可以支持 void* .

我还没有解决的一件事是性能。在大字节数组中模拟原始内存？这不会很快，特别是如果你把 double 放进去。你可以玩很多花样来让它更快，但代价是什么？您可能不会获得商业上可行的产品。事实上，您可能会想到一种结合了 C++ 最差部分(许多不寻常的依赖于实现的行为)和 VM 最差部分(慢)的语言。