基于节点拼接从forward_list迭代器无拷贝构造新forward_list

已知可行的std::list实现方案 #

如果你持有一个std::list，想要基于指向原std::list的迭代器，以不拷贝元素的方式重建一个不同顺序的新std::list，实现逻辑非常直观。例如你可以打乱迭代器顺序，再按乱序重建列表：

int main(int argc, char **argv)
{
    std::list<std::string> args(&argv[1], &argv[argc]);
    std::vector<std::list<std::string>::const_iterator> vec;
    for (auto it = std::cbegin(args), last = std::cend(args); it != last; ++it) {
        vec.push_back(it);
    }

    std::shuffle(std::begin(vec), std::end(vec), std::mt19937(42));  // 使用可复现的PRNG打乱顺序

    std::cout << "Shuffled vec:\n";
    for (auto it : vec) {
        std::cout << *it << std::endl;
    }

    std::list<std::string> shuffled_args;
    for (auto it : vec) {
        shuffled_args.splice(std::end(shuffled_args), args, it);
    }

    std::cout << "Shuffled list:\n";
    for (const auto& s : shuffled_args) {
        std::cout << s << std::endl;
    }

    return 0;
}

该方案运行正常：在本地系统使用g++ -std=c++17 -O3 -flto -Wall shuffle_list.cpp编译，传入参数./a.out a b c d e运行时，vector存储的乱序迭代器输出结果和最终乱序列表的输出完全一致，顺序为e a c d b。

std::forward_list实现遇到的问题 #

尝试编写使用std::forward_list的等价版本时，实现难度大幅提升。以下是唯一不会触发段错误的测试版本，注释中标注了相对双向链表版本的改动：

int main(int argc, char **argv)
{
    std::forward_list<std::string> args(&argv[1], &argv[argc]);
    std::vector<std::forward_list<std::string>::const_iterator> vec;
    // 改动：存储每个元素的前趋迭代器，因为splice_after需要传入待移动节点的前趋位置
    for (auto it = args.cbefore_begin(), last = std::cend(args); std::next(it) != last; ++it) {
        vec.push_back(it);
    }

    std::shuffle(std::begin(vec), std::end(vec), std::mt19937(42));

    std::cout << "Shuffled vec:\n";
    for (auto it : vec) {
        std::cout << *std::next(it) << std::endl;  // 改动：需要前进一步迭代器才能访问到对应元素值
    }

    std::forward_list<std::string> shuffled_args;
    auto splice_loc = shuffled_args.cbefore_begin();      // 从新forward_list的头前位置开始插入
    for (auto it : vec) {
        shuffled_args.splice_after(splice_loc, args, it); // splice_loc为目标插入位置的前趋，it为待移动节点的前趋
        splice_loc = it;                                  // 假设it现在指向链表最后一个元素，作为下一次拼接的位置
    }

    std::cout << "Shuffled list:\n";
    for (const auto& s : shuffled_args) {
        std::cout << s << std::endl;
    }

    return 0;
}

该版本中vector存储的迭代器输出顺序正确，但最终生成的forward_list仅输出第一个元素e。如果尝试其他写法，比如将splice_loc = it;替换为++splice_loc;（逻辑上二者等价：在当前位置后拼接节点后，前进一步迭代器应该指向新插入的节点），则会触发段错误。

目前已经定位到出错的根因，且认为当前的直接拼接思路无法修复：

• 段错误版本：虽然节点转移后迭代器仍然有效，但部分原链表的迭代器在被访问前就已经被移动到新链表中（例如使用位置1的迭代器移动位置2的元素后，再尝试通过位置2的迭代器移动位置3的元素时，实际移动的是新链表中位置2之后的随机节点），此时调用splice接口时声明节点来自原容器args，但节点实际已经被转移到shuffled_args，违反了API要求，触发未定义行为。
• 不触发段错误的版本：问题在于应当在拼接前保存std::next(it)的值并赋值给splice_loc；直接赋值it时，it仍然属于原链表，导致splice_loc指向原容器，最终产生未定义行为，实际修改的是原链表而非新链表。

待解决的核心疑问 #

是否存在优雅高效的实现方式，能够从std::forward_list获取迭代器，经打乱、排序等重排操作后，通过直接节点转移（不拷贝、不移动任何容器内存储的元素）构建顺序调整后的新std::forward_list？
目前能想到的替代方案是为vector中存储的每个节点单独创建一个单元素forward_list，再逐个将节点拼接到最终的目标链表中，但该方案写法不够简洁，且相比双向链表的实现可能存在额外开销。想确认是否存在更优方案，或是为每个节点创建单元素forward_list的方案本身就是可行的最优解。

补充背景 #

该问题是编写键控排序算法（即Schwartzian变换，又称装饰-排序-去装饰模式）时提炼的最小复现用例，属于个人练习项目。目标是为std::list和std::forward_list实现特化的排序版本，通过装饰迭代器而非元素值的方式，避免排序过程中对被排序值的拷贝或移动；当基于计算出的键完成排序后，即可通过splice/splice_after接口重建有序容器，全程不拷贝、不移动任何存储的元素值。

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