TypeScript中能否基于类可选参数实现类方法的可选返回类型？

你遇到的核心问题是：类的泛型设计无法区分构造函数参数中bar是否存在，导致someMethod的返回类型推断不符合预期——提供bar时返回Result | "some string"，不提供时返回unknown，而非预期的精准类型。

解决方案：基于Config具体类型的条件泛型推断 #

通过让类的泛型直接绑定到Config的实际类型，配合条件类型精准推断返回值：

type Config<Result = never> = {
  foo: string;
  bar?: () => Result;
};

// 根据Config是否包含bar推断返回类型
type SomeMethodReturnType<C extends Config> = 
  C extends { bar: () => infer R } ? R : string;

class ClassWithOptionalParameter<C extends Config> {
  constructor(private config: C) {}

  someMethod(): SomeMethodReturnType<C> {
    if (this.config.bar) {
      return this.config.bar() as SomeMethodReturnType<C>;
    }
    return "some string" as SomeMethodReturnType<C>;
  }
}

测试验证 #

以下示例中类型推断完全符合预期：

const withObject = new ClassWithOptionalParameter({
  foo: "number",
  bar: () => ({ property: "anything" }),
});
const obj = withObject.someMethod(); // 类型为 { property: string; }
console.log(obj.property); // 无类型错误

const withNumber = new ClassWithOptionalParameter({ foo: "number", bar: () => 123.456 });
const num = withNumber.someMethod(); // 类型为 number
console.log(num.toPrecision(4)); // 无类型错误

const withString = new ClassWithOptionalParameter({ foo: "string" });
const str = withString.someMethod(); // 类型为 string
console.log(str.charAt(1)); // 无类型错误

为什么之前的尝试失败 #

你自定义的ReturnType逻辑存在两个问题：

1. 条件判断逻辑反了：Config<Result> extends { bar: unknown }会匹配所有包含bar（可选属性存在即匹配）的情况，导致返回值逻辑颠倒；
2. 泛型Result无法关联到Config中bar的实际存在状态，TypeScript无法确认"some string"是否能赋值给Result，因此抛出类型不兼容错误。

内容的提问来源于stack exchange，提问作者Johnny C.