特定字符串文字以外的任何字符串的 TypeScript 类型

Question

是否可以为特定字符串文字以外的任何字符串创建类型？type FooString = 'foo' | stringtype Foo = 'foo'type NotFoo = ?目标:const a: NotFoo = 'foo'; // errorconst b: NotFoo = 'bar'; // ok

Answer 1

条件类型会做一个伎俩:

type FooString = 'foo' | string

type Foo = 'foo'
type NotFoo<T extends string> = T extends 'foo' ? never : T

const notFoo = <T extends string>(arg: NotFoo<T>):T => arg

const result = notFoo('hello') // ok
const result2 = notFoo('foo') // error

type Result = NotFoo<'foo'> // never
type Result2 = NotFoo<'bar'> // 'bar'

Playground link
如 arg是 foo , NotFoo util 将返回 never类型。 never type 不是你可以作为参数提供的东西。