TypeScript：函数表达式重载

Question

我有这个 TypeScript 代码，它在函数声明中使用重载。此代码按预期工作。

function identity(x: string): string;
function identity(x: number): number;
function identity(x: string | number): string | number {
    return x;
}

const a = identity('foo') // string
const b = identity(1) // number
const c = identity({}) // type error (expected)

我正在尝试使用函数表达式而不是函数声明来实现等效，但是出现类型错误：

/* Type '(x: string | number) => string | number' is not assignable to type '{ (x: string): string; (x: number): number; }'.
    Type 'string | number' is not assignable to type 'string'.
        Type 'number' is not assignable to type 'string' */
const identity: {
    (x: string): string;
    (x: number): number;
} = (x: string | number): string | number => x;

我想知道如何实现重载函数但使用函数表达式的相同效果。

Answer 1

您可以在函数实现上使用类型断言。在分配中，检查对兼容性更严格，断言它们更弱。尽管如此，我们仍然获得了相当多的类型安全性（我不确定它是否等同于实现签名检查的重载，但看起来非常接近）：

//OK
const identity = ((x: string | number): string | number => x) as {
    (x: string): string;
    (x: number): number;
};

// Error argument is incompatible
const identity2 = ((x: boolean): string | number => x) as {
    (x: string): string;
    (x: number): number;
};

// Error return type is incompatible 
const identity3 = ((x: string | number) => false) as {
    (x: string): string;
    (x: number): number;
};