获取通用参数的类型

Question

我写了一个小函数，以便更好地处理类型。

function evaluate(variable: any, type: string): any {
    switch (type)
    {
        case 'string': return String(variable);
        case 'number': return isNumber(variable) ? Number(variable) : -1;
        case 'boolean': {
            if (typeof variable === 'boolean')
                return variable;

            if (typeof variable === 'string')
                return (<string>variable).toLowerCase() === 'true';

            if (typeof variable === 'number')
                return variable !== 0;

            return false;
        }
        default: return null;
    }
}

function isNumber(n: any): boolean {
    return !isNaN(parseFloat(n)) && isFinite(n);
}

我尝试使用泛型，但不知道如何从泛型参数中获取类型。有可能吗？

Answer 1

typeof是一个JavaScript运算符。它可以在运行时使用以获取JavaScript知道的类型。泛型是一种TypeScript概念，可帮助检查代码的正确性，但在编译输出中不存在。所以简短的回答是否定的，这是不可能的。

但你可以这样做：

class Holder<T> {
    value: T;
    constructor(value: T) {
        this.value = value;
    }
    typeof(): string {
        return typeof this.value;       
    }
}

Try it out

这是有效的，因为我在Holder内部运行，而不是在Holder本身。

Answer 2

您无法消除type字符串，但是可以通过添加重载使函数在类型方面变得更加智能和有用：

function evaluate(variable: any, type: 'string'): string;
function evaluate(variable: any, type: 'number'): number;
function evaluate(variable: any, type: 'boolean'): boolean;
function evaluate(variable: any, type: string): unknown {
    ...
    default: throw Error('unknown type');
}

const myBool = evaluate('TRUE', 'boolean'); // myBool: boolean
const myNumber = evaluate('91823', 'number'); // myBool: boolean
evaluate('91823', 'qwejrk' as any); // RUNTIME ERROR (violated types)

const mysteryType = 'number' as 'boolean' | 'number';
const myMystery = evaluate('91823', mysteryType); // COMPILER ERROR, no overload matches.

Playground Link

请注意，不再存在null情况，因为在编译时无法知道未知的string类型是否实际上包含像'number'这样的有效值。

这对于大多数人来说已经足够了。

---

但是...

请注意，上面的mysteryType联合无效。如果您真的真的希望由于某种原因而起作用，可以使用条件类型代替：

function evaluate<T extends string>(variable: any, type: T):
    T extends 'string' ? string :
    T extends 'number' ? number :
    T extends 'boolean' ? boolean :
    never;
function evaluate(variable: any, type: string): unknown {
    ...
    default: throw Error('unknown type');
}

const mysteryType = 'number' as 'boolean' | 'number';
const myMystery = evaluate('91823', mysteryType); // myMystery: number | boolean

Playground Link

---

另外，如果您用Google搜索这个问题，并且想知道如何从T获取MyClass<T>，那也是可能的：

class MyClass<T> {}

type GetMyClassT<C extends MyClass<any>> = C extends MyClass<infer T> ? T : unknown;

const myInstance = new MyClass<"hello">();
let x: GetMyClassT<typeof myInstance>; // x: "hello"

Playground Link