C语言typedef中的数组下标运算符及libgmp中mpz_t定义疑问

一、C语言typedef中的数组下标运算符是什么？ #

在C语言的typedef语法里，数组下标运算符就是[]，用来定义数组类型的别名。比如：

typedef int int_arr[5];

这段代码把int_arr定义成了“包含5个int元素的数组”类型，后续用int_arr arr;声明变量，等价于直接写int arr[5];。

二、libgmp中typedef __mpz_struct mpz_t[1];的含义及等价性分析 #

1. [1]的含义 #

这里的[1]表示将mpz_t定义为包含1个__mpz_struct结构体元素的数组类型。当你声明mpz_t num;时，实际上是创建了一个长度为1的__mpz_struct数组num，它直接占用一个__mpz_struct结构体的内存空间。

2. 是否等价于typedef __mpz_struct* mpz_t;？ #

完全不等价，两者有本质区别：

• 类型本质不同：mpz_t作为数组类型，声明的变量是数组本身；而指针类型的mpz_t声明的变量是一个指针，仅占用指针大小的内存（如4或8字节），需要额外指向已分配的__mpz_struct空间。
• 使用逻辑不同：libgmp这样设计的好处是，用户声明mpz_t num;后可直接使用——数组名在表达式中会隐式转换为指向第一个元素的指针，无需手动分配内存；如果是指针类型，用户还得调用初始化函数（如mpz_init）去分配结构体空间，容易遗漏导致错误。
• 内存大小差异：sizeof(mpz_t)得到的是__mpz_struct结构体的大小；如果是指针类型，sizeof(mpz_t)得到的是当前系统下指针的大小，两者数值完全不同。

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