将私有内部类作为模板参数默认值：GCC与Clang编译差异

问题场景 #

一段实现Pimpl惯用法的简化代码，在GCC 9.4.0中可正常编译，但在Clang 10.0.0中报错，提示'Impl' is a private member of 'MyClass'。将Pimpl<MyClass> m_impl;修改为Pimpl<MyClass, Impl> m_impl;后，Clang能正常编译并创建私有类实例。需明确该用法是否符合C++17标准，以及编译器行为差异的原因。

示例代码 #

头文件（.h）

#include <memory>
template<class T, class Impl = typename T::Impl> class Pimpl {
public:
    Pimpl() : m_impl(std::make_unique<Impl>()) {}
    Impl * operator->() { return m_impl.get(); }
    const std::unique_ptr<Impl> m_impl;
};

class MyClass {
public:
    int getData();
private:
    class Impl;
    Pimpl<MyClass> m_impl;
};

实现文件（.cpp）

class MyClass::Impl {
public:
    int data = 1;
};

int MyClass::getData() {
    return m_impl->data;
}

int main() {
    MyClass c;
    return c.getData();
}

Clang报错信息 #

error: 'Impl' is a private member of 'MyClass'
template<class T, class Impl = typename T::Impl> class Pimpl
^

分析与结论 #

原代码不符合C++17标准，Clang的报错行为是正确的，GCC编译通过属于非标准的宽松处理。

原因核心在于模板默认参数的访问权限规则：

• 当声明Pimpl<MyClass> m_impl;时，需要实例化Pimpl<MyClass>，此时会触发默认模板参数typename MyClass::Impl的求值。这个求值过程发生在Pimpl模板的上下文，而Pimpl并非MyClass的友元，无权访问MyClass的私有成员Impl，因此该访问是非法的。
• 修改为Pimpl<MyClass, Impl> m_impl;时，Impl的引用发生在MyClass自身的作用域内，类内部可以自由访问自己的私有成员，将Impl作为模板参数传递给Pimpl属于合法操作，因此Clang可以正常编译。

内容的提问来源于stack exchange，提问作者many-sigsegv