TypeScript 小数点位数

一、背景与问题

在开发中处理数值时，小数点位数的控制是一个常见但容易被忽视的细节。特别是在金融系统、科学计算、数据处理等场景中，保持精确的小数位数是至关重要的。TypeScript 作为静态类型语言，提供了丰富的类型系统支持，但其本身并未直接提供控制小数点位数的类型定义机制。

核心问题包括：

如何在类型系统中精确描述小数点位数限制
如何在运行时安全地处理小数点位数的转换
如何避免浮点数精度丢失带来的计算错误
如何在不同场景下选择合适的处理方案

二、基本原理

TypeScript 的类型系统通过类型别名和函数重载可以实现对小数点位数的约束。核心原理是利用类型校验机制，在编译阶段对数值的精度进行控制，同时结合运行时的转换逻辑确保数据一致性。

关键概念：

类型约束：通过类型别名定义具有固定小数位数的类型
运行时转换：在赋值/计算时进行小数点位数的标准化处理
精度控制：通过乘除法和四舍五入实现精度控制
类型断言：在需要时显式声明类型转换

三、环境准备

确保你的开发环境支持 TypeScript 4.1+（最新稳定版本），我们使用以下工具链：

npm install -g typescript

四、核心实现

1. 类型别名定义

通过类型别名定义具有固定小数位数的类型：

// 定义两位小数类型
type Decimal2 = number & {
  __decimal: number; // 标记类型
};

// 类型检查函数
function isDecimal2(value: number): value is Decimal2 {
  return value.toString().split('.')[1]?.length === 2;
}

2. 运行时转换函数

// 两位小数转换函数
function toDecimal2(value: number): Decimal2 {
  const [integer, decimal] = String(value).split('.');
  const fixed = decimal ? decimal.padEnd(2, '0').slice(0, 2) : '00';
  return Number(`${integer}.${fixed}`) as Decimal2;
}

3. 类型校验与转换

// 类型校验
function addDecimals(a: Decimal2, b: Decimal2): Decimal2 {
  if (!isDecimal2(a) || !isDecimal2(b)) {
    throw new Error('Invalid decimal type');
  }
  return toDecimal2(a + b);
}

五、完整案例

电商价格处理系统

// 定义价格类型
type Price = number & {
  __price: number;
};

// 类型校验
function isPrice(value: number): value is Price {
  return value.toString().split('.')[1]?.length === 2;
}

// 价格转换函数
function toPrice(value: number): Price {
  const [integer, decimal] = String(value).split('.');
  const fixed = decimal ? decimal.padEnd(2, '0').slice(0, 2) : '00';
  return Number(`${integer}.${fixed}`) as Price;
}

// 价格计算
function calculateTotal(prices: Price[]): Price {
  let total = toPrice(0);
  for (const price of prices) {
    if (!isPrice(price)) {
      throw new Error('Invalid price format');
    }
    total = toPrice(total + price);
  }
  return total;
}

// 示例使用
const item1: Price = toPrice(99.99);
const item2: Price = toPrice(123.45);
const total = calculateTotal([item1, item2]);
console.log(total); // 输出 223.44

六、源码解析

类型别名设计：
- 通过 & 操作符创建类型标记
- __decimal 属性用于类型识别
- 该设计兼容类型断言和类型守卫
转换函数逻辑：
- 将输入转换为字符串进行分割
- 补零确保小数位数为2
- 转换为数值类型时自动进行四舍五入
类型校验函数：
- 使用 split('.') 分离整数和小数部分
- 验证小数位数是否为2
- 返回布尔值用于类型守卫

七、进阶使用

1. 动态小数位数处理

type DecimalN = number & {
  __decimal: number;
};

function isDecimalN(value: number, decimalPlaces: number): value is DecimalN {
  return value.toString().split('.')[1]?.length === decimalPlaces;
}

function toDecimalN(value: number, decimalPlaces: number): DecimalN {
  const [integer, decimal] = String(value).split('.');
  const fixed = decimal ? decimal.padEnd(decimalPlaces, '0').slice(0, decimalPlaces) : '0'.repeat(decimalPlaces);
  return Number(`${integer}.${fixed}`) as DecimalN;
}

2. 与第三方库结合

import { Decimal } from 'decimal.js';

// 使用第三方库进行高精度计算
function calculateWithDecimal(value1: number, value2: number): string {
  const d1 = new Decimal(value1);
  const d2 = new Decimal(value2);
  return d1.add(d2).toString(); // 返回精确字符串表示
}

八、性能与工程实践

1. 性能优化

避免频繁类型转换：在计算前预处理数据
缓存转换结果：对于重复使用的数值进行缓存
使用原生方法：避免不必要的类型标记开销

2. 异常处理

输入验证：在转换前检查输入格式
错误处理：捕获类型不匹配的异常
默认值处理：为未定义值提供默认处理逻辑

3. 安全风险

类型劫持：防止类型标记被篡改
数据污染：严格控制类型转换流程
精度丢失：避免浮点数计算带来的误差

九、常见问题与踩坑

1. 常见错误

错误示例：

const price: Price = 99.999; // 被自动转换为 100.00

原因分析：TypeScript 的类型推断可能导致精度丢失

解决办法：显式转换

const price: Price = toPrice(99.999); // 正确转换为 100.00

2. 典型陷阱

浮点数精度问题：0.1 + 0.2 会得到 0.30000000000000001
字符串转换陷阱：String(123.456) 会得到 123.456 而不是 123.46
类型断言风险：直接使用 as 进行类型断言可能导致运行时错误

3. 解决方案

使用 toFixed() 方法：

const value = parseFloat((123.456).toFixed(2)); // 123.46

使用第三方库：

import { Decimal } from 'decimal.js';
const d = new Decimal(123.456).toFixed(2); // "123.46"

十、最佳实践

类型系统优先：在关键业务逻辑中使用类型别名
运行时校验：在转换时进行类型校验
统一转换逻辑：创建统一的转换函数处理所有转换
文档注释：为类型别名添加详细注释说明
测试覆盖：为转换函数编写单元测试
性能监控：在高并发场景下监控转换性能

十一、总结

TypeScript 的类型系统提供了强大的工具来控制小数点位数，但需要结合运行时的转换逻辑才能发挥最大价值。在金融系统、科学计算等场景中，严格的类型控制可以避免精度丢失带来的计算错误。同时也要注意避免过度使用类型系统导致的性能损耗。

使用建议：

应该使用：在需要严格精度控制的业务场景
不应该使用：在简单的数值计算或对性能要求极高的场景

通过合理结合类型系统和运行时处理，可以构建出既安全又高效的数值处理方案。在实际开发中，建议根据具体需求选择合适的实现方式，必要时结合第三方库来处理复杂计算场景。

typescript 小数点位数