标记模板文字的 TemplateObject 数组是否被其领域弱引用？

while (c) {
  tag`str0 ${e} str1`
}

JavaScript 运行时创建一个冻结数组，例如Object.freeze(['str0 ', ' str1'])但还有一个额外的.raw财产。

可以使用该对象作为 a 中的键吗？WeakMap以避免每次循环时都必须根据数组重做工作？

const memoTable = new WeakMap
function tag(templateStrings, ...values) {
  let cached = memoTable.get(templateStrings)
  if (!cached) {
    // Compute cached and put it in the table for next time.
  }
  // Do something with cached and values
}

Section 12.2.9.3 运行时语义：GetTemplateObject (模板文字 ) https://www.ecma-international.org/ecma-262/7.0/#sec-gettemplateobject描述了如何缓存该值：

2. Let realm是当前的领域记录。
3. Let 模板注册中心 be realm.[[模板映射]]。

所以从使用到使用应该是一样的tag在上面的循环中，这对于密钥来说是一个很好的属性。

在我看来， [[TemplateMap]] 必须弱引用模板对象数组，因为否则

for (let i = 0; i < 1e6; ++i) {
  eval('(() => {})`' + i + '`');
}

会泄漏内存。

我在规范中没有看到任何内容，但是对于广泛使用的 JavaScript 引擎来说，标记字符串模板的 WeakMap 条目在可重新输入范围内使用的 WeakMap 条目是否最终会被收集？

我问是因为我已经实施了某物 https://www.npmjs.com/package/template-tag-common基于这个假设，但还没有弄清楚如何测试它。

是否可以使用该对象作为 WeakMap 中的键以避免每次循环时都必须基于数组重做工作？

是的，这正是您要做的事情，也是模板文字的伟大功能之一。

在我看来， [[TemplateMap]] 必须弱引用模板对象数组，因为否则

for (let i = 0; i < 1e6; ++i) {
  eval('(() => {})`' + i + '`');
}

会泄漏内存。

事实上它确实泄漏了，因为[[TemplateMap]]并不弱。 :(

这是关于当前规范的开放讨论点。截至撰写本文时，讨论的是是否应该更改规范以使模板文字为每个源文本位置，而不是让[[TemplateMap]]是全局状态。例如截至撰写本文时：

var id = v => v;
id`tpl` === id`tpl` // true

这有点奇怪。

是否可以打破这一点以创建两个单独的模板？如果是这样，那么至少有可能你的eval可以允许示例收集模板。

你可以在这里看到一些讨论，https://github.com/tc39/ecma262/issues/840 https://github.com/tc39/ecma262/issues/840，至少暂时可以解决这个问题。

EDIT:

规范确实发生了变化，因此模板现在是按源位置而不是按领域，因此具有相同内容和不同位置的两个模板将是两个不同的对象。这意味着如果源文件不再可访问，引擎可能会垃圾收集模板文字对象。