知道哪些名称是类型名称，可以检查每个模板的语法。该程序格式不正确，不需要诊断，如果：[...]
- 在假设的实例化中，这种构造的
紧随其定义之后的模板的假设实例化将由于结构不依赖模板参数而错误地形成，或者
解释在模板的任何实际实例中与相应构造的解释不同。 [...]
解释在这里是什么意思？这是否意味着每个令牌都必须解释为相同的运算符/实体/任何语法构造，又在语法上等效？还是意味着它也必须在语义上等效，例如ODR rule定义的等效形式？
作为旁注，[temp.variadic]包含句子
[...]这样的实例化不会改变封闭结构[...]
的语法解释
其中有明确的“句法”。