如何将 GMP C 参数约定转换为更自然的东西？

例如，我想做这样的事情：

#include <gmp.h>
typedef mpz_t Integer;

// 
Integer F(Integer a,Integer b,Integer c,Integer d) {
    Integer ret = times(plus(a,b),plus(c,d));
}

但是，GMP 不允许我这样做，显然 mpz_t 是一个数组，所以我收到错误：

error: ‘F’ declared as function returning an array

所以我必须做这样的事情：

void F(Integer ret,Integer a,Integer b,Integer c,Integer d) {
    Integer tmp1,tmp2;

    plus(tmp1,a,b);     
    plus(tmp2,c,d);     
    times(ret,tmp1,tmp2); 
}

这是不自然的，并且不遵循 C（或一般数学）表达式的逻辑组成方式。事实上，您无法以类似数学的方式编写任何内容，因为显然您无法返回 GMP 数字！例如，如果我想编写一个简单的 yacc/bison 风格解析器，将使用 +、-、/、* 等的简单语法转换为使用 GMP 实现给定表达式的 C 代码，那么这似乎会困难得多，因为我必须跟踪所有中间值。

那么，我怎样才能在这里迫使 GMP 屈服于我的意志并接受更合理的语法呢？我可以安全地“作弊”并将 mpz_t 转换为 void *，然后在另一端将其重新构造回 mpz_t 吗？我通过阅读文档假设它不是really传递一个数组，但只是一个引用，那么为什么它不能也返回一个引用呢？是否有一些良好的编程基础可以以这种方式进行，我在编写自己的程序时应该考虑？

From gmp.h:

typedef __mpz_struct mpz_t[1];

这很有意义，并且很自然。想一想：有一个 大小为 1 的数组允许您处理模糊指针（称为不透明指针） 参考）及其所有优点：

mpz_t number;
DoubleIt(number); /* DoubleIt() operates on `number' (modifies it) as
                     it will be passed as a pointer to the real data */

如果它不是一个数组，你就必须这样做：

mpz_t number;
DoubleIt(&number);

然后就是所有的混乱。不透明类型背后的意图是 隐藏这些，这样你就不用担心了。而其中的主要内容之一 关注点应该明确：规模（这会导致性能）。当然你 无法返回保存仅限于可用内存的数据的结构。什么 关于这个（考虑mpz_t这里作为“一流”类型）：

mpz_t number = ...;
number = DoubleIt(number);

您（程序）必须将所有数据复制到number并将其作为 您的函数的参数。然后需要留出适当的空间 返回另一个更大的数字。

结论：由于您必须间接处理数据（使用指针），因此 最好使用不透明类型。您将仅传递对您的引用 函数，但你可以对它们进行操作，就好像整个概念是引用传递（C 默认为引用传递).