如何在不修改头文件的情况下访问C++中私有类型的私有成员X::arr？

你遇到的问题根源在于：X::A是X的私有嵌套类，在全局作用域的X_A结构体里直接写vector<X::A> X::*会触发访问权限错误——C++不允许在类外部直接引用私有嵌套类型。

下面提供两种可行的技巧（注意：这类方法属于绕开C++访问控制的非常规操作，属于未定义行为，仅建议用于调试或特殊场景，生产代码中优先考虑通过类提供的公共接口访问成员）：

方法一：C++17及以上版本（支持auto模板参数） #

// 头文件中的X（不可修改）
class X
{
private:
    class A {};
    std::vector<A> arr;
};

// 定义Accessor模板
template<auto Member>
struct Accessor {
    friend auto get() {
        return Member;
    }
};

// 显式实例化模板，传入X::arr的成员指针
template struct Accessor<&X::arr>;

// 使用示例
int main() {
    X x;
    // 通过get()获取成员指针，用auto推导类型
    auto& arr = x.*get();
    // 可以调用vector的公共方法，比如size()
    std::cout << arr.size() << std::endl;
    return 0;
}

方法二：兼容C11/C14版本 #

// 头文件中的X（不可修改）
class X
{
private:
    class A {};
    std::vector<A> arr;
};

// 定义空的Tag结构体，用于标记要访问的成员
struct X_Arr {};

// 修改Accessor模板，不依赖Tag的typedef
template<typename Tag, typename MemberPtr>
struct Accessor {
    friend MemberPtr get(Tag) {
        return MemberPtr{};
    }
};

// 显式实例化，直接传入&X::arr，让编译器推导MemberPtr类型
template struct Accessor<X_Arr, decltype(&X::arr)>;

// 使用示例
int main() {
    X x;
    auto arr_ptr = get(X_Arr());
    auto& arr = x.*arr_ptr;
    std::cout << arr.size() << std::endl;
    return 0;
}

关键说明 #

• 这两种方法都避免了在全局作用域直接引用X::A，而是让编译器在模板实例化阶段自动推导成员指针的类型，绕开了私有类型的访问限制。
• 这类技巧依赖编译器的特定实现，不符合C++标准的访问控制规则，可能在不同编译器或版本下失效，生产环境中强烈不建议使用。

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