我知道我可以定义字符串联合类型来限制变量只能是可能的字符串值之一：
type MyType = 'first' | 'second'
let myVar:MyType = 'first'
我需要构建一个类似于常量字符串的类型，例如：
const MY_CONSTANT = 'MY_CONSTANT'
const SOMETHING_ELSE = 'SOMETHING_ELSE'
type MyType = MY_CONSTANT | SOMETHING_ELSE
但出于某些原因它不起作用，它显示错误信息：MY_CONSTANT指向一个值，但在此处被用作类型。
为什么TypeScript允许第一个示例，但不允许第二个示例？我使用的是TypeScript 3.4.5。
typeof类型运算符：const MY_CONSTANT = 'MY_CONSTANT' // must be const, no annotation. let or var will not work
const SOMETHING_ELSE = 'SOMETHING_ELSE' // must be const, no annotation. let or var will not work
type MyType = typeof MY_CONSTANT | typeof SOMETHING_ELSE
提示：
由于人们在使用此代码时似乎存在很多困惑。 const 很重要。如果您使用其他类型的声明（let 或 var），则最终类型将为字符串。只有 const 可以保留字符串字面量类型。
提示2：
为了使该解决方案有效，您必须不在 const 上指定任何类型注释，并让编译器推断常量的类型（例如，这将不起作用：const MY_CONSTANT：string = 'MY_CONSTANT'）
typeof MY_CONSTANT 将会检查它是否为某个 string 类型，而不是特指 MY_CONSTANT。 - Knut Holmconst MY_CONSTANT:string = 'MY_CONSTANT'
指定常量类型后，它可以接受任何字符串。抱歉，你会得到我的赞！ - Jonas Rosenqvist您也可以在这种情况下使用枚举。例如：
// Define enum.
enum myConstants {
MY_CONSTANT = 'my_constant',
SMTH_ELSE = 'smth_else'
}
// Use it in an interface for typechecking.
interface MyInterface {
myProp: myConstants
}
// Example of correct object - no errors.
let a: MyInterface = {
myProp: myConstants.MY_CONSTANT
}
// Incorrect value - TS reports an error.
let b: MyInterface = {
myProp: 'John Doe'
}
枚举类型相当适用：
export enum ITEM_TYPES {
TYPE1 = 'text',
TYPE2 = 'image'
}
export type IItemType = ITEM_TYPES.TYPE1 | ITEM_TYPES.TYPE2
然后在代码中，可以使用ITEM_TYPES来进行各种运行时比较：
if (type === ITEM_TYPES.TYPE1){
}
type MyType = typeof MY_CONSTANT | typeof SOMETHING_ELSE。类型（仅存在于设计时间）和值（在运行时存在）之间有很大区别。 - jcalz