该循环将迭代对象本身的所有可枚举属性，以及对象从其原型链继承的属性（原型链中较近的原型的属性优先于较远的原型的属性）。

for...in 循环只会迭代可枚举的非符号属性。从内置构造函数（如 Array 和 Object）创建的对象会从 Array.prototype 和 Object.prototype 继承不可枚举属性，例如 Array 的 indexOf() 方法或 Object 的 toString() 方法，它们在 for...in 循环中不会被访问到。

根据现代 ECMAScript 规范的定义，遍历的顺序是一致且可预测的。在原型链的每个组件中，所有非负整数键（可以作为数组索引）将首先按值升序遍历，然后是其他字符串键按属性创建的先后顺序升序遍历。

在 for...in 循环中，variable 部分可以接受任何在 = 运算符之前的内容。只要在循环体内部不重新赋值（可以在迭代之间更改，因为它们是两个独立的变量），你可以使用 const 来声明变量。否则，你可以使用 let。你可以使用解构赋值来为多个局部变量赋值，或者使用属性访问器（例如 for (x.y in iterable)）将值赋给对象属性。

一种遗留的语法允许在 for...in 循环中的 var 声明的循环变量具有初始值。在严格模式下，这会抛出语法错误，而在非严格模式下则会被忽略。