为何TypeScript类型断言未按预期工作？兼问与C#差异缘由

有C#开发背景的开发者会发现，如下代码在C#中会触发编译错误，但在TypeScript中执行时，(a as IFoo2)仅返回原IFoo对象，这种行为不符合预期且令人困惑：

interface IFoo {
    a: string
    b: string
}

interface IFoo2 {
    c: string
    d: string
    e: string
}

type FooCommon = IFoo | IFoo2

const a: IFoo = { a: 'aaa', b: 'aaa'}
const b: IFoo2 = {a: 'aaa', b: 'adfsa', c: 'adfsa'}

if((a as IFoo2) !== undefined) {
    console.log('aaa')
}

开发者不得不自定义如下类型守卫来实现预期的类型判断：

const isIFoo2 = (obj: FooCommon): obj is IFoo2 => {
    if (obj) {
        return 'c' in obj && 'd' in obj && 'e' in obj
    }
    return false
}

核心差异原因：类型系统与运行时特性不同 #

• C#是标称类型系统
  C#的is/as运算符基于运行时类型标识工作：每个类型编译后都有唯一的类型元数据，运行时可直接判断对象是否属于目标类型，不符合类型的转换会直接抛出错误或返回null。

• TypeScript是结构类型系统
  TypeScript的as只是编译时类型断言，不会生成任何运行时类型检查代码。转译为JavaScript后，所有类型信息被完全剥离，(a as IFoo2)在运行时就是原对象本身，永远不会等于undefined，导致原代码的判断逻辑始终为真。

为什么需要自定义类型守卫？ #

TypeScript运行时没有类型元数据，无法像C#那样通过类型标识判断对象类型，只能通过检查对象的结构特征（比如是否包含特定属性）实现类型判断。自定义类型守卫封装了这种结构检查逻辑，同时告诉编译器：当函数返回true时，参数就是目标类型，实现了编译时类型推断与运行时类型检查的统一。

正确使用方式 #

用自定义类型守卫替代as断言做运行时判断：

if (isIFoo2(a)) {
    console.log('aaa'); // 此时a会被TypeScript推断为IFoo2类型
}

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