如何通过非零终止字符串设置GMP大整数mpz且避免内存分配？

你的代码核心错误是对mpn_set_str的参数理解有误：mpn_set_str的第二个参数不是ASCII字符串，而是存储数字原始值（0到base-1）的字节数组。你直接传入ASCII字符串指针，导致每个字符的ASCII码（比如'3'的0x33、'5'的0x35）被当作数字值传入，这在base16下完全超出合法范围（0-15），最终计算出错误结果。

另外，直接操作mpz_t的内部字段（_mp_d、_mp_size）属于未定义行为，GMP内部结构可能随版本变化，不应直接修改。

正确实现mpz_set_strn的方案 #

要在不修改原字符串、不额外动态分配内存的前提下实现需求，可以模拟mpz_set_str的逻辑，逐个解析字符串的前n个字符，通过GMP公开API构建大整数：

#include <gmp.h>
#include <ctype.h>

int mpz_set_strn(mpz_t rop, const char *str, size_t n, int base) {
    mpz_set_ui(rop, 0);
    const char *end = str + n;
    int is_negative = 0;

    // 处理符号（与mpz_set_str逻辑对齐）
    if (str < end && (*str == '-' || *str == '+')) {
        is_negative = (*str == '-');
        str++;
    }

    // 跳过前导空白（可选，与mpz_set_str行为一致）
    while (str < end && isspace((unsigned char)*str)) {
        str++;
    }

    // 逐个解析字符
    while (str < end) {
        char c = *str;
        int digit;

        // 解析字符对应的数字值
        if (isdigit((unsigned char)c)) {
            digit = c - '0';
        } else if (islower((unsigned char)c)) {
            digit = 10 + c - 'a';
        } else if (isupper((unsigned char)c)) {
            digit = 10 + c - 'A';
        } else {
            // 非法字符，返回错误（与mpz_set_str一致）
            return -1;
        }

        // 检查数字是否超出base范围
        if (digit >= base || digit < 0) {
            return -1;
        }

        // 构建大整数：rop = rop * base + digit
        mpz_mul_ui(rop, rop, base);
        mpz_add_ui(rop, rop, digit);

        str++;
    }

    // 设置符号
    if (is_negative) {
        mpz_neg(rop, rop);
    }

    return 0;
}

// 测试代码
int main() {
    const char *str_base16 = "354a546fde";
    mpz_t bn;
    mpz_init(bn);

    // 使用前8个字符"354a546f"设置大整数
    if (mpz_set_strn(bn, str_base16, 8, 16) == 0) {
        gmp_printf("%ZX\n", bn); // 预期输出：354A546F
    } else {
        printf("Invalid input\n");
    }

    mpz_clear(bn);
    return 0;
}

代码说明 #

1. 完全使用GMP公开API，避免直接操作内部结构，保证跨版本兼容性。
2. 逻辑对齐mpz_set_str：支持符号位、前导空白，错误处理规则一致。
3. 无额外动态内存分配（仅GMP内部管理大整数内存），符合需求。
4. 测试代码使用前8个字符，输出结果与预期一致。

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