Ruby标准库BigMath模块为何未实现tan、acos、asin方法？

最初未实现的核心原因 #

BigDecimal本身定位是面向高精度十进制计算场景，最早的BigMath实现优先覆盖金融、计量类场景的高频刚需函数，这三个三角函数/反三角函数没有第一时间落地，不是刻意遗漏，主要是几个实打实的实现门槛：

• 精度控制复杂度远高于已落地的函数。已实现的sin/cos是全域有界函数，用稳定的级数展开就能很方便地控制收敛精度，不需要处理极端边界。但tan存在大量奇点（π/2 +kπ位置），在奇点附近函数值趋向无穷，高精度计算时需要先精准判断输入和最近奇点的距离，否则很容易出现计算溢出、有效数字完全丢失的问题，实现逻辑的复杂度高很多。
• 反三角函数的边界处理成本高。asin/acos的合法输入域严格限制在[-1,1]区间，BigDecimal场景下不能直接照搬Float的硬校验逻辑——很多时候输入值是前置计算的结果，可能因为精度截断显示为1.0000000000000000001，实际真值就是1，直接抛定义域错误完全不符合使用预期。另外这两个反函数在靠近±1的区间级数收敛速度极慢，必须额外做变量替换、分支适配才能保证计算效率，早期没有足够强的用户需求支撑投入精力做这部分适配。
• 底层实现无法直接复用现有能力。标准库Math模块里的Float版三角函数直接调用系统libm的硬件加速实现，只有固定64位双精度，完全没法支撑BigDecimal任意精度的计算要求，所有BigMath的函数都要从头实现纯软件的高精度计算逻辑，开发和测试成本都不低，初期自然优先覆盖使用频率最高的函数。

当前实现这些方法需要完成的工作 #

现在BigMath已经有了成熟的sin/cos/sqrt/PI/log等基础能力，实现这三个函数不需要从零搭框架，核心要做的事包括：

• 分区间适配稳定的高精度算法
  • tan可以基于现有sin/cos做基础实现，额外补充奇点检测逻辑：根据传入的精度参数计算输入和最近奇点的距离，当距离小于当前精度对应的最小阈值时，直接返回对应符号的无穷大值；非奇点区域要额外做误差校准，避免sin/cos的截断误差拉低最终结果的有效数字位数。
  • asin/acos要按输入值分区间选收敛策略：输入靠近0时用泰勒级数快速收敛，输入靠近±1时通过三角恒等变换做变量替换，把计算转移到收敛速度更快的区间，避免迭代次数过多。同时要加域容错逻辑：当输入和±1的差值小于当前精度下的计算误差时，自动把值钳位到±1，减少无意义的报错。
• 全场景测试覆盖
  要覆盖普通区间、奇点附近、域边界附近的所有场景，逐精度档位校验计算结果的误差，保证最终结果的误差小于1个最低有效位单位；还要兼容BigDecimal现有的所有舍入模式、异常处理配置，和现有BigMath方法的行为保持一致。
• 性能与兼容性打磨
  给迭代计算加上合理的次数上限，避免极端输入下计算时间过长；C扩展层面的实现要控制临时对象的生成，减少不必要的内存开销。接口层面要和现有BigMath方法保持统一：第一个参数接收BigDecimal类型输入，第二个参数指定计算精度，返回对应精度的BigDecimal结果，符合用户的使用习惯。

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