C++中定义同时接收const与非const对象且不违反const正确性的类的正确模式是什么？

原有实现的问题 #

原有实现的核心缺陷是将被包装对象的const属性存储在指针的底层const中，没有上升到类型层面，因此编译器无法在wrapper对象层面区分是否允许修改被包装对象，只能依赖开发者手动将wrapper对象声明为const来约束，很容易出现意外丢弃const的未定义行为，同时必须使用const_cast也违反了C++的类型安全规范。

核心设计思路 #

要解决该问题，需要让wrapper类的可修改能力和被包装的list的const属性绑定，而非和wrapper对象本身的const属性绑定。最优方案是将被包装对象的const属性纳入模板类型系统，在编译期完成所有权限约束，完全避免运行期风险。

实现代码 #

#include <list>
#include <type_traits>

// 模板参数接收完整的list类型（自动兼容const/非const）
template <typename ListType>
class OnlyLists {
    // 静态约束仅支持std::list类型，避免非法传入其他容器
    static_assert(std::is_same_v<ListType, std::list<typename ListType::value_type>> || 
                  std::is_same_v<ListType, const std::list<typename ListType::value_type>>,
                  "OnlyLists只能包装std::list类型实例");
private:
    ListType* p_list;

public:
    // 唯一公有构造函数，自动适配const/非const入参
    explicit OnlyLists(ListType* list) : p_list(list) {}

    // 只读方法，所有实例均可用
    size_t viewsList() const {
        return p_list->size();
    }

    // 修改方法，仅当被包装的list为非const时才会被实例化
    template <typename T = ListType>
    std::enable_if_t<!std::is_const_v<T>, void> modifiesList() {
        p_list->clear();
    }
};

// C++17以下版本可以用工厂函数辅助推导模板参数，C++17及以上可省略，直接使用类模板参数推导
template <typename T>
OnlyLists<T> make_only_lists(T* list) {
    return OnlyLists<T>(list);
}

int main() {
    const std::list<int> const_list;
    std::list<int> mutable_list;

    // 包装const list，自动生成只读实例
    auto a = make_only_lists(&const_list);
    a.viewsList(); // 调用合法
    // a.modifiesList(); // 编译报错，只读实例无修改方法

    // 包装非const list，自动生成可读写实例
    auto b = make_only_lists(&mutable_list);
    b.viewsList(); // 调用合法
    b.modifiesList(); // 调用合法

    // 跨const类型赋值直接编译报错，不会出现const丢失问题
    // b = a; 

    return 0;
}

方案优势 #

• 完全摒弃const_cast，符合C++ const正确性规范，不存在未定义行为风险
• 所有权限约束均在编译期完成，非法修改、跨const赋值都会直接触发编译错误，不需要额外运行期检查
• 不需要手动标记wrapper对象为const，类型本身就携带了被包装对象的读写权限信息，不会出现意外丢弃const的问题
• 静态断言保证了仅支持std::list类型，符合需求没有冗余设计
• 适配性强，C11及以上版本均可使用，C17及以上版本可以省略工厂函数，写法更简洁

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