如何限制给定参数装饰器可以应用于的参数类型

Question

目前有一种方法可以限制给定的属性装饰器可以应用到的属性类型。 例如

type PropertyDecorator<TPropType = unknown> = (
    <
        TPropName     extends string | symbol,
        TProtoOrClass extends Record<TPropName, TPropType>
    >
    (protoOrClass: TProtoOrClass, propName: TPropName) => void
);

function boolPropertyDecorator(): PropertyDecorator<boolean> {
    return () => {};
}

class Foo {
    // compile-time error "Type 'number' is not assignable to type 'boolean'"
    @boolPropertyDecorator()       
    prop!: number;

}

但是我无法为方法参数装饰器利用这种类型检查。

type ParameterDecorator<TParamType = unknown> = (
    <
        TMethodName   extends string | symbol,
        TParamIndex   extends number,
        TProtoOrClass extends Record<
            TMethodName, 
            (this: TProtoOrClass, ...args: unknown[] & Record<TParamIndex, TParamType>) => unknown
        >

    >
    (
        protoOrClass:   TProtoOrClass, 
        methodName:     TMethodName, 
        parameterIndex: TParamIndex
    ) => void
);


function numberParameterDecorator(): ParameterDecorator<number> {
    return () => {};
}

class Foo {
    // no decorator-related error message is generated, but should!
    method(@numberParameterDecorator() str: string) {}
}

我不能确定为什么会发生这种情况。 这是带有参数装饰器的 TypeScript 错误吗？ 为什么没有错误信息？ 它是否与消除单位类型（例如TParamIndex或TParamName ）有关？

Answer 1

您的假设是TMethodName和TParamIndex会根据使用情况推断为它们的文字类型版本。 不幸的是，它们不适用于参数装饰器（对于方法装饰器，方法名称确实被推断为方法名称的字符串文字，因此至少在处理方式上存在不一致）。

有一个关于这个的GitHub 问题，我什至有一个 typescript 编译器代码的版本可以在问题中链接到这个，但不幸的是，目前团队似乎并没有优先考虑这个问题。

优先级也会根据反馈而改变，因此请随时对问题进行投票，也许对您的用例发表评论，因为这将有助于团队看到确实需要这样做。