Windows下GMP库mpf_class与uint64_t兼容问题求助

问题概述 #

一段将UINT64_MAX赋值给GMP库mpf_class对象的代码，在Linux/Debian（g++ 10.2）环境下可正常编译运行且断言成立，但在Windows（mingw64 g++ 12.2.0）环境下编译失败。原因是Windows中uint64_t对应unsigned long long int类型，而GMP的mpf_class未为该类型定义构造函数和重载运算符。

代码示例 #

#include <gmpxx.h> // link with gmp + gmpxx
#include <string>

/// Helper to convert mpf_class to std::string
[[nodiscard]] inline std::string mpf_class_to_str(const mpf_class& num) {
    mp_exp_t exponent(1);
    return num.get_str(exponent, 10);
}

int main() {
    mpf_class y = UINT64_MAX; // defined in my mingw64 as 0xffffffffffffffffULL
    //            ^
    //            |  无强制转换 -> 编译错误
    //               强制转换为(unsigned int) -> 可编译，但断言失败
    //               强制转换为(uint64_t) -> 编译错误

    y *= UINT64_MAX; // 计算UINT64_MAX的平方
    assert(mpf_class_to_str(y) == "340282366920938463426481119284349108225");
}

编译错误信息 #

error: conversion from 'long long unsigned int' to 'mpf_class' is ambiguous
   31 |             mpf_class y = UINT64_MAX;
      |                           ^~~~~~~~~~

GMP头文件中相关构造函数定义 #

查看gmpxx.h，发现mpf_class的算术构造函数仅支持到unsigned long int，缺少unsigned long long int的版本：

#define __GMPXX_DEFINE_ARITHMETIC_CONSTRUCTORS      \
  __gmp_expr(signed char c) { init_si(c); }     \
  __gmp_expr(unsigned char c) { init_ui(c); }       \
  __gmp_expr(signed int i) { init_si(i); }      \
  __gmp_expr(unsigned int i) { init_ui(i); }        \
  __gmp_expr(signed short int s) { init_si(s); }    \
  __gmp_expr(unsigned short int s) { init_ui(s); }  \
  __gmp_expr(signed long int l) { init_si(l); }     \
  __gmp_expr(unsigned long int l) { init_ui(l); }   \
  __gmp_expr(float f) { init_d(f); }            \
  __gmp_expr(double d) { init_d(d); }

无需修改GMP头文件的解决方案 #

直接修改gmpxx.h添加__gmp_expr(unsigned long long int l) { init_ui(l); }虽然可行，但属于侵入式修改，以下是更简洁的非侵入式方案：

方案1：显式转换为unsigned long（64位系统适用） #

在64位Windows系统中，unsigned long通常是64位，可以直接转换：

mpf_class y = static_cast<unsigned long>(UINT64_MAX);

方案2：通过字符串初始化 #

利用mpf_class支持字符串构造的特性，先将UINT64_MAX转为字符串：

#include <sstream>
// ...
std::ostringstream oss;
oss << UINT64_MAX;
mpf_class y(oss.str());

方案3：调用GMP底层C API初始化 #

手动通过GMP的C API完成数值初始化：

mpf_class y;
mpz_t tmp;
mpz_init_set_ui(tmp, UINT64_MAX);
mpf_set_z(y.get_mpf_t(), tmp);
mpz_clear(tmp);

方案4：封装自定义转换函数 #

编写一个工具函数来完成unsigned long long到mpf_class的转换，避免重复代码：

inline mpf_class ull_to_mpf(unsigned long long val) {
    mpf_class res;
    mpz_t tmp;
    mpz_init_set_ui(tmp, val);
    mpf_set_z(res.get_mpf_t(), tmp);
    mpz_clear(tmp);
    return res;
}

// 使用示例：
mpf_class y = ull_to_mpf(UINT64_MAX);
y *= ull_to_mpf(UINT64_MAX);

内容的提问来源于stack exchange，提问作者nada