C++类成员为其他类指针/引用时适配const与非const场景的实现方案

问题根因 #

原有设计中独立于A存在的B类，固定要求构造参数为非const的A指针。当const修饰的A实例调用const版本的getB方法时，this指针的类型为const A<T>*，和B构造函数要求的A<T>*参数不匹配，直接触发编译错误。就算给getB的const版本返回值加const修饰，也只是让返回的B实例本身不可修改，改变不了B类无法接收const A指针的本质问题。

适配方案（内嵌实现，匹配B仅服务于A的场景） #

结合B类目前仅被A使用的前提，完全可以将B的实现逻辑内嵌到A类的私有区域，既消除前置声明、友元声明的冗余代码，也能从根源上解决const兼容问题。
具体实现不需要写两套几乎重复的B类，只用一个极轻量的内部嵌套结构就能自动适配const/非const两种场景：

#include <vector>

template <typename T>
class A {
    // 以下全部为私有实现细节，外部不可见
    std::vector<T> data;

    // 内部通用B结构，自动适配传入指针的const属性
    template <typename Self>
    struct BImpl {
        Self* self_ptr;
        int pos;

        BImpl(Self* p, int pos_) : self_ptr(p), pos(pos_) {}

        // 自动推导返回值类型，保持和Self一致的const语义
        decltype(auto) get() {
            return (self_ptr->data[pos]);
        }
    };

public:
    A(int n) {
        data.resize(n);
        for (int i = 0; i < n; i++)
            data[i] = static_cast<T>(i);
    }

    // 非const上下文：推导Self为非const A<T>，返回可修改的引用
    BImpl<A<T>> getB(int pos) {
        return BImpl<A<T>>(this, pos);
    }

    // const上下文：推导Self为const A<T>，返回只读引用
    BImpl<const A<T>> getB(int pos) const {
        return BImpl<const A<T>>(this, pos);
    }
};

int main() {
    // 非const场景正常工作，支持修改
    A<int> a(10);
    int& i = a.getB(3).get();
    i = 100;

    // const场景也可正常编译，仅支持只读访问
    const A<int> ca(10);
    const int& ci = ca.getB(3).get();
}

方案特性 #

• 从根源解决const兼容问题：内部B结构的指针类型完全跟随A实例的const属性变化，不存在类型不匹配问题，整个链路的const性由编译器静态检查，没有类型安全风险。
• 零额外调用成本：对外的接口和原实现完全一致，不需要修改任何现有调用代码，const/非const场景的行为完全符合预期。
• 代码更简洁：去掉了原实现中需要前置声明B、给B加友元的冗余逻辑，内部结构完全封装在A的私有区域，不会污染外部命名空间。

兼容性说明 #

如果需要兼容不支持decltype(auto)的老版本编译器，只需要把get()的返回值用std::conditional做静态推导即可，整体结构不需要任何改动：

template <typename Self>
struct BImpl {
    Self* self_ptr;
    int pos;

    BImpl(Self* p, int pos_) : self_ptr(p), pos(pos_) {}

    // 兼容C++11的返回值推导写法
    auto get() -> std::conditional_t<
        std::is_const<Self>::value,
        const T&,
        T&
    > {
        return self_ptr->data[pos];
    }
};

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