含const成员的POD struct排序：求兼容STL的实现方案

我有一个带有const成员的POD结构体S，以及一个需要排序的std::vector<S> vec。以下代码无法编译：

std::sort(vec.begin(), vec.end(), [](const S& s1, const S& s2){return s1.x < s2.x;});

原因是S的operator=未定义，导致编译失败。请问是否存在兼容<algorithm>的STL友好方式来排序vec？

补充说明：这些const成员在概念上是不可变的，但实际可以修改，且原向量在排序后不再使用。

我目前想到的最佳方案是：创建指向vec的索引向量，使用比较器对索引排序，再重构出排序后的vec。

可行方案 #

1. 索引排序法（你提到的方案，推荐） #

这是完全符合STL规范且安全的方案，不需要修改结构体定义，步骤清晰：

• 创建索引向量，存储从0到vec.size()-1的整数
• 按结构体的目标字段对索引进行排序
• 根据排序后的索引重构新向量，利用移动构造减少拷贝开销（因为原向量不再使用）

代码示例：

#include <vector>
#include <algorithm>
#include <numeric> // 用于std::iota

struct S {
    const int x;
    // 其他POD成员...
};

int main() {
    std::vector<S> vec = {{5}, {2}, {8}, {1}};
    
    // 初始化索引向量
    std::vector<size_t> indices(vec.size());
    std::iota(indices.begin(), indices.end(), 0);
    
    // 按S的x字段排序索引
    std::sort(indices.begin(), indices.end(), [&vec](size_t i1, size_t i2) {
        return vec[i1].x < vec[i2].x;
    });
    
    // 构建排序后的向量
    std::vector<S> sorted_vec;
    sorted_vec.reserve(vec.size());
    for (size_t idx : indices) {
        // 用const_cast移除const后移动，原向量不再使用，不会破坏语义
        sorted_vec.push_back(std::move(const_cast<S&>(vec[idx])));
    }
    
    // sorted_vec即为排序后的结果
    return 0;
}

2. 移除成员的const限定（最简单，若允许修改结构体） #

如果可以修改S的定义，直接去掉成员的const修饰，POD结构体默认会生成operator=，此时std::sort可以直接正常工作，无需额外处理。这是最简洁的方案，前提是结构体的设计允许移除const。

3. 自定义swap特化（不推荐） #

虽然可以通过特化std::swap让std::sort编译通过，但需要用const_cast修改const成员，这会违背const的设计意图，除非你能完全保证这种修改的安全性，否则不建议使用。示例代码：

namespace std {
    template<>
    void swap<S>(S& a, S& b) noexcept {
        // 修改const成员
        std::swap(const_cast<int&>(a.x), const_cast<int&>(b.x));
        // 交换其他成员（如果有）
    }
}

这种方法能让std::sort运行，但会破坏代码的const语义，容易引入难以排查的bug，仅作为极端情况下的备选。

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