c++ - 通过 friend 访问类中的 protected 类型 - gcc 允许，clang 不允许

Question

哪个编译器是正确的 - 或者这是标准中的缺陷？

GCC 编译以下代码，但 clang 报错:

<source>:20:7: error: 'Impl' is a protected member of 'A'

代码:

template<typename T>
struct WrapperBuilder;

template <typename T>
struct LetMeIn : public T {
    friend struct WrapperBuilder<T>;
};

class A {
protected:
    struct Impl;
};

// without this line, gcc complains too (but I think I understand why)
extern template struct LetMeIn<A>;

template<>
struct WrapperBuilder<A> {

   A::Impl * i; // Clang doesn't like this line
};

谢谢。

https://godbolt.org/z/Qa7zZ6

此外，有人知道不涉及更改 A 的 clang 解决方法吗？

Answer 1

clang 是对的。请注意 gcc 有 many bugs在模板中进行访问检查。

Impl是 A 的 protected 成员, WrapperBuilder<A>两者都不是来自 A也不是 friend的 A .

LetMeIn没有以相关的方式给予友元。显式模板实例化使得 WrapperBuilder<A>一个friend的 LetMeIn<A> , 但友元不是传递性的——这不会使它成为 friend的 A .

---

LetMinIn<A>::Impl有效……但非常间接。如果你愿意，你可以更直接地做到这一点:

struct LetMeIn : A {
    using Impl = A::Impl;
};

现在它是公开的。