fix: 修复Class类型

Author: zhangfisher

docs/guide/types.md

@@ -774,7 +774,7 @@ type Funs = Overloads<typeof foo>;
 
 **类型：**`Class<T = any>`
 
-表示任意类的构造函数类型。可用于需要接受任意类作为参数的场景。
+表示任意类的构造函数类型，包括普通类和抽象类。可用于需要接受任意类作为参数的场景。
 
 ```typescript
 // 基本用法
@@ -799,6 +799,14 @@ createInstance(AClass); //  ✅ Correct
 createInstance(BClass); //  ❌ Error
 ```
 
+- `Class<T>` 可以接受泛型参数，用于限制类的构造参数类型。
+
+### AbstractClass
+
+**类型：**`AbstractClass<T = any>`
+
+同`Class`仅表示抽象类
+
 ### ImplementOf
 
 **类型：**`ImplementOf<T>`

src/types/class.ts

@@ -31,13 +31,31 @@
  * ```
  */
 
-export type ConcreteClass<T = any> = new (...args: any[]) => T;
-export type AbstractClass<T = any> = abstract new (...args: any[]) => T;
-export type Class<T = any> = ConcreteClass<T> | AbstractClass<T>;
+export type ConcreteClass<T = object> = new (...args: any[]) => T;
+export type AbstractClass<T = object> = abstract new (...args: any[]) => T;
+export type Class<T = object> = ConcreteClass<T> | AbstractClass<T>;
 
-// function test(cls: Class) {}
-// abstract class A {}
-// class B {}
+// abstract class A {
+//   abstract methodA(): void;
+// }
 
-// test(A);
-// test(B);
+// class B {
+//   methodB() {
+//     return "B";
+//   }
+// }
+
+// class B1 extends B {
+//   methodB1() {
+//     return "B1";
+//   }
+// }
+
+// // 正确的泛型约束方式
+// function test2<T extends B>(cls: Class<T>): void {
+//   // 现在 cls 必须返回 T 类型，而 T 必须是 B 或其子类
+// }
+
+// test2(B); // ✅ 正确
+// test2(B1); // ✅ 正确 - B1 是 B 的子类
+// test2(A); // ❌ 错误 - A 不是 B 的子类