如何编写带范围约束、支持自定义最值的浮点数匹配正则表达式

你现有的通用浮点数正则已经覆盖了带正负号整数、整数带小数、点前缀纯小数三类合法格式，补充范围限制的核心逻辑是按符号拆分区间、按整数位长度分段匹配，从根源避免正则回溯问题，同时预留可替换的边界位，方便适配不同区间需求。

针对-29999984 ~ 29999983区间的实现 #

带注释的可读版本如下：

^
(
  # 负数区间：匹配 >=-29999984 且 <0 的浮点数
  -(
    # 整数位长度小于8位的负数，任意小数位均合法
    [0-9]{1,7}([.][0-9]*)?
    |
    # 整数位为8位时，逐位卡下边界（对应绝对值<=29999984）
    2999998[0-4]([.][0-9]*)?
    |
    299999[0-7][0-9]([.][0-9]*)?
    |
    29999[0-8][0-9]{2}([.][0-9]*)?
    |
    2999[0-9]{4}([.][0-9]*)?
    |
    299[0-9]{5}([.][0-9]*)?
    |
    29[0-9]{6}([.][0-9]*)?
    |
    2[0-8][0-9]{6}([.][0-9]*)?
    |
    1[0-9]{7}([.][0-9]*)?
    |
    # 点前缀纯小数（如-.123），值大于-1，必然合法
    [.][0-9]+
  )
  |
  # 零值区间：匹配所有等于0的浮点数格式，固定无需修改
  [+-]?(0([.][0-9]*)?|[.][0-9]+)
  |
  # 正数区间：匹配 >0 且 <=29999983 的浮点数
  [+]?(
    # 整数位长度小于8位的正数，任意小数位均合法
    [0-9]{1,7}([.][0-9]*)?
    |
    # 整数位为8位时，逐位卡上边界（对应值<=29999983）
    2999998[0-3]([.][0-9]*)?
    |
    299999[0-7][0-9]([.][0-9]*)?
    |
    29999[0-8][0-9]{2}([.][0-9]*)?
    |
    2999[0-9]{4}([.][0-9]*)?
    |
    299[0-9]{5}([.][0-9]*)?
    |
    29[0-9]{6}([.][0-9]*)?
    |
    2[0-8][0-9]{6}([.][0-9]*)?
    |
    1[0-9]{7}([.][0-9]*)?
    |
    # 点前缀纯小数（如.123），值小于1，必然合法
    [.][0-9]+
  )
)$

生产环境可直接使用的单行压缩版本：

^(-([0-9]{1,7}([.][0-9]*)?|2999998[0-4]([.][0-9]*)?|299999[0-7][0-9]([.][0-9]*)?|29999[0-8][0-9]{2}([.][0-9]*)?|2999[0-9]{4}([.][0-9]*)?|299[0-9]{5}([.][0-9]*)?|29[0-9]{6}([.][0-9]*)?|2[0-8][0-9]{6}([.][0-9]*)?|1[0-9]{7}([.][0-9]*)?|[.][0-9]+)|[+-]?(0([.][0-9]*)?|[.][0-9]+)|[+]?([0-9]{1,7}([.][0-9]*)?|2999998[0-3]([.][0-9]*)?|299999[0-7][0-9]([.][0-9]*)?|29999[0-8][0-9]{2}([.][0-9]*)?|2999[0-9]{4}([.][0-9]*)?|299[0-9]{5}([.][0-9]*)?|29[0-9]{6}([.][0-9]*)?|2[0-8][0-9]{6}([.][0-9]*)?|1[0-9]{7}([.][0-9]*)?|[.][0-9]+))$

该正则已加首尾锚点避免部分匹配误判，可准确识别边界值：-29999984、29999983会正常匹配，-29999984.1、29999983.1这类超出范围的值会被拦截，区间内的-123.456、0.0001、29999982.999等值均可正常通过。

注意：如果你的运行环境支持数值类型转换，优先将输入转为浮点数后直接比较大小，代码可读性和维护成本远高于正则方案。以上正则方案仅适用于必须使用正则做校验的场景（如前端表单原生pattern校验、网关路由规则配置等无法执行自定义代码的场景）。

适配任意最值范围的改造方法 #

不需要重写整体结构，按以下固定步骤替换对应边界段即可：

• 零值匹配块固定保留，不需要修改
• 拆分区间为负数段[min, 0)、正数段(0, max]两个独立块，两段逻辑对称：
  • 先计算对应边界的整数位长度L：正数段取max的整数位长度，负数段取min绝对值的整数位长度，所有整数位长度小于L的数，不管携带什么小数位都直接放行
  • 整数位长度等于L的数，从最高位开始逐位匹配：最高位小于边界值最高位的数全放行；最高位等于边界值时，递归匹配下一位，直到最后一位卡到边界的末位数值即可
  • 只要边界值大于1（正数段）、小于-1（负数段），点前缀纯小数（如.123、-.456）可直接放行，不需要额外判断
• 如果需要兼容前导零（如000123.45这类格式），在整数位匹配规则前增加前导零的匹配逻辑即可。

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