modf函数可安全拆分浮点数为符号相同的整数和小数部分，返回小数部分，整数部分通过指针参数输出；其整数部分等价于trunc(x)，非floor或强制转换，且支持NaN、±inf等边界值。
用 modf 拆分浮点数：整数和小数部分直接分离
modf 是 C++ 标准库（<cmath>）里专为拆分浮点数设计的函数，它把一个 double 值分解成符号相同的整数部分和小数部分，并把整数部分通过指针参数返回。这是最安全、最符合 IEEE 754 行为的方式，比强制类型转换或字符串解析靠谱得多。
关键点：modf 不改变原值符号，返回的小数部分与原数同号，整数部分也保留原符号；它处理边界值（如 NaN、±inf）有明确定义，不会崩溃或未定义行为。
- 函数原型是
double modf(double value, double* iptr)；对float和long double，分别用modff和modfl -
iptr必须指向有效内存，否则行为未定义——常见错误是传入空指针或栈上未初始化的指针变量 - 返回值是小数部分（
double类型），整数部分写入*iptr所指位置
完整示例：正确调用 modf 并验证结果
下面代码演示如何安全提取 -3.14159 的整数与小数部分，并注意输出格式避免精度误导：
#include <iostream>
#include <cmath>
#include <iomanip>
<p>int main() {
double x = -3.14159;
double int_part;
double frac_part = modf(x, &int_part);</p><pre class='brush:php;toolbar:false;'>std::cout << std::fixed << std::setprecision(5);
std::cout << "原值: " << x << "\n";
std::cout << "整数部分: " << int_part << "\n"; // 输出 -3.00000
std::cout << "小数部分: " << frac_part << "\n"; // 输出 -0.14159
return 0;}
立即学习“C++免费学习笔记（深入）”；
注意：int_part 是 double 类型，不是 int——它保留了原始精度和符号，不能直接当整型用（比如做数组索引前需显式转换并检查范围）。
常见错误：为什么 (int)x 或 floor(x) 不等于 modf 的整数部分？
对负数，三者行为完全不同：
-
(int)-3.14159截断得-3（C++ 强制转换向零取整） -
floor(-3.14159)得-4.0（向下取整） -
modf(-3.14159, &ip)写入ip的是-3.0（整数部分，向零方向的整数值）
也就是说，modf 的“整数部分”定义是数学上的「截断小数位」，等价于 trunc(x)，不是 floor 也不是类型转换。如果业务逻辑要求向零取整再分离，modf 就是唯一正解。
兼容性与性能提醒
modf 在所有主流平台（GCC、Clang、MSVC）和 C++11 及以上标准中都可用，无额外依赖。它的开销极低，通常编译器会内联为几条 CPU 指令（尤其在 x86-64 上有专用指令 fxtract 或类似实现）。
真正容易被忽略的是：如果你要处理 float 类型，必须用 modff，传 modf 会导致隐式提升+精度损失；同理，long double 必须配 modfl。混用类型不会编译报错，但结果可能不符合预期。
