C++ operator-comma/forward 引用代码不编译

Question

以下代码无法编译，除非注释行被取消注释:

template <class T> struct R { static T& r(); };
struct M {
    static char m(M&);
    template <class T> static int m(const T&);
};
template <class T> struct A;
template <class T>
struct B {
    struct U { };
    struct V { M& operator,(U); };
    enum { v = sizeof(M::m((R<V>::r(), R<A<T>*>::r()))) };
};
template <class T> struct A { B<T> y; };
int main()
{
//  A<int>();  // Works if uncommented.
    B<int>();
}

在逗号运算符处，编译器认为它需要 A<int>完整，即使代码只在 A<T>* 中传输.我不明白为什么。它因 clang 和 g++ 而失败。 clang 说

h.cpp:13:36: error: field has incomplete type 'B<int>'
template <class T> struct A { B<T> y; };
                                   ^
h.cpp:11:38: note: in instantiation of template class 'A<int>' requested here
    enum { v = sizeof(M::m((R<V>::r(), R<A<T>*>::r()))) };
                                     ^
h.cpp:17:5: note: in instantiation of template class 'B<int>' requested here
    B<int>();
    ^
h.cpp:8:8: note: definition of 'B<int>' is not complete until the closing '}'
struct B {
       ^
1 error generated.

---

我现在正坐在调试器中调试编译器 :-) 我认为正在发生的事情是编译器正在使用依赖于参数的查找来查找匹配 operator, s 和指向类的指针的关联类和命名空间包括类本身，因此编译器希望类是完整的。也许吧。

Answer 1

如果将 main 更改为这样，您会收到相同的错误消息:

int main()
{
    // A<int>();  // Works if uncommented.

    auto& x = R<A<int>*>::r();
    B<int>();
}

我要大胆地说，正如你所暗示的那样。提到指向 A<int> 的指针不会导致 A<int> 的模板扩展.

这(对我而言)是有道理的，因为它与提及指向前向声明类型的指针相同 - 您此时不需要完全定义的类型。

也许比我聪明的人可以在标准中找到强制执行此操作的段落。