哪个编译器是正确的？ “模板”在需要模板化返回类型之前？

Question

此片段（取自这个问题）用 g++ 编译得很好（如图所示），只要返回类型之前的 template 就在那里。相反，VC10 不会编译该代码，并出现以下错误：

错误 C2244：“A::getAttr”：无法将函数定义与现有声明匹配

如果我删除 template，VC10 很高兴，但 g++ 会发出此错误：

错误：非模板“AttributeType”用作模板
注意：使用'A::template AttributeType'表示它是一个模板

又是因为 VC 的两阶段查找损坏还是什么原因？这里是哪个编译器？我怀疑 g++ 是正确的，因为我对这里需要 template 有一个模糊的记忆，就像分配器内部的 rebind 模板一样。

---

编辑：我们有一个获胜者：g++/GCC（惊喜……）。

---

template <typename T, typename K>
class A {
public:
    T t;
    K k;

    template <int i, int unused = 0>
    struct AttributeType{
    };

    template <int i>
    AttributeType<i> getAttr();

};

template <typename T, typename K>
template <int i>
typename A<T, K>::template AttributeType<i> A<T, K>::getAttr() {
//                ^^^^^^^^ -- needed or not?
    return t;
}


int main(){
    A<int,int> a;
}

Answer 1

海湾合作委员会是对的。 AttributeType 是一个依赖的模板名称，后面是尖括号 <，因此这里需要关键字 template 来消除歧义¹，让编译器清楚后面的是模板名称。 §14.2/4 中提到了该规则：

当成员模板的名称
专业化出现在 .或->
在后缀表达式中，或之后
嵌套名称说明符
合格的 ID，以及
后缀表达式或限定 ID
明确依赖于
模板参数（14.6.2），
成员模板名称必须带有前缀
通过关键字模板。否则
假设名称为a
非模板。

¹ @Johannes 在这里写了一个非常好的解释：

我必须在哪里以及为什么必须放置“template”和“typename”关键字？