请解释JavaScript中的作用域机制，并说明let、var、const在变量提升、作用域和可变性上的区别。

回答思路

1. 准确解释var的函数作用域与let/const的块级作用域
2. 说明变量提升（hoisting）对var和let/const的不同影响（含暂时性死区）
3. 区分let与const的可变性规则
4. 能给出典型示例说明不同声明方式的初始化时机