我实际上陷入了一个有趣的问题。
我希望有以下行为：
const callback = <ErrorType extends Error | null>(err: ErrorType, result?: (ErrorType extends null ? number : undefined)): Error | number => {
if (err) {
return err;
}
return result;
}
我知道此回调是无用的，但条件必需的参数很有趣：）
实际上，我有2个错误：
Type 'Error | null' is not assignable to type 'number | Error'.
Type 'null' is not assignable to type 'number | Error'.
Type 'ErrorType' is not assignable to type 'Error'.
Type 'Error | null' is not assignable to type 'Error'.
Type 'null' is not assignable to type 'Error'.
return err;
和
Type '(ErrorType extends null ? number : undefined) | undefined' is not assignable to type 'number | Error'.
Type 'undefined' is not assignable to type 'number | Error'.
return result;
我不太明白为什么会出现这些错误。
问题是，如果出现错误，我将永远不会返回结果，并且我之前用if (err)该错误验证了该结果是否不为null，所以我无法返回null。与数字相同，随着我的扩展，我相信该数字永远不会是不确定的...
我认为这是一个推理问题。我在做坏事，但是找不到。
谢谢你：P
感谢Aleksey L.
正确的代码是
/**
* Callback type on error
*
* @param err {Error} - Error object
* @param result - No result
* @return Error
*/
function callback(err: Error, result?: undefined): Error;
/**
* Callback type on success
*
* @param err {null} - No error
* @param result {number} - Result
* @return result
*/
function callback(err: null, result: number): number;
function callback(err: any, result: any): any {
if (err) {
return err;
}
return result;
}
function main() {
console.log(callback(null, 4));
console.log(callback(new Error('error')));
}
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句