如何构建带const安全的C++读写容器Concept，兼容vector与span？

核心思路 #

针对你的文件读写库需求，我们需要拆分**只读容器（用于write）和可写容器（用于read）**的约束，同时通过万能引用解决临时对象和拷贝问题：

• 只读容器：强制容器的.data()返回const指针，彻底避免write时误改数据
• 可写容器：要求.data()返回非const指针，同时用万能引用同时支持左值容器（如std::vector）和临时右值容器（如临时std::span）

具体实现代码 #

#include <vector>
#include <span>
#include <concepts>
#include <cstddef>

// 只读容器约束：仅接受.data()返回const指针的容器
template<typename Container>
concept ReadableContainer = requires(Container c) {
    typename Container::value_type;
    { c.data() } -> std::same_as<const typename Container::value_type*>;
    { c.size() } -> std::convertible_to<std::size_t>;
};

// 可写容器约束：仅接受.data()返回非const指针的容器
template<typename Container>
concept WritableContainer = requires(Container c) {
    typename Container::value_type;
    { c.data() } -> std::same_as<typename Container::value_type*>;
    { c.size() } -> std::convertible_to<std::size_t>;
};

// write函数：仅接受只读容器，保证绝对的const安全
template<ReadableContainer Container>
void write(const Container& container) {
    const auto* data = container.data();
    const std::size_t size = container.size();
    // 此处实现文件写入逻辑：只能读取data指向的内容，无法修改
}

// read函数：用万能引用接受左值/右值可写容器，避免拷贝同时支持临时span
template<WritableContainer Container>
void read(Container&& container) {
    auto* data = container.data();
    const std::size_t size = container.size();
    // 此处实现文件读取逻辑：直接写入data指向的内存区域
}

// 测试用例
int main() {
    // 测试write：合法场景
    const std::vector<int> const_vec{1,2,3};
    write(const_vec); // 正常通过：const vector的data()返回const int*

    int arr[] = {4,5,6};
    const std::span<const int> const_span(arr);
    write(const_span); // 正常通过：span<const int>的data()返回const int*

    // 测试write：非法场景（编译报错，符合预期）
    // std::vector<int> non_const_vec{1,2,3};
    // write(non_const_vec); // 错误：vector<int>的data()返回int*，不符合ReadableContainer
    // std::span<int> non_const_span(arr);
    // write(non_const_span); // 错误：span<int>的data()返回int*，不符合ReadableContainer

    // 测试read：合法场景
    std::vector<int> writable_vec(3);
    read(writable_vec); // 正常通过：左值引用，修改会同步到外部vec

    int writable_arr[3];
    read(std::span<int>(writable_arr, 3)); // 正常通过：临时span右值，修改指向的数组内容
}

关键细节说明 #

1. write的const安全保障：

   • ReadableContainer强制.data()返回const value_type*，直接排除std::span<T>（其.data()返回T*），即使传入const std::span<T>&也会因为容器本身的.data()类型不符合而编译报错。
   • 仅允许const std::vector<T>、std::span<const T>这类无法修改内部数据的容器进入write函数，从根源避免误改。

2. read的参数兼容问题：

   • 使用万能引用Container&&，既可以绑定左值的std::vector（无需拷贝，修改直接生效），也可以绑定临时的std::span右值（无需额外处理，直接修改span指向的内存）。
   • WritableContainer确保容器的.data()返回可修改指针，保证read操作能正常写入数据。

扩展兼容性 #

这套方案天然支持std::array等具备.data()和.size()的标准容器，只需满足对应的只读/可写约束即可直接接入你的文件读写逻辑。

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