TypeScript泛型疑问：T[number][]为何无法赋值给T？

我在编写一个TypeScript泛型方法，泛型T继承自MySQL结果的数组类型。我通过映射返回T的元素（即T[number]）的Promise，再用Promise.all等待这些Promise完成，得到的结果是T[number][]类型的数组。我原以为它等价于T，但返回时却报错：Type 'T[number][]' is not assignable to type 'T'。

请问我哪里出错了？T[number][]是否与T等价？

代码示例：

export async function executeAllParallel<
  T extends readonly (QueryResult | Record<string | number, unknown>[])[],
>(
  dataAccountId: string,
  queries: QueryOptions[],
  retries: number = 0,
): Promise<T> {
  const connection: mysql.PoolConnection =
    await poolCluster.getConnection(dataAccountId);
  try {
    await connection.beginTransaction();

    const results: T[number][] = await Promise.all(
      queries.map((query) =>
        connection.execute<T[number]>(query).then((result) => result[0]),
      ),
    );

    await connection.commit();

    // Type 'T[number][]' is not assignable to type 'T'.
    return results;
  } catch (error) {
    await connection.rollback();
    if (retries <= 1) throw error;
    connection.release();
    return executeAllParallel(dataAccountId, queries, retries - 1);
  } finally {
    connection.release();
  }
}

为什么T[number][]不等于T？ #

T被定义为继承自只读数组类型（readonly (...)[]），而T[number][]是普通可变数组类型，两者存在本质差异：

• 只读数组（比如readonly [A, B]或readonly QueryResult[]）禁止修改操作（如push、pop），普通数组无此限制；
• T可以是元组类型，比如[QueryResult, Record<string, unknown>[]]，这种情况下T[number][]是(QueryResult | Record<string, unknown>[])[]——元组的元素顺序、数量是固定的，普通数组没有这类约束，完全不等价。

TypeScript不会自动认为T[number][]兼容T，因为T可能包含比普通数组更具体的结构（比如元组）。

解决方案 #

方案1：放宽返回类型约束 #

如果不需要严格返回T类型，而是返回T元素组成的数组，直接修改返回类型即可：

export async function executeAllParallel<
  T extends readonly (QueryResult | Record<string | number, unknown>[])[],
>(
  dataAccountId: string,
  queries: QueryOptions[],
  retries: number = 0,
): Promise<T[number][]> {
  // 原有代码不变
  return results; // 不再报错
}

方案2：类型断言（谨慎使用） #

如果你能确保queries的数量、顺序完全匹配T的结构，可以用类型断言跳过检查：

return results as T;

注意：这种方式会绕开TypeScript的类型校验，若运行时results结构与T不匹配，会引发错误，仅在结构确定一致时使用。

方案3：调整泛型约束 #

如果希望T是普通数组而非只读数组/元组，修改泛型约束：

export async function executeAllParallel<
  T extends (QueryResult | Record<string | number, unknown>[])[], // 移除readonly
>(
  dataAccountId: string,
  queries: QueryOptions[],
  retries: number = 0,
): Promise<T> {
  // 原有代码
  return results as T; // 仍需断言，因为T可能是更具体的数组子类
}

内容的提问来源于stack exchange，提问作者uPaymeiFixit