TypeScript中可选配置对象参数的正确类型设置方法

直接使用TypeScript内置的Partial<T>工具类型作为用户入参的配置类型即可，完全规避你提到的所有问题：

• 原有CarouselSettings接口保持全属性必填的定义不变，库内部使用合并后的配置时，依然能获得准确的全属性类型提示，符合内部逻辑的实际状态
• 不需要使用者做任何类型断言，也不需要额外导出类型供使用者手动导入，没有额外使用成本
• 不需要维护重复的接口定义，后续新增配置项只需修改CarouselSettings一处，入参类型会自动同步更新，零额外维护成本

修改后的完整代码如下：

interface CarouselSettings {
  dots: boolean;  // 是否展示导航指示点
  arrows: boolean; // 是否展示上一张/下一张操作箭头
  autoplay: boolean; // 是否开启自动轮播
  // 其余配置项...
}

// 仅需将入参的userSettings类型声明为Partial<CarouselSettings>
function createCarousel(carouselRoot: HTMLElement, userSettings?: Partial<CarouselSettings>): void {
  const defaultSettings: CarouselSettings = {
    dots: true,
    arrows: true,
    autoplay: false,
    // 其余默认配置值...
  };

  // 修复原代码中的typeof判断语法错误：typeof返回值为字符串，需和'undefined'做比较，这里直接判断参数真值更简洁
  const finalSettings: CarouselSettings = userSettings
    ? { ...defaultSettings, ...userSettings }
    : defaultSettings;

  // 后续轮播初始化逻辑，此处操作finalSettings时所有属性均有确定值，类型校验完全准确
}

export default createCarousel;

方案说明 #

Partial<T>是TypeScript标准内置工具类型，作用是将传入的泛型T的所有属性转换为可选属性，是TS生态中处理「入参支持传部分配置、内部补全默认值」场景的标准惯用写法。
修改后使用者传入任意子集的配置项都不会触发类型报错，同时库内部逻辑中合并后的finalSettings依然是全属性必填的CarouselSettings类型，不会出现类型提示和实际运行逻辑不一致的问题。

额外修正点 #

你原代码中的判断逻辑if(typeof userSettings !== undefined)存在语法问题：typeof操作符的返回值永远是字符串类型，直接和undefined值做全等比较结果永远为false，会导致不传第二个参数时依然会执行对象展开逻辑，虽然不会直接引发运行时报错，但属于无效判断，直接判断参数是否为真值即可。

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