C自适应类型演绎

Question

最近一直在玩C的类型演绎。在这样做的时候，我遇到了一些奇怪的事情。当我运行这段代码时:

#include <iostream>
using namespace std;

int main() {
    auto n = 40;
    auto factorial = 1;

    for(int i = 1; i <=n; ++i)
    {
        factorial *= i;
    }

    cout << "Factorial of " << n << " = " << factorial <<endl;   
    cout << "Size of factorial: " << sizeof(factorial) << endl; 
    return 0;
}

它打印出这个:

Factorial of 40 = 0
Size of factorial: 4

因此，很明显存在缓冲区溢出，因此阶乘为 0。但我不明白的是，为什么auto没有适应像无符号长长的东西，为什么它保持为int（4字节）？有没有办法解决这个问题？

Answer 1

所以很明显存在缓冲区溢出

乘法结果溢出，但这里没有缓冲区溢出，即当您将更多数据写入缓冲区时

为什么auto不能适应无符号long-long，为什么它保持为int（4字节）？有办法解决这个问题吗？

1是一个整型文字，因此如果使用auto factorial=1它将创建一个int变量，并为该变量保留固定的内存量。无法更改大小，因为如果增加它，它将被淹没在附近的变量中

如果您想要动态调整大小的能力，那么您可以通过在堆上分配内存来自己处理，就像< code>std::vector和< code>std::unordered_map这样的容器一样。这需要更多的内存和CPU资源，这意味着它们不能应用于基本的POD类型，因为它们应该是快速的，并且尽可能接近硬件。如果你想要大整数算法，那么使用任意精度的库，比如GMP或Boost.Multiprecision，或者阅读bigint、big integer、largenumber、任意精度标签以获得更多信息

看

• 为什么类型总是一定的大小，不管它的值如何？
• 我们可以增加数据类型的大小吗？

Answer 2

在C #中，类型只是一个编译时概念。当你真正开始运行程序的时候，它已经忘记了变量是什么类型；它不能在运行时适应。

你能做的最好的就是使用某种bignum类型，它会根据需要自动增长，但它仍然保持相同的类型。