TypeScript中如何断言keyof类型的键为非只读并转为可读写？

当你明确keyof T中的某个键实际是非只读，但TypeScript因类型包含只读键而阻止赋值时，不用any的情况下有几种更优的类型安全方案：

1. 提取可写键的工具类型 #

通过自定义工具类型筛选出类型中所有可写的键，再将目标键断言为该类型：

// 辅助类型：判断两个类型是否完全相等
type IfEquals<X, Y, A = X, B = never> =
  (<T>() => T extends X ? 1 : 2) extends
  (<T>() => T extends Y ? 1 : 2) ? A : B

// 提取类型中所有可写的键
type WritableKeys<T> = {
  [K in keyof T]: IfEquals<{ [Q in K]: T[K] }, { -readonly [Q in K]: T[K] }, K>
}[keyof T]

class Foo {
  x = 1
  readonly y = 2
}

const foo = new Foo()

// 将k断言为Foo的可写键类型（仅包含"x"）
const k = 'x' as WritableKeys<Foo>

foo[k] = 3 // 类型检查通过，无报错

这个方案的优势是精确限定键的可写性，不会放宽整个对象的类型限制，保持了类型安全，且工具类型可复用在其他场景。

2. 将对象转为全可写类型 #

如果需要快速处理单个赋值操作，也可以临时将对象断言为去掉所有只读修饰的版本：

type Writable<T> = { -readonly [K in keyof T]: T[K] }

class Foo {
  x = 1
  readonly y = 2
}

const foo = new Foo()
const k = 'x' as keyof Foo

(foo as Writable<Foo>)[k] = 3 // 类型检查通过

这种方式更简洁，但会临时让对象的所有属性变为可写，适合简单场景。

3. 精确断言目标键的可写属性 #

如果你明确知道键对应的属性是可写的，也可以直接断言该属性的类型：

class Foo {
  x = 1
  readonly y = 2
}

const foo = new Foo()
const k = 'x' as keyof Foo

(foo[k] as number) = 3 // 直接断言属性为可写的number类型

不过这种方式仅适用于单个属性的赋值，通用性不如前两种。

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