TypeScript中for循环访问对象属性为何出现'any'类型错误？

可正常编译的代码 #

interface Person {
   name: string;
   country: string;
}

const key = 'name';

const person: Person = {
   name: 'John Smith',
   country: 'Australia',
};

console.log(person[key]);   // "John Smith"

编译报错的代码 #

function PrintPerson(p: Person) {
   for (const key of Object.keys(p)) {
      console.log(p[key]); // <-------编译错误：Element implicitly has an 'any' type because expression of type 'string' can't be used to index type 'Person'
   }
}

const person: Person = {
   name: 'John Smith',
   country: 'Australia',
};

PrintPerson(person);

两种索引行为差异的原因 #

• 第一个例子中的key是字面量类型：用const key = 'name'定义时，TypeScript会精准推断key的类型为'name'（而非宽泛的string），这个类型恰好是Person接口的合法键，因此person[key]能通过类型检查，TS明确知道你访问的是person.name，类型为string。
• 第二个例子中的Object.keys(p)返回类型是string[]：TS的类型设计逻辑里，Object.keys()不会返回精确的键名联合类型（比如'name' | 'country'）——因为TS无法确保传入的p没有额外属性（即使你定义了Person接口，实际传入的对象可能包含未声明的键）。为了安全性，TS只能将Object.keys()的返回值定为string[]，此时循环里的key类型是string，而Person仅允许用'name'或'country'作为索引，用string索引自然不符合类型约束。

隐式any类型的来源 #

当TS无法确定某个值的类型，且你没有明确指定类型时，会默认将其推断为any。这里p[key]中的key是string类型，TS无法确定它对应Person的哪个属性，只能把p[key]的类型隐式设为any。如果你的TS配置开启了noImplicitAny（官方推荐默认开启），就会触发这个编译错误，提示你存在隐式any的不安全情况。

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