为什么编程语言不能关闭select“功能”

Question

随着编程的发展(从汇编语言到高级语言)，越来越多的特性(垃圾收集、异常、动态类型)被添加到一些语言中作为标准。是否有可能创建一种高级语言，该语言在默认情况下以所有特性开头，并且一旦程序运行，则能够有选择地转换代码中的的特性，或者有隔离的代码部分，以便它们不使用这些特性。也许修改抽象语法树中的分支是静态的，而不是动态的；编译的，而不是解释的。

是否有任何编程语言可以作为动态和静态的，也可以有选择地通过释放已使用的对象，甚至禁用异常处理，一直到运行时只包含类似于c++的构造，或者上面提到的任何东西来进行垃圾回收？

Answer 1

对于一种语言来说，它必须支持两种选择:垃圾收集和手动内存管理，或者静态和动态类型，并使这两个世界互操作。

换句话说，你所说的只是“关闭A"，实际上是”设计A，设计B，设计在A和B之间的过渡“。因此，这样做将是大量额外的设计和实现工作，它将使语言更加复杂，并且语言可能最终成为“两个世界中最糟糕的”。

现在，支持上述两种特性组合的语言确实以有限的形式存在：

• C#通常是静态类型的语言，但它也有dynamic关键字，它允许您切换到某些变量的动态类型。这主要是为了与动态语言进行互操作，在实践中使用得不多。
• C++/CLI是一种支持手动托管内存(*指针、new分配和delete释放)和垃圾收集内存(^指针，gcnew分配)的语言。它主要用于C++代码和.Net代码之间的互操作，在实践中并没有得到广泛的应用。

您可能在这里注意到了一个主题:在这两种情况下，特性/语言都是为了连接两个世界而创建的，但并没有获得多大的吸引力。