作用域为调用堆栈的变量

问：

前提：这不是一个特定于特定语言的问题，而是一个通用的编程问题，以了解某些语言是否具有这种结构，如果没有，它的原因是什么，因为它看起来非常有用？

问：什么是允许在调用堆栈级别声明变量的构造，以便只有该特定调用堆栈中的函数才能访问它？我将尝试使用 javascript 来强调这一点：

async function main() {
  await Promise.all([foo(), bar()])
}

async function foo() {
   await setTimeout(100);
   setting (const a = 1) {  // <===== set here
      await setTimeout(100);
      await baz();
   }
}

async function bar() {
   await setTimeout(100);
   setting (const a = 2) {  // <===== set here
      await setTimeout(100);
      await baz();
   }
}

async function baz() {
   const a = STACK_CONTEXT.a; // <===== used here
   console.log(a)
}

尽管这看起来像一个全局函数，但该函数仅在正在执行的特定调用堆栈下可用。我正在使用假设关键字来强调这一点。在该特定示例中，有 2 个并行运行的调用堆栈，其局部上下文变量“a”不同。这比向下输送变量要好（如果 bar 和 baz 之间有很多函数），并且由于显而易见的原因，使用线程局部或全局变量之类的东西会具有更好的属性。我还没有遇到过具有此功能的编程语言，但我想知道为什么，因为这在许多情况下非常有用。settingbar->baz()