MPFR初始化函数为何无需指针即可操作未初始化mpfr_t变量？

核心真相是：mpfr_t不是普通结构体或未初始化指针，它是一个长度为1的数组类型。

MPFR头文件里，mpfr_t的真实定义是：

typedef struct __mpfr_struct mpfr_t[1];

为什么这么写就能完成初始化？ #

C语言里有个基础特性：数组作为函数参数传递时，会自动退化为指向数组首元素的指针。所以当你调用mpfr_init2(number, 1000)时，number这个mpfr_t类型（也就是长度为1的__mpfr_struct数组），会被隐式转换成struct __mpfr_struct*类型传给函数。

这样mpfr_init2拿到的就是栈上那块__mpfr_struct结构体的有效指针，直接修改结构体里的精度、数据缓冲区等成员完全合法，根本不是什么未定义行为。

针对你两个推测的澄清 #

• 你担心“直接改栈上mpfr_t地址是未定义行为”：这是误解，数组传参退化为指针是C标准规定的行为，函数拿到的是合法指针，修改操作完全合规。
• 你猜测“mpfr_t本质是指针”：不对，mpfr_t是数组类型，不是指针。数组本身在栈上占了__mpfr_struct的空间，传参时自动转成指向自己的指针，不存在“未初始化指针瞎指栈”的情况。

这种设计是MPFR搞的语法糖——让用户不用每次写&number，直接传变量名就能实现指针传递的效果，写起来更简洁，还能保持类型安全。

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