stable_sort()是否还保留不相等元素的顺序?

从 cppreference 我知道这是为了 stable_sort 以下内容:

均等元素的次序是可以保证的。

我也读过这个问题 What is stability in sorting algorithms and why is it important? 了解 稳定性 .

以下是我如何理解稳定排序:
假设我有无序的航班 出发时间 和 目的地 .

首先,我按时间排序。就像是

d-time dest
   1     A
   2     B
   3     C
   4     A
   5     B

然后按目标进行稳定排序。就像是

 dest   d-time
   A     1   (stable sort guarantee that [A,1] comes before [A,4])
   A     4
   B     2   (stable sort guarantee that [B,2] comes before [B,5])
   B     5
   C     3

但是一个例子 C++底漆 似乎表明 稳定型 同时保证之前的订单 不相等元素 (如果是,则表示 稳定型 保留所有原始订单)。

样本代码:

#include <iostream>
#include <sstream>
#include <vector>
#include <algorithm>
using namespace std;

bool isShorter(const string &s1, const string &s2)
{
    return s1.size() < s2.size();
}

int main(int args, char *argv[])
{
    vector<string> words;
    string in_word;
    istringstream isin("the quick red fox jumps over slow turtles");
    while (isin >> in_word) {
        words.push_back(in_word);
    }
    sort(words.begin(), words.end());
    auto end_unique = unique(words.begin(), words.end());
    words.erase(end_unique, words.end());

    stable_sort(words.begin(), words.end(), isShorter);

    for (auto &s : words) {
        cout << s << " ";
    }
    cout << endl;
} 

这里的文字让我怀疑 稳定型 保持所有原始元素的顺序。

假设 words 在调用之前(第一个排序和擦除函数调用),在调用之后, 话 将按元素大小排序,并且 每个长度的单词按字母顺序排列。 如果我们在原始向量上运行此代码,输出将
fox red the over slow jumps quick turtle

在第一次排序和擦除之后,我有:
fox jumps over quick red slow the turtles

经过稳定排序,我有:
狐狸红过慢跳快龟

所以我的问题是:

用于 稳定型 ,只需查看前3个元素:

fox red the ,这个订单是固定的吗?或者这只是其中一个可能的顺序:

福克斯红 fox the red the red fox the fox red ……(6个结果)

我是说,文件 只有 说 稳定型 保持的原始顺序 相等元素 . 福克斯红 不相等。他们有秩序。但从引用的文本和输出来看,似乎表明 它只是保持所有原始的秩序 .

我是误解了什么,还是这里的教科书有问题,结果正好是按照之前的排序顺序输出的?