c++ - 带有友元运算符的模板类的嵌套类，编译错误

Question

当我尝试编译这个（g++）时：

template<typename T>
struct A {

    struct B { };

    template<typename S>
    friend A<S>& operator +(A<S> const &, A<S> const &);
};

template<typename T>
A<T>& operator +(A<T> const &a, A<T> const &b) {
    A<T>::B *x;
    return a;
}

main() { }

我明白了

test.cpp: In function "A<T>& operator+(const A<T>&, const A<T>&)":
test.cpp:12:11: error: "x" was not declared in this scope

为什么？

[忽略：如果我不包括这一行，堆栈溢出说我保存时我的帖子中有太多代码]

Answer 1

编译器不知道它A<T>::B表示一个类型，所以它试图在那里做乘法。

采用typename A<T>::B *x;