TypeScript如何实现仅传入可选参数key时才可用parse()方法

完全可以实现，不需要将parse设为可选字段，核心通过函数重载+判别联合类型即可满足需求：当传入key时回调参数类型携带必选的parse方法，未传key时回调参数类型上根本不存在parse属性，访问/调用会直接抛出TS类型错误，用户侧完全不需要写parse?.()可选链。

// 拆分两种互斥的入参类型
interface InputWithKey {
    key: string;
    data: Record<string, string>;
}
interface InputWithoutKey {
    key?: undefined;
    data: Record<string, string>;
}

// 带parse的回调参数类型
interface OptionsWithParse {
    parse: (x: string) => string;
}
// 不带parse的回调参数类型，不声明parse字段
interface OptionsWithoutParse {}

// 定义重载签名：对应两种入参场景匹配不同的回调类型
function myFunc(input: InputWithKey, helper: (options: OptionsWithParse) => void): void;
function myFunc(input: InputWithoutKey, helper: (options: OptionsWithoutParse) => void): void;
// 实现签名，内部做类型兼容即可
function myFunc(input: InputWithKey | InputWithoutKey, helper: (options: OptionsWithParse | OptionsWithoutParse) => void): void {
    if (input.key) {
        helper({ parse: (x) => `${x} parsed using ${input.key}` })
    } else {
        helper({});
    }
    // 其余input.data处理逻辑
}

• 传入key的场景：无TS报错，可直接调用parse，不需要可选链

myFunc({
    key: "my-key",
    data: {
       "someData": "someValue"
    }
}, ({ parse }) => {
    // 正常调用，无类型错误
    parse("parse this");
    parse("parse that");
    parse("parse this and that");
});

• 未传入key的场景：解构parse、调用parse都会直接抛出TS错误，符合预期

myFunc({
    data: {
       "someData": "someValue"
    }
}, ({ parse }) => {
    // TS报错：类型“OptionsWithoutParse”上不存在属性“parse”
    parse("parse this");
});

• 全程没有使用可选字段，parse在对应可用场景下始终是必选属性，用户不需要额外写可选链做判断
• 通过函数重载将第一个入参类型和第二个回调的参数类型做了绑定：TS会根据传入的第一个参数是否携带key，自动推导回调的参数类型，从类型层面禁止无key场景下访问parse
• 内部实现签名仅做类型兼容，不会影响外部调用的类型校验逻辑

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