GCC可编译、Clang14编译失败的C++代码：编译器正确性及兼容方案

问题概述 #

一段C代码可在GCC中正常编译，但在Ubuntu 22.04自带的Clang 14.0.0中编译失败。最新开发版Clang已修复该问题，但无法通过apt仓库安装。需求是不修改类A代码的前提下，解决Clang 14的编译问题，并明确哪个编译器的行为符合C标准。

代码示例 #

#include <iostream>
#include <cstdint>

template<typename T>
class B
{
};

class A
{
    struct Sub {
        int r;
    };

    template<typename>
    friend class B;
};

template<>
struct B<int>
{
    template<typename T>
    using Sub = typename T::Sub;
};

int main()
{
    int i = offsetof(B<int>::Sub<A>, r);
}

Clang 14.0.0错误信息 #

<source>:23:5: error: 'Sub' is a private member of 'A'
    using Sub = typename T::Sub;
    ^
<source>:11:12: note: implicitly declared private here
    struct Sub {
           ^

解决方案（不修改类A） #

Clang 14的问题在于对友元权限的检查存在局限，可通过在B<int>中添加一层辅助结构来规避：

#include <iostream>
#include <cstdint>

template<typename T>
class B
{
};

class A
{
    struct Sub {
        int r;
    };

    template<typename>
    friend class B;
};

template<>
struct B<int>
{
    // 通过辅助结构体中转类型访问，规避Clang 14的检查bug
    template<typename T>
    struct SubHelper {
        using type = typename T::Sub;
    };

    template<typename T>
    using Sub = typename SubHelper<T>::type;
};

int main()
{
    int i = offsetof(B<int>::Sub<A>, r);
}

通过辅助结构中转后，Clang 14会正确识别B<int>的友元权限，允许访问A::Sub。

标准合规性判断 #

根据C++标准：

• 类A的友元声明template<typename> friend class B;表示所有B的模板特化（包括B<int>）都是A的友元。
• 友元类的成员有权访问原类的私有成员，因此B<int>中定义的Sub别名访问A::Sub是完全合法的。

结论：GCC和新版Clang的行为符合C++标准，Clang 14的报错属于编译器实现bug。

内容的提问来源于stack exchange，提问作者rafoo