假装 64 位整数具有无限范围

Question

我正在为一种专有语言实现一个编译器。

该语言有一种内置的整数类型，范围不受限制。有时变量使用较小的类型表示，例如，如果 a 和 b 是整型变量，但 b 仅分配表达式<的值代码>a % 100000 或a & 0xFFFFFF，则 b 可以表示为 Int32。

我正在考虑实施以下优化。假设它看到与此 C# 方法等效的内容：

public static void Main(string[] args)
{
    BigInt i = 0;
    while (true)
    {
        DoStuff(i++);
    }
}

从数学上来说，转换为以下内容无效有效：

public static void Main(string[] args)
{
    Int64 i = 0;
    while (true)
    {
        DoStuff(i++);
    }
}

因为我已将 BigInt 替换为 Int64 >，如果循环永远运行，最终会溢出。不过我怀疑我可以忽略这种可能性，因为：

• i 被初始化为 0，并且只能通过重复添加 1 来修改，这意味着将需要 2⁶³ 迭代 。
• 如果 DoStuff 做了任何有用的工作，那么 i 需要几个世纪的时间（根据我非常粗略的测试推断）才能溢出 运行该程序的机器不会持续那么久。不仅如此，它的架构可能也不会持续那么久，所以我也不需要担心它在迁移到新硬件的虚拟机上运行。
• 如果 DoStuff 没有做任何有用的工作，操作员最终会注意到它正在浪费 CPU 周期并终止进程

那么我需要担心什么情况？
有编译器已经使用这个 hack 了吗？

Answer 1

嗯..在我看来你已经回答了你的问题。

但我怀疑这个问题是否真的有任何有用的结果。

如果默认情况下唯一的内置整数具有无限范围，那么对于循环计数器等典型用法来说，它的效率应该不会低下。

我认为仅在实际溢出发生后扩展值范围（并为变量分配更多内存）对于这种语言来说并不困难。