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

这个片段（取自这个问题）用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;
}