打字稿推斷錯誤 - 類型字符串的變量在 for 循環內更改為未定義

Question

我正在使用 await-to-js 庫進行錯誤處理（下面示例中的to方法來自該庫）

由於某種原因，變量的類型更改為string | undefined 在for..of循環內string | undefined ，當同一變量的值是循環外的string時。

考慮以下示例（有關錯誤，請參見testMethod ）：

function to<T, U = Error>(
    promise: Promise<T>,
    errorExt?: object
): Promise<[U, undefined] | [null, T]> {
    return promise
        .then<[null, T]>((data: T) => [null, data])
        .catch<[U, undefined]>((err: U) => {
            if (errorExt) {
                const parsedError = Object.assign({}, err, errorExt);
                return [parsedError, undefined];
            }

            return [err, undefined];
        });
}


async function retrieveAccessToken(): Promise<string> {
    const randomNumber = Math.random();

    if(randomNumber < 0.5) {
        throw new Error("Failed");
    }

    return "testToken";
}

    
function printAccessToken(accessToken: string) {
    console.log(accessToken);
};

async function testMethod(): Promise<boolean> {
    const accessTokenPromise = retrieveAccessToken();

    const [err, accessToken] = await to(accessTokenPromise);

    if(err){
        console.log("Failed");
        return false;
    }

    // No error here
    printAccessToken(accessToken);

    for(let i = 0 ; i < 5; i++){
        // Error! Type Argument of type 'string | undefined' is not assignable to 
        // parameter of type 'string'.
        printAccessToken(accessToken);
    }

    return true;
}

這似乎可以通過在 accessToken 上添加 if 檢查來解決，例如if(!accessToken)但是為什么accessToken的類型是string | undefined是沒有意義的。 在 for 循環內部string | undefined但在其外部是string ？

打字稿游樂場

Answer 1

TypeScript 在分析解構語法中的類型時存在問題。 要獲得預期的行為，請將 to 的解析值分配to局部變量，並在檢查err后引用accessToken 。

改變：

    const [err, accessToken] = await to(accessTokenPromise);

    if(err){
        console.log("Failed");
        return false;
    }

進入：

    const toResult = await to(accessTokenPromise);

    const [err] = toResult;
    if(err){
        console.log("Failed");
        return false;
    }
    const [, accessToken] = toResult;

游樂場鏈接