TypeScript含可选函数的对象类型定义方案问询

核心思路 #

要实现「仅允许对象包含a/b/c三个函数的任意组合，且调用时只能访问实际存在的函数」，需要同时满足两个条件：

1. 约束对象的键只能是a、b、c，不能有其他额外属性
2. 让TypeScript保留每个对象的具体类型，而非宽泛的可选接口类型

方案一：使用泛型约束函数（兼容所有TS版本） #

先定义基础函数接口，再通过泛型函数约束输入并推导具体类型：

// 定义基础函数接口，包含所有允许的函数
interface BaseFunctions {
  a: () => void;
  b: () => void;
  c: () => void;
}

// 泛型函数：约束输入为BaseFunctions的子集，同时返回原类型以保留具体结构
const createFunctionGroup = <T extends Partial<BaseFunctions>>(group: T): T => group;

// 创建符合要求的对象，TS会自动推导每个对象的具体类型
const exampleOne = createFunctionGroup({
  a: () => { console.log('a') },
  b: () => { console.log('b') },
});

const exampleTwo = createFunctionGroup({
  c: () => { console.log('c') },
});

const exampleThree = createFunctionGroup({
  b: () => { console.log('b') },
  c: () => { console.log('c') },
});

// 合法调用：编辑器会提示存在的方法
exampleOne.a();
exampleTwo.c();
exampleThree.b();

// 编译错误：不存在的方法会直接报错
exampleOne.c(); // Property 'c' does not exist on type '{ a: () => void; b: () => void; }'
exampleTwo.a(); // Property 'a' does not exist on type '{ c: () => void; }'

方案二：使用satisfies关键字（TS 4.9+推荐） #

如果你的TypeScript版本在4.9及以上，可以用satisfies关键字更简洁地实现，无需额外函数：

interface BaseFunctions {
  a: () => void;
  b: () => void;
  c: () => void;
}

// 定义允许的类型为基础接口的部分类型
type FunctionGroup = Partial<BaseFunctions>;

// 使用satisfies约束对象符合类型，同时保留具体字面量类型
const exampleOne = {
  a: () => { console.log('a') },
  b: () => { console.log('b') },
} as const satisfies FunctionGroup;

const exampleTwo = {
  c: () => { console.log('c') },
} as const satisfies FunctionGroup;

const exampleThree = {
  b: () => { console.log('b') },
  c: () => { console.log('c') },
} as const satisfies FunctionGroup;

// 合法调用
exampleOne.a();
exampleTwo.c();

// 编译错误
exampleOne.c(); // Property 'c' does not exist on type '{ readonly a: () => void; readonly b: () => void; }'

方案说明 #

• 两种方案都能约束对象只能包含a、b、c三个函数，添加其他属性会触发编译错误
• 相比直接使用Partial<BaseFunctions>类型标注，这两种方案能让TypeScript准确识别每个对象的实际方法，调用不存在的方法会直接报错，而非仅提示"可能为undefined"

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