clang vs gcc模板子类在父级中使用前向声明的类

Question

我有一个模板子类（模板typename与父或子不相关，因此不是CRTP继承的情况），并且父类在私有访问标签部分中有一个前向声明的类。

GCC（在4.9.2和7.2上测试）编译，但clang（在5.0.0上测试）会抱怨。 这是repro案件：

class TestClass
{
public:
    // Forward-declare as public to make compile with clang
    // class Thing;
private:
    // GCC compiles fine with forward-declaration as private but clang gives error
    class Thing;
    friend class Thing;
    void NotifyOfThing();
};

class TestClass::Thing
{
public:
    static void NotifyOfThing() {}
};

template <typename Unrelated>
class ThingImpl final : public Unrelated
{
private:
    void handleThing()
    {
        TestClass::Thing::NotifyOfThing();
    }
};

int main() {
    ThingImpl<TestClass> implementation;
}

Clang抛出一个错误：

25 : <source>:25:20: error: 'Thing' is a private member of 'TestClass'
        TestClass::Thing::NotifyOfThing();
                   ^
8 : <source>:8:11: note: declared private here
    class Thing;
          ^
1 error generated.
Compiler exited with result code 1

然而GCC接受了这一点。

现在，如果我删除模板声明，并使ThingImpl成为非模板类​​，GCC也会抱怨Thing是私有的。

有人可以解释为什么会出现这种情况，哪一个更符合C ++标准？ 或者标准没有明确涵盖这一点？

Answer 1

当访问模板中的检查时，gcc有很多错误。 看到这个meta-bug 。 你遇到的情况恰好与41437相符：

class A { struct B { B(); }; };
template<typename T> void f() { A::B b; }
void g() { f<int>(); } // gcc says this is okay

铿锵是正确的，代码显然是不正确的。 Thing是TestCalss的私有类，而ThingImpl不是TestClass的朋友，因此ThingImpl尝试访问TestClass::Thing应该是访问冲突。