Typescript 显式推断对象为只读

发布于09月25日

我有一个函数，它接受一个对象

declare function f<T extends object>(body: T): any;

f({
  type: "object",
})

函数签名如下所示:

function f<{
    type: string;
}>(body: {
    type: string;
}): any

但我预计会是:

function f<{
    type: "object";
}>(body: {
    type: "object";
}): any

而不在传递对象时实际用作常量.

有没有办法可以将对象类型显式推断为只读？

推荐答案

您可以使用const type parameter来表示对类似const-assertion的推理的偏好:

declare function f<const T extends object>(body: T): any;

f({ type: "object" })
/* function f<{ readonly type: "object"; }>(
    body: { readonly type: "object"; }
): any */

这里，对象文字{ type: "object" }的类型已被推断为{ readonly type: "object" }，而不需要显式as const.

因此，type属性是both readonly and a字符串literal type.

这个问题似乎没有区分readonly属性和原义属性，所以我想这在这里并不重要.但请注意，一般来说，readonly个属性不需要是文本类型，文本类型的属性也不需要是readonly:

const readonlyNotLiteral: { readonly a: string } = { a: "abc" };
readonlyNotLiteral.a = "def"; // error
readonlyNotLiteral.a = "abc"; // error

const literalNotReadonly: { a: "abc" } = { a: "abc" };
literalNotReadonly.a = "def"; // error
literalNotReadonly.a = "abc"; // okay

Playground link to code个