c - 从 float 到 mpz_t

Question

我在 C 中使用 GMP。是否可以将 mpz_t 设置为浮点值？

Answer 1

是的，有一个函数 mpz_set_d 可以用于此目的:

void mpz_set_d (mpz_t rop, double op);

float 将由 C 本身升级为 double，然后 GMP 将为您将其转换为 mpz_t 类型。

但是你应该知道 mpz_t 是一个integer 类型，所以你可能会失去精度。如果您只是使用 float 来保存大于您的 long 类型的整数，那应该没问题。

如果您想处理实际 浮点值，您可能应该使用mpf_t。

---

为了扩展，这里有一些示例代码和输出:

#include <stdio.h>
#include <values.h>
#include <gmp.h>

int main (void) {
    float f = MAXFLOAT;

    mpz_t num;
    mpz_init_set_d (num, f);

    printf ("Max float: %f\n", f);
    printf ("As mpz_t : ");
    mpz_out_str (stdout, 10, num);
    putchar ('\n');

    return 0;
}

注意使用合并的mpz_init_set_d(num, f)来简化代码。这等同于以下两个语句:

mpz_init (num);
mpz_set_d (num, f);

上面的程序输出:

Max float: 340282346638528859811704183484516925440.000000
As mpz_t : 340282346638528859811704183484516925440