TypeScript函数返回两种类型，如何避免消费者手动检测？

你的思路非常到位——标记联合类型+Symbol属性正好能同时满足两个核心需求：让TypeScript自动识别返回类型，同时不干扰字典消费者的常规操作。下面是具体的实现步骤和原理：

1. 定义Symbol类型的类型标记 #

首先创建一个唯一的Symbol作为类型判别符，它不会被常规的对象遍历方法捕获，这是关键：

const resultTypeSymbol = Symbol('result-type');

2. 扩展返回类型为带标记的联合类型 #

基于你现有的接口，扩展出带Symbol标记的数组和字典类型：

// 带标记的数组结果类型
export interface IParallelArrayResult<T> extends Array<IParallelArrayType<T>> {
  [resultTypeSymbol]: 'array';
}

// 带标记的字典结果类型
export interface IParallelDictionaryResult<T> extends IDictionary<T> {
  [resultTypeSymbol]: 'dictionary';
}

3. 修改isDone()函数，添加标记并更新返回类型 #

在函数返回前给结果打上Symbol标记，同时把返回类型声明为上述联合类型：

public async isDone(): Promise<IParallelArrayResult<T> | IParallelDictionaryResult<T>> {
  this.startDelayedTasks();
  await Promise.all(this._tasks);
  
  const hadErrors = this._failed.length > 0;
  if (hadErrors) {
    throw new ParallelError(this);
  }

  if (this._resultType === "hash") {
    const dictResult = this._results as IDictionary<T>;
    // 给字典添加Symbol标记
    (dictResult as IParallelDictionaryResult<T>)[resultTypeSymbol] = 'dictionary';
    return dictResult as IParallelDictionaryResult<T>;
  } else {
    const arrayResult = hashToArray<IParallelArrayType<T>>(this._results) as IParallelArrayType<T>[];
    // 给数组添加Symbol标记
    (arrayResult as IParallelArrayResult<T>)[resultTypeSymbol] = 'array';
    return arrayResult as IParallelArrayResult<T>;
  }
}

4. 消费者的使用体验（完全免除类型判断负担） #

现在消费者不需要再用Array.isArray()来做类型断言，TypeScript会通过Symbol标记自动完成类型窄化：

const results = await instance.isDone();

if (results[resultTypeSymbol] === 'array') {
  // TypeScript自动识别为数组类型，可直接使用length、map、filter等方法
  expect(results.length).to.equal(4);
  const values = results.map(item => item.value);
} else {
  // TypeScript自动识别为字典类型，Object.keys完全不受Symbol标记影响
  Object.keys(results).forEach(key => {
    console.log(`Key: ${key}, Value: ${results[key]}`);
  });
}

为什么Symbol标记不会干扰字典操作？ #

这是Symbol的核心特性：Symbol类型的属性不会被Object.keys()、for...in循环或Object.getOwnPropertyNames()遍历到，只有Object.getOwnPropertySymbols()能获取到这些属性。所以字典消费者使用Object.keys(dictionary)时，完全看不到这个标记键，和之前的使用体验完全一致。

额外优势：兼容原有代码 #

如果你有部分消费者还在使用Array.isArray()的判断方式，这个方案也完全兼容——因为IParallelArrayResult本质还是数组实例，原有代码不会报错。

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