TypeScript中泛型函数能否为部分泛型类型设置可选参数？

要实现你需要的效果——当泛型类型S仅包含可选属性时允许无参调用，存在必填属性时强制传入初始值——可以通过工具类型+函数重载的组合来实现，具体方案如下：

步骤1：定义判断全可选属性的工具类型 #

首先需要一个工具类型，用来检测目标类型是否所有属性都是可选的：

type IsAllOptional<T> = 
  // 处理空对象的特殊情况
  T extends Record<string, never> ? true :
  // 遍历所有属性，检查每个属性是否为可选（{}能否赋值给该属性的单独类型）
  { [K in keyof T]-?: {} extends Pick<T, K> ? never : K } extends { [key: string]: never } 
    ? true 
    : false;

步骤2：编写带条件约束的函数重载 #

基于上面的工具类型，我们给useTableProps编写两个重载签名，分别对应两种场景：

type BaseState = {
  page?: number;
  perPage?: number;
};

// 重载1：当S所有属性均为可选时，允许省略initialState参数
function useTableProps<S extends BaseState>(initialState?: S): void
// 重载2：当S存在必填属性时，必须传入符合类型的initialState
function useTableProps<S extends BaseState>(initialState: S): void

// 函数实现（注意用类型断言确保默认值的合法性）
function useTableProps<S extends BaseState>(initialState: S = {} as S) {
  // 这里编写你的函数逻辑
  console.log('Initial state:', initialState);
}

测试验证 #

按照你的期望场景测试：

type SimpleState = {
  filter?: string;
} & BaseState;

// ✅ 合法：SimpleState全为可选属性，支持无参调用
const props1 = useTableProps<SimpleState>();

type ComplexState = {
  sort: 'ascending' | 'descending'
} & BaseState;

// ❌ 编译错误：ComplexState包含必填属性sort，必须传入参数
const props2 = useTableProps<ComplexState>();

// ✅ 正确调用：传入包含必填属性的初始值
const props3 = useTableProps<ComplexState>({ sort: 'ascending' });

方案原理 #

• 工具类型逻辑：IsAllOptional通过映射类型遍历目标类型的每个属性，移除可选标记后，判断空对象{}能否赋值给该属性的单独类型。如果属性是必填的，{}无法赋值，该属性名会保留在结果中；如果是可选的，结果为never。最终通过判断结果是否为全never对象，确定目标类型是否所有属性都是可选的。
• 重载匹配逻辑：TypeScript会根据泛型S的实际类型，自动匹配对应的重载签名。当S全为可选属性时，匹配第一个重载（参数可选）；当S存在必填属性时，只能匹配第二个重载（参数必填）。
• 默认值安全：函数实现中用{} as S作为默认值，只有当S全为可选属性时才会触发无参调用，此时{}是合法的S类型值，不会存在类型安全问题。

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