带template前缀的名称后无参数列表：语法还是语义错误？

问题场景 #

根据C++标准[temp.names]p6条款规定：

以template关键字为前缀的名称后必须跟模板实参列表，或者引用类模板……

标准给出的示例代码：

A<T> a;
a.template f<>(t);                    // OK, calls template
a.template f(t);                      // error: not a template-id

错误类型判定 #

从标准的语法规则表述来看，template关键字的使用要求后续必须跟上模板实参列表（<>形式），a.template f(t)中f后直接跟普通函数调用的实参列表，未满足语法层面的格式要求，因此属于语法错误。

标准示例注释提到“not a template-id”，这其实是从语法结构定义的角度描述问题——C++语法中，模板id（template-id）的结构必须是模板名称<模板实参列表>，缺少<>就不构成合法的模板id，本质还是违反了语法规则，和条款表述并不冲突。

Clang中的处理阶段 #

在Clang的编译流程里，这类错误应该在**解析阶段（Parsing Phase）**处理：

• 解析阶段的核心职责是校验代码是否符合C++语法规则，template关键字后的格式要求属于纯语法范畴，不需要依赖语义分析（比如不需要确认f是否真的是模板）。
• 当解析器识别到a.template f(这样的结构时，能直接判定违反了template的语法使用规则，此时即可抛出错误，无需进入语义分析阶段。

内容的提问来源于stack exchange，提问作者Erick Velez