请求纠偏：对JavaScript函数与对象结构的认知是否正确？

嘿，我太懂你这种绕晕的感觉了——JS里函数、对象、原型那堆概念，尤其是带着Java或Scheme的背景来学，简直像走进了一个术语迷宫。先帮你把你的认知拆一拆，哪些是对的，哪些要修正，还有遗漏的关键知识点：

• 你说JS没有Java那样的经典类型系统，更像带大括号的Scheme，这个点抓得非常准！JS的核心是原型继承而非类继承，哪怕是ES6的class也只是语法糖，底层还是原型那套逻辑。
• 对象实例通过内部隐藏的继承链接构成树状结构，根节点是Object.prototype，这个完全正确（不过要注意这个内部链接的标准名称是[[Prototype]]，和函数的prototype属性不是一回事，后面会讲）。
• 每个函数实例确实会保留它的创建上下文（词法环境）和代码逻辑，这正是闭包能实现的核心原因，这个认知没问题。
• 函数实例有自己的prototype属性，这个属性指向的原型对象又通过constructor反向指向该函数，这个机制的作用我后面会详细解释。

• Object和Function的身份：Object本身就是一个函数！而且所有函数（包括Object、Function、你自己写的function foo() {}）的内部[[Prototype]]都指向Function.prototype。更有意思的是，Function的内部[[Prototype]]也指向Function.prototype——这是JS里一个“鸡生蛋”的特殊设计，相当于Function自己构造了自己。
• 函数实例的原型链：函数的原型链不是独立的树，而是和普通对象的原型链打通的。比如你定义的foo函数，它的[[Prototype]]是Function.prototype，而Function.prototype的[[Prototype]]又是Object.prototype，最终链到null。这意味着函数本身就是一种特殊的对象，拥有普通对象的所有特性（比如可以添加属性、作为参数传递）。
• 最关键的误区：混淆内部[[Prototype]]和函数的prototype属性：
  • 内部[[Prototype]]是所有对象（包括函数）都有的隐藏链接，用来实现属性继承，你可以用Object.getPrototypeOf(obj)来获取它的值。
  • 而函数的prototype属性是一个普通对象，只有当这个函数被用作构造函数（用new调用）时才会生效：用new Foo()创建的实例，它的[[Prototype]]会自动指向Foo.prototype。

• Function.prototype上的length、name等属性的作用：Function.prototype是所有函数的原型，所以这些属性是所有函数都继承来的。比如name返回函数的名称（匿名函数可能是空字符串或"anonymous"），length返回函数的形参个数（不包含剩余参数和默认参数）。函数实例可以自己定义同名属性来遮蔽继承来的属性，比如：

  function foo() {}
  foo.name = "bar";
  console.log(foo.name); // 输出 "bar" 而非默认的 "foo"
  

• 函数实例拥有原型链的意义：因为函数本身是对象，所以它能继承对象的核心方法，比如toString()、hasOwnProperty()这些都是从Object.prototype来的。同时Function.prototype上的call()、apply()、bind()这些方法，是所有函数都能直接使用的工具，这就是原型链的优势——不用给每个函数重复定义这些通用方法。
• 函数prototype和原型对象constructor反向引用的作用：这个机制主要是让实例能找到自己的构造函数。比如const obj = new Foo();，obj.constructor会返回Foo，这样你可以通过实例创建同类型的新对象，或者判断实例的构造来源。不过要注意，constructor属性是可以被修改的，所以它不是100%可靠的类型判断方式。

• 函数是特殊的对象：所有函数都是对象，但不是所有对象都是函数。函数之所以特殊，是因为它内部有[[Call]]这个内置方法，让它可以被调用；而普通对象没有这个方法，无法被执行。
• 原型链的属性查找规则：当你访问一个对象的属性时，JS会先在对象自身查找，如果找不到，就沿着[[Prototype]]链往上找，直到找到目标属性或者链到null为止。这就是JS继承的核心逻辑。
• new操作的底层逻辑：当你用new Foo()创建实例时，JS会自动完成这几步：
  1. 创建一个空对象，它的[[Prototype]]指向Foo.prototype。
  2. 将这个空对象作为this绑定到Foo函数中执行。
  3. 如果Foo函数没有返回一个自定义对象，就返回这个新创建的实例。

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