如何实现接收const与非const参数的类构造函数？Wrapper类问题求解

我尝试实现一个wrapper类，用于修改或获取其成员对象的值，该类需支持接收const或非const类型的参数。
我定义了两个不同的构造函数，但接收const参数的第二个构造函数报错，提示“const限定符被丢弃”。

示例代码：

struct A {
    int a;
};

struct B {
    B(A& a) : a_(a){};
    B(const A& a) : a_(a){};   // 报错：const限定符被丢弃
    A& getA() & { return a_; }

    A& a_;
};

int main() {
    A a{};
    const A ca{};
    B b {a};
    const B cb{ca};
}

请问该如何修复这个问题？实现这类accessor class的最佳实践是什么？

报错的核心原因是：你试图把const A&绑定到A&类型的成员a_上，这会丢弃const限定符，属于不安全的隐式转换，编译器会直接禁止这种操作。

下面提供两种可行的修复方案：

方案1：用模板自动适配const属性 #

通过模板参数控制内部引用的const属性，让wrapper类自动匹配传入对象的类型：

#include <type_traits>

struct A {
    int a;
};

template <typename T>
struct B {
    static_assert(std::is_same_v<std::remove_cv_t<T>, A>, "T must be A or const A");
    
    B(T& a) : a_(a) {}
    
    T& getA() & { return a_; }

private:
    T& a_;
};

// 推导指引，简化对象创建（C++17及以上支持）
template <typename T>
B(T&) -> B<T>;

int main() {
    A a{};
    const A ca{};
    B b{a};          // 自动推导为B<A>类型
    const B cb{ca};  // 自动推导为B<const A>类型
}

当传入const A时，wrapper内部的引用会变成const A&，完全匹配参数类型，既解决了const丢弃问题，也保证了const正确性——此时getA()返回的是const A&，无法修改原对象。

方案2：定义独立的非const/const版本wrapper #

如果不想用模板，可以分别定义两个类，分别处理非const和const的A对象：

struct A {
    int a;
};

struct B {
    B(A& a) : a_(a) {}
    A& getA() & { return a_; }
private:
    A& a_;
};

struct const_B {
    const_B(const A& a) : a_(a) {}
    const A& getA() & { return a_; }
private:
    const A& a_;
};

int main() {
    A a{};
    const A ca{};
    B b{a};
    const_B cb{ca};
}

这种方式逻辑直观，但代码冗余度较高，适合简单场景。

• 严格遵守const正确性：确保wrapper的接口和内部成员的const属性完全匹配，绝对不能出现丢弃const限定符的操作，这是避免未定义行为的核心。
• 优先选择模板方案：模板版本的wrapper可以避免代码重复，同时自动适配不同const属性的对象，是更通用、可扩展的方案。
• 添加模板参数限制：用static_assert或SFINAE限制模板参数只能是目标类型（如A或const A），防止错误类型被传入。
• 提供推导指引：像方案1中的推导指引可以让用户无需显式指定模板参数，简化对象创建的代码。
• 注意引用生命周期：如果wrapper持有对象的引用，必须确保原对象的生命周期长于wrapper，避免悬空引用问题。
• 保持接口简洁：accessor类的核心是提供对成员对象的安全访问，不要添加无关功能，避免过度设计。

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