@SKSlience，不能反推答案，先知道了结果再去找代码不同，然后得出结论。我不管是调试，还是分析a变量作用域都在Local Scope，只是预编译过程黑箱了，不知道其中的过程
红米K30 Pro 变焦版

@Curtion，@水木易安，@SKSlience，这段代码没有任何ES6关键字，所以必须手动进入严格模式。严格模式和非严格模式结果不同。

@老虎会游泳， 这样看来在严格模式下会影响块级作用域中定义函数的行为，最后我找到了一个标准说明，或许和这个有关系 https://262.ecma-international.org/6.0/#sec-block-level-function-declarations-web-legacy-compatibility-semantics 这样看来这应该属于一个未定义行为，是语言标准之外的东西
红米K30 Pro 变焦版

小米MIX2s(白)

@SKSlience，我只能说：非严格模式的ES5有怪异的行为。谁知道它到底是怎么处理的
注意不是ES6，因为代码没有ES6关键字或者功能，不能自动推定为ES6。

小米MIX2s(白)

@SKSlience，可以这样解释：

1. var a和function a是两个不同的变量。
2. 在全局的var a存在时，ES5非严格模式没有函数提升，所以a = 123;是给var a赋值。然后后面的a = 456;是给function a赋值。

此时就得到了如下结果：

也就是说，对于ES5非严格模式，如果运行一个赋值语句时被赋值的变量已存在，则函数提升没有必要发生，所以不会发生。

<!-- markdown -->
@老虎会游泳，函数提升在预编译阶段实现，而赋值在运行阶段，很明显我们不是在做延迟选择量子擦除实验，。解释我倾于像16楼我说的那样，参考来自 https://stackoverflow.com/questions/31419897/what-are-the-precise-semantics-of-block-level-functions-in-es6
红米K30 Pro 变焦版

@Curtion，那么问题来了

延迟选择量子擦除实验 是什么?
小米MIX2s(白)

@水木易安，我说错了，其实想表达的是惠勒延迟选择实验,实验内容： https://www.bilibili.com/video/BV1x4411T7dg ，大概意思就是这个实验看起来像是颠倒了因果关系
红米K30 Pro 变焦版

@Curtion，薛定猫的锷
小米MIX2s(白)

@水木易安，是的，和量子力学有关
红米K30 Pro 变焦版

@Curtion，那么也可以这样理解：
在以下代码中：

1. var a和function a是两个不同的变量。无论这是怎么造成的，这就是我们观察到的结果。
2. 赋值语句按照字面顺序绑定给对应的变量。所以a = 123;绑定给var a，然后a = 456;绑定给function a。

var a = 0;
{
        a = 123;
        function a() {}
        a = 456;
        console.log(a);
}
console.log(a);

@老虎会游泳，如果按照字面顺序解释的话，那么只需要稍微改一下代码：

var a = 0;
{
  a = 123;
  a = 456;
  function a() {}
  console.log(a);
}
console.log(a);

那么应该输出 [Function: a] 和 456 ，实际上输出 456 和 456

我用``好像没有识别出来呢
红米K30 Pro 变焦版

@Curtion，markdown代码块的下方必须有空行，这是解析器的局限性。如果没有空行，下一行的markdown不会被解析。

看了你们的讨论过程，我的问号更多了
人生若只如初见

@枫叶飘，正常，由于历史原因，js本身是有缺陷的。
我觉得可以停止观战了。
令人迷惑的东西就应该避免，而不是用作谈资。

https://www.zhihu.com/question/387134172

小米MIX2s(白)