＆＃x27;作为const＆＃x27;结合类型？

Question

我想将两个类型的类型结合在一起，并使用它“作为const”将字面类型作为类型：

type MyType = {name: string};

const x:MyType = {
    name: 'test' // Autocompleted, typesafe. But Type is {name: string}, not 
                 // what I want, {name: 'test'}
}

const x = { name: 'test' } as const; // Gives correct type, but no type check...

如何做到这一点？

Answer 1

编辑Sep 2022：

使用Typescript 4.9现在我们可以使用 noreferrer“>满足 操作员：

type MyType = { name: string }

const x ={
  name: 'test', // Autocompleted, typesafe
} as const satisfies MyType

x.name // type is 'test' (not string)

如果出于某种原因，您无法使用满足，那么复制相同的行为很容易：

/**
 * Replacement for TS satisfies operator, until it's well supported
 * Usage:
 * const test = satisfy<{ a: string }>()({ a: 'test', b: 'test' })
 * */
export function satisfy<TSatisfied>(): <T extends TSatisfied>(value: T) => T {
  return (value) => value
}

以前的解决方案：

这是一种实现目标的方法您想要：

type MyType = { name: string }

// This function does nothing. It just helps with typing
const makeMyType = <T extends MyType>(o: T) => o

const x = makeMyType({
  name: 'test', // Autocompleted, typesafe
} as const)

x.name // type is 'test' (not string)

Answer 2

无需键入检查{name：“ test”}作为const，因为Typescript使用结构性等于{name：“ test”}作为const是MyType的结构相同，因此相同，因此相同。

可以使用这些辅助类型观察到这种行为。

interface MyType {
     name: string;
}
const test = {name: "test"} as const;
type IsEqual<T, U> = [T] extends [U] ? true : false;
type AreTheyEqual = IsEqual<typeof test, MyType> // true they are the same.

任何接受mytype的东西都可以进行类型的测试。

编辑：如果您想强制测试是类型的mytype进行类型检查测试，则无法通过保持字符串字面的字体来做到这一点。

type MyType = {name: string};
const x:MyType = {
    name: 'test' as const
}
type Test = typeof x["name"] // string;

这意味着，如果您想在mytype上同时使用字面和字符串类型，则需要做类似的事情（更改mytype）。注意使用它似乎是详细的，但可以说比“ const”

interface MyType<NAME extends string = string> {
    name: NAME;
}
const x: MyType = {
    name: 'test' // string;
}
const y: MyType<"test"> = {
    name: "test" // "test"
}

type Test1 = typeof x["name"]// string;
type Test = typeof y["name"] // "test";

^ ^ sning和字面类型的样板要少。

Answer 3

我认为没有任何原始支持。
但是，您可以通过定义另一个使用类型断言来进行打字。

type MyType = {name: string};

const x = {
    name: 'test' 
} as const

const xTypeCheck = typeof (x as MyType) // Check the type of x as MyType 

注意：我使用“ typeof”来避免引用X值的引用，以确保如果没有其他参考，可以删除X的值。