如何在TypeScript中定义可用作泛型约束的非数组类型

正确实现 #

直接基于unknown做数组类型排除即可，unknown是类型安全的顶层类型，可以正常被Exclude处理，同时记得覆盖只读数组场景：

type NonArray = Exclude<unknown, Array<any> | ReadonlyArray<any>>

原方案失效原因 #

• 第一种写法使用Exclude<any, any[]>时，any是TypeScript的特殊逃生舱类型，和任意类型做交并集/排除运算都会返回any，因此排除逻辑完全不生效，自然允许数组赋值。
• 第二种带泛型参数的写法仅适合对单个已知类型做校验，放到泛型约束场景需要写T extends NotArrayGeneric<T>，会触发循环约束校验报错，无法直接使用。

使用示例 #

可直接作为泛型约束使用，符合你要求的<T extends NonArray>写法：

function processValue<T extends NonArray>(input: T): T {
  return input
}

// 合法赋值，类型校验通过
processValue('text')
processValue(123)
processValue({ key: 'value' })
processValue(null)
processValue(undefined)
processValue(Symbol('id'))
processValue(100n)

// 数组/只读数组均会触发报错，符合预期
processValue([1, 2, 3])
processValue(['a', 'b'] as const)

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