模板消歧器

Question

我试图找到有关用作消歧器的模板关键字的任何信息，但没有任何信息。可能我正在搜索错误的关键字，但标准中没有像 .template 或 ->template 这样的东西。谷歌只显示来自不同论坛的 GCC 问题，但没有真正解释它的用途。

类似的代码在第 11 行（在 GCC 上）没有 template 关键字的情况下无法编译，但我不太确定这是否符合标准。

template<typename B>
struct S1
{
    template<typename T> void test() {}
};

template<typename T>
struct S2
{
    S2()
    {
        S1<T>().template test<int>();
    }
};

int main()
{
   S2<int>();
}

所以我的问题是：为什么这里使用 template 关键字，如果没有该关键字会有什么样的歧义，我在哪里可以读到相关内容（我真的很感激标准的链接）。

谢谢。

Answer 1

简短回答：因为标准是这么说的

ISO C++03 14.2/4

当成员模板专业化的名称出现在 后时。或->在后缀表达式中，或在限定 ID 中的嵌套名称说明符之后，并且后缀表达式或限定 ID 显式依赖于模板参数 (14.6.2)，成员模板名称必须以关键字模板。 否则，该名称将被假定为命名非模板。

PS：

如果没有额外使用模板，编译器不知道后面的小于标记 (<) 并不是真正的“小于”，而是模板参数列表的开头。