io-ts联合类型数组解码日志误报问题及解决方案咨询

当前自定义的validItemsOnlyArray codec在处理联合类型时会产生错误日志误报：当联合类型的前序分支解码失败、但后续分支成功时，仍会记录前序分支的失败日志。原因在于theType.decode()处理联合类型时会依次尝试每个分支，每个分支的失败都会生成Left结果，而当前代码只要捕获到Left就直接打日志，没有区分这是联合分支的中间失败还是最终的整体解码失败。

针对联合类型做特殊逻辑处理：

• 通过io-ts内置的UnionType标记识别当前解码类型是否为联合类型
• 对联合类型手动遍历所有分支，仅当所有分支都解码失败时才记录错误日志
• 非联合类型保持原有错误日志逻辑

首先添加类型守卫判断是否为联合类型：

function isUnionType(type) {
  return typeof type === 'object' && type !== null && '_tag' in type && type._tag === 'UnionType';
}

然后修改validItemsOnlyArray函数：

export function validItemsOnlyArray(theType) {
  return withValidate(t.array(theType), (itemToDecode, context) => {
    const pipeResult = pipe(
      t.UnknownArray.validate(itemToDecode, context),
      FpTsEither.chain((validArrayObject) => {
        const decoded = pipe(
          validArrayObject,
          FpTsArray.map((arrayItem) => {
            let decodeResult;
            let allUnionBranchesFailed = false;

            if (isUnionType(theType)) {
              // 遍历联合类型所有分支，找到第一个成功的解码结果
              for (const branch of theType.types) {
                const branchResult = branch.decode(arrayItem);
                if (FpTsEither.isRight(branchResult)) {
                  decodeResult = branchResult;
                  break;
                }
              }

              // 所有分支都失败时记录日志
              if (!decodeResult) {
                allUnionBranchesFailed = true;
                console.log(`All union branches failed to decode item: ${JSON.stringify(arrayItem)}`);
                decodeResult = FpTsEither.left(new Error("All union branches failed"));
              }
            } else {
              // 非联合类型保持原有逻辑
              decodeResult = theType.decode(arrayItem);
              if (FpTsEither.isLeft(decodeResult)) {
                console.log(`${getPaths(decodeResult)} unable to decode ${theType.name}`);
              }
            }

            return FpTsEither.isRight(decodeResult)
              ? t.success(decodeResult.right)
              : t.failure(arrayItem, context);
          }),
          FpTsArray.separate,
        );

        return t.success(decoded.right);
      }),
    );
    return pipeResult;
  });
}

修改后的代码实现了：

• 联合类型仅在所有分支解码失败时记录错误日志，消除中间分支失败的误报
• 非联合类型的错误日志逻辑保持不变
• 数组仍会过滤完全无效的元素，仅保留有效元素

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