为何TypeScript未检测到嵌套属性的隐式any及unknown类型的不完整校验？

问题原因分析 #

你的代码出现这种情况，核心原因有两个：

1. 隐式any未被检测是TS配置未启用严格检查
   当externalData被Array.isArray收窄为unknown[]后，数组元素curr的类型是unknown。如果你的tsconfig.json中**noImplicitAny或strict选项未启用**，TypeScript会将curr.some这类未声明的属性访问自动推断为any类型，不会抛出错误，导致嵌套属性的隐式any使用未被检测。

2. TS不会强制自动校验嵌套属性
   TypeScript的类型收窄是显式操作：你只校验了外层结构是数组，但没有对数组元素curr的嵌套属性做任何类型校验或收窄。TS无法自动识别你是否需要处理嵌套结构，因此不会主动提示未校验的风险。

解决方案 #

1. 启用严格类型检查

在tsconfig.json中开启严格模式，强制TS检测隐式any和未校验的类型访问：

{
  "compilerOptions": {
    "strict": true,
    "noImplicitAny": true
  }
}

开启后，原代码会立即报错，提示curr是unknown类型，无法直接访问some属性，强制你先做类型校验。

2. 显式校验嵌套属性

通过类型守卫函数显式校验数组元素的嵌套结构，确保只有符合要求的数据才会被转换为User类型：

interface User {
    name: string,
    age: number
}

const externalData: unknown = [1, 2, 3];

// 类型守卫：校验数据是否符合嵌套结构要求
function isValidUserData(obj: unknown): obj is { 
    some: { 
        nested: { property: string }, 
        another: { propety: number } 
    } 
} {
    return typeof obj === 'object' && obj !== null &&
        'some' in obj && typeof obj.some === 'object' && obj.some !== null &&
        'nested' in obj.some && typeof obj.some.nested === 'object' && obj.some.nested !== null &&
        'property' in obj.some.nested && typeof obj.some.nested.property === 'string' &&
        'another' in obj.some && typeof obj.some.another === 'object' && obj.some.another !== null &&
        'propety' in obj.some.another && typeof obj.some.another.propety === 'number';
}

(Array.isArray(externalData) ? externalData : [])
    .reduce<User[]>((acc, curr) => {
        // 仅处理符合类型要求的数据
        if (isValidUserData(curr)) {
            return [...acc, {
                name: curr.some.nested.property,
                age: curr.some.nested.another.propety
            }];
        }
        // 不符合类型的情况：可选择报错、跳过或返回默认值
        console.error("无效的用户数据：", curr);
        return acc;
    }, []);

补充说明 #

TypeScript不会猜测你的业务逻辑，只会基于你显式提供的类型信息进行检查。只有当你明确校验了嵌套结构的类型，TS才能确保运行时的类型安全。

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