如何让TypeScript识别uint、int与number的隐式互转？

针对你开发ES3方言字节码的场景，要让TypeScript识别number、uint、int的双向隐式兼容，同时解决方法签名导致的VerifyError问题，可以通过TypeScript的结构类型系统特性和全局类型声明实现，无需手动维护类型替换列表，同时还能引导用户优先使用number类型。

核心实现步骤 #

1. 全局类型声明（globals.d.ts） #

手动声明Number、uint、int类，保证三者结构完全一致，让TypeScript通过结构兼容性自动允许双向赋值：

// 重置全局后的自定义Number类
declare class Number {
  toString(radix?: number): string;
  valueOf(): number;
  // 按需添加其他Number核心成员
}

/**
 * @deprecated 仅用于匹配外部ActionScript签名，优先使用number类型
 */
declare class uint {
  toString(radix?: number): string;
  valueOf(): number;
  // 对应ActionScript uint的静态成员，比如最大值
  static readonly MAX_VALUE: number;
}

/**
 * @deprecated 仅用于匹配外部ActionScript签名，优先使用number类型
 */
declare class int {
  toString(radix?: number): string;
  valueOf(): number;
  static readonly MAX_VALUE: number;
  static readonly MIN_VALUE: number;
}

// 关键：让TypeScript识别三者的双向结构兼容性
declare global {
  interface uint extends Pick<Number, keyof Number> {}
  interface int extends Pick<Number, keyof Number> {}
}

2. 直接用uint/int声明外部类签名 #

无需将uint/int替换为number，直接在外部类声明中使用原始类型，这样TypeScript类型检查会通过，同时转换器能生成符合虚拟机要求的方法签名：

// 正确声明ActionScript来源的类C
declare class C {
  // 直接使用uint类型，与原始ActionScript签名一致
  f(v: uint): void;
}

// 实现类时也沿用uint类型
class MyC extends C {
  f(v: uint): void {
    // 宿主环境支持隐式互转，可直接将v当作number使用
    const sum = v + 1;
    // 也可将number转回uint
    const u: uint = sum;
  }
}

3. 双向赋值的类型验证 #

完成上述声明后，TypeScript会允许以下双向赋值操作，完全匹配宿主环境的隐式转换逻辑：

declare function getUint(): uint;

// number转uint
const x: uint = 0;
// uint转number
const y: number = getUint();

补充说明 #

• 不鼓励用户使用uint/int：通过@deprecated注释明确提示用户优先使用number，仅在需要匹配外部ActionScript签名时使用uint/int。
• 结构兼容性原理：TypeScript是结构类型系统，只要两个类型拥有完全一致的成员结构，就会被视为兼容，无需显式继承关系。
• 避免VerifyError：直接使用uint/int声明方法参数/返回值，转换器能生成与原始ActionScript签名一致的字节码，从根源避免虚拟机的签名校验错误。

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