TypeScript如何定义兼容可选/必选属性的ObjectLiteral类型

你遇到的类型错误核心来自TypeScript的函数参数逆变检查规则，和对象类型本身的兼容性无关。
首先解答你的疑惑：单独做变量赋值时，{ names: string[] }是完全兼容Record<string, unknown>的，以下代码不会报错：

type ObjectLiteral = Record<string, unknown>
const obj: ObjectLiteral = { names: ['test'] } // 正常通过

函数场景下报错的逻辑是：当你声明一个类型为(args: A) => void的函数变量，再给它赋值实际函数(args: B) => void时，TS要求A extends B（即参数类型A必须是B的子类型，比B的约束更严格），而不是反过来要求B兼容A。
你定义的RunFunction参数A是Record<string, unknown>，这个类型仅约束所有属性值为unknown，不要求存在names属性；但你实际写的函数参数B是{ names: string[] }，强制要求入参必须存在names属性。此时显然存在大量符合A类型的对象（比如{ age: 1 }）没有names属性，如果允许赋值，调用execute({ age:1 })时函数内部访问args.names会拿到undefined，和你标注的string[]类型冲突，因此TS抛出错误。
当你把names改成可选属性后，B不再强制要求names存在，A满足A extends B的约束，因此不会报错。

要实现支持必选、可选属性混合定义参数的需求，推荐使用泛型约束的写法，能保留完整的类型安全：

// object代表所有非原始类型，覆盖所有合法的对象字面量结构，支持任意必选/可选属性组合
type ObjectLiteral = object
// 定义支持泛型的函数类型，默认参数为宽泛的ObjectLiteral
type RunFunction<T extends ObjectLiteral = ObjectLiteral> = (args: T) => void

// 赋值时指定具体的参数结构，完全支持必选+可选属性混合
const execute: RunFunction<{ names: string[] }> = (args) => {
  console.log(args.names)
}

const execute1: RunFunction<{ names?: string[] }> = (args) => {
  console.log(args)
}

const execute2: RunFunction<{ names: string[], options?: string[] }> = (args) => {
  console.log(args.names, args.options)
}

// 调用时会自动做类型校验
execute2({ names: ['a'] }) // 正常
execute2({ names: ['a'], options: ['b'] }) // 正常
execute2({ options: ['b'] }) // 报错，缺少必选属性names

如果不需要严格的类型校验，只是想快速消除报错，也可以把参数类型改为any，但会丢失类型安全，不推荐使用：

// 不推荐，丢失参数类型检查能力
type RunFunction = (args: any) => void

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