TypeScript：类型断言后如何实现严格类型检查？

这个问题我太懂了！用类型断言确实容易踩这个坑——TS信了你的话，但运行时属性根本没初始化，结果访问就炸了。给你几个简洁又安全的方案，保证类型检查和运行时行为完全对齐：

方案一：用Object.assign合并+类型注解（最直接） #

直接通过Object.assign把函数和属性对象合并，再用类型注解约束，TS会自动检查所有属性是否都被正确初始化，完全不需要断言：

type FuncPlus = { 
  (): void; 
  anAttr: number; 
  anotherAttr: Array<number>; 
};

// 合并函数和属性，TS会验证是否符合FuncPlus类型
const f: FuncPlus = Object.assign(() => {}, {
  anAttr: 1,
  anotherAttr: [] // 必须初始化这个数组，否则TS会报错
});

f.anotherAttr.length; // 现在完全安全，运行时也有真实的数组

这个方法的核心是让TS帮你把关，如果漏写了某个属性或者类型不对，TS会直接报错，从根源避免运行时undefined的问题。

方案二：封装工厂函数（适合重复创建） #

如果需要多次创建这种带属性的函数，写个工厂函数会更方便，同时强制要求传入所有必要的属性参数：

type FuncPlus = { 
  (): void; 
  anAttr: number; 
  anotherAttr: Array<number>; 
};

function createFuncPlus(anAttr: number, anotherAttr: number[]): FuncPlus {
  const func = () => {};
  func.anAttr = anAttr;
  func.anotherAttr = anotherAttr;
  return func; // TS自动推断返回类型符合FuncPlus，无需断言
}

// 创建实例时必须传入所有属性，避免遗漏
const f = createFuncPlus(1, []);
f.anotherAttr.length; // 安全访问无压力

工厂函数把构造逻辑封装起来，每次创建都能保证实例完全符合类型定义，还能复用逻辑。

为什么原来的断言方案不安全？ #

类型断言as FuncPlus只是告诉TS“我确认这个值是这个类型”，但并没有在运行时给函数添加任何属性。所以f.anotherAttr实际是undefined，访问length自然会报错。上面的方案都是在运行时真正创建了带有所有属性的对象，同时TS全程做类型检查，真正实现了类型安全。

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