在 typescript 中定义一个装饰器守卫

Question

假设您有实现某个装饰器的类：

@Component
class A

@Component
class B

如果你想要一个变量来保存其中一些类的类本身，它会有什么类型？

componentClass: typeof A | typeof B;

但是你是否已经在想：如果你有很多类，枚举类不是一个好习惯，当你不知道它们时，它甚至不是一个选择。

所以剩下的选项是（编辑：因为打字稿不允许typeof泛型）：

componentClass: any;

但这也不好！

---

我想为此定义一个类型保护，因此我可以将any 类型替换为可以实际检查对象是否具有@Component 装饰器的类型，因此可以将其声明为这个：

componentClass: ComponentClass;

---

只是一个想法

我认为最好的方法是为它定义一个类型，并在其中定义守卫。 但这是不可能的。

@HasDecorator("Component")
type ComponentClass = any;

---

希望看到你的想法来解决这个问题。谢谢！

Answer 1

如果你有代表Component 的不同类，那么为什么不为它们都创建一个基类：

abstract class ComponentClass { ... }

@Component
class A extends ComponentClass { ... }

@Component
class B extends ComponentClass { ... }

那么你就有了所有这些类的类型，并且不需要类型别名。
它对装饰器本身也很有用：

function Component(ctor: { new(): ComponentClass }) {}

甚至：

function Component<T extends ComponentClass>(ctor: { new(): T }) {}

---

编辑

当然，你也可以用接口做类似的事情：

interface ComponentClass { }

@Component
class A implements ComponentClass { }

@Component
class B implements ComponentClass { }

---

第二次编辑

如果你想传递ComponentClass（A，或B等），那么你可以这样做：

function fn(cls: typeof ComponentClass) { ... }

fn(A);

或者

function fn<T extends ComponentClass>(cls: { new(): T }) { ... }

fn(B);

(code in playground)