Python内部是如何将float类型转换为字符串的？

1. 函数定义的源码位置 #

该函数的具体实现位于 CPython 源码的 Python/dtoa.c 文件中，这是 CPython 处理双精度浮点数与字符串相互转换的核心逻辑文件，所有和浮点数格式化、repr 输出相关的底层转换逻辑都集中在此文件内。

2. 具体实现逻辑 #

PyOS_double_to_string 基于 David Gay 开源的经典 dtoa（double to ASCII）算法实现，你观察到的「选择与内部表示相等的最短字符串」的特性，正是这个算法的核心能力：

• 当调用时传入格式符 'r'（也就是 float_repr 中使用的格式参数），算法会遵循两个核心约束输出字符串：
  • 输出的字符串被解析回双精度浮点数时，和原始输入浮点数的二进制表示完全一致，保证 eval(repr(x)) == x 恒成立
  • 在所有满足上述条件的十进制字符串中，选择长度最短的那一个
• 核心实现步骤大致如下：
  • 拆解输入双精度浮点数的二进制结构，提取符号位、指数位、尾数位，还原出该浮点数对应的精确二进制分数值
  • 计算该二进制分数的等价区间：所有落在这个区间内的十进制数，转换为双精度浮点数时都会得到当前输入的浮点数
  • 在这个区间内搜索最短的十进制字符串，如果有多个长度相同的候选，选择最接近真实值的那个
  • 最后根据传入的标志位做格式调整，比如 float_repr 中传入的 Py_DTSF_ADD_DOT_0 标志，就是要求对整数形态的浮点数补充 .0 后缀，避免和整数类型的字符串表示混淆
• Python 3.1 之后 repr(0.1) 不再输出 17 位长串而是直接展示 0.1，就是这个算法落地后的效果。

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