如何为TypeScript类定义返回类型？能否隐式设置自定义返回类型？

问题1：如何为TypeScript类定义返回类型？ #

其实TypeScript默认会把类实例的类型自动推导为类本身，但如果我们需要自定义构造函数的返回类型，可以这样操作：

• 普通场景：当构造函数返回类自身实例时，不需要额外配置，TypeScript会自动识别类型

class User {
  username: string;
  constructor(name: string) {
    this.username = name;
  }
}
const user = new User("Bob"); // user类型自动推导为User

• 自定义返回类型：如果构造函数要返回其他类型的对象，直接在构造函数上显式标注返回类型即可：

class User {
  constructor(name: string): { username: string } {
    return { username: name };
  }
}
const user = new User("Bob"); // user类型为{ username: string }

问题2：如何让类构造函数返回其他类实例时，类型正确推导？ #

你遇到的情况是TypeScript的默认规则导致的：不管构造函数里实际返回什么对象，它默认会把实例类型推导为类本身。要解决这个问题，有几个实用的方法：

方法1：显式指定构造函数的返回类型（最推荐） #

直接在B的构造函数上标注返回类型为A，这样TypeScript就能正确识别实例的实际类型：

class A { }
class B {
  constructor(): A { // 明确告诉TS构造函数返回A类型
    const a = new A();
    return a;
  }
}
const a = new B(); // 现在a的类型是A，完全符合你的需求
console.log(a instanceof A); // => true

方法2：实例化时使用类型断言 #

如果不想修改类B的定义，可以在创建实例时手动断言类型：

const a = new B() as A;

不过这种方式属于“事后修正”，不如在构造函数上直接定义类型规范。

方法3：重定义类的实例类型 #

通过类型别名把B的实例类型覆盖为A，但这种方式要注意：如果B本身有其他属性或方法，会丢失对应的类型提示，所以只适合你这种B完全返回A实例的场景：

class A { }
class B {
  constructor() {
    return new A();
  }
}
// 把B的类型重定义为A
type B = A;
const a = new B(); // a的类型为A

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