对功能超载的类型限制行为奇怪

Question

我有这些：

export interface ActionType<T = null> extends String {}
dispatch(type: ActionType<null>): ActionT<null>;
dispatch<TPayload>(type: ActionType<TPayload>, payload: TPayload): ActionT<TPayload>;
dispatch<TPayload>(action: ActionType<TPayload>, payload?: TPayload) { 
    // implementation
}
const TEST_ACTION: ActionType<string> = 'TEST_ACTION';

当我使用以下方式调用此功能时：

dispatch(TEST_ACTION) 

我希望这不会不编译，因为它需要有效载荷。但是它不是选择dispatch(type: ActionType<null>): ActionT<null>;超载，尽管有一个TPayload，但不是null。

。

有没有办法限制更多类型？

链接到游乐场示例：这里

Answer 1

代码包含非常具体的接口

export interface ActionType<T = null> extends String {}

ActionType可分配给ActionType，并且ActionType可分配给ActionType

let v1: ActionType<null> = 'v1';
let v2: ActionType<string> = 'v2';
v1 = v2; // no errors
v2 = v1; // no errors

因此，Crunder首先从签名列表中选择： dispatch（类型：actionType）：actiont; 。如果您更改这样的界面

export interface ActionType<T = null> { val(): T; }

然后conmpiler显示错误

类型" ActionType"的参数不可分配给参数 类型的" ActionType"。

请参阅空接口允许任何对象？

但是，如果您想使用Action参数类型调节Actio名称，请使用KeyOf功能。

// params
interface CreateUserAction { 
    name: string; 
    password: string; 
}
interface DeleteUseAction { 
    id: string; 
}
// params map
interface ActionMap { 
    'create': CreateUserAction;
    'delete': DeleteUseAction;  
}
// function
function dispatch<K extends keyof ActionMap>(type: K, actionParams: ActionMap[K]) { 
 //...   
}
dispatch('create', { name: 'hey', password: '1' });
// generic version
function dispatchG<TM, K extends keyof TM>(type: K, actionParams: TM[K]) { 
 //...   
}