如何判断C++容器中元素的顺序是否为任意实现细节？

核心结论 #

C++标准库本身没有直接提供原生的类型特性来区分“顺序是固有设计”和“顺序仅为实现细节”的容器。但可以通过自定义类型特性、利用容器的接口/语义约定来实现判断。

实现方案 #

1. 基于标准容器的显式特化（兼容C++98及以上） #

针对标准容器逐一标记，这是最直接且兼容早期C++版本的方式：

#include <vector>
#include <list>
#include <map>
#include <unordered_map>
#include <deque>

// 基础模板：默认视为“顺序非固有”
template <typename Container>
struct is_intrinsically_ordered {
    static const bool value = false;
};

// 显式特化固有顺序的容器
template <typename T, typename Alloc>
struct is_intrinsically_ordered<std::vector<T, Alloc>> {
    static const bool value = true;
};

template <typename T, typename Alloc>
struct is_intrinsically_ordered<std::list<T, Alloc>> {
    static const bool value = true;
};

template <typename K, typename V, typename Comp, typename Alloc>
struct is_intrinsically_ordered<std::map<K, V, Comp, Alloc>> {
    static const bool value = true;
};

template <typename T, typename Alloc>
struct is_intrinsically_ordered<std::deque<T, Alloc>> {
    static const bool value = true;
};

2. 利用容器的语义特征推导（C++11及以上） #

某些容器的语义隐含顺序特性：

• 有序关联容器（std::map/std::set等）提供key_comp()接口，可通过检测是否存在该成员辅助判断
• 序列容器（vector/list/deque）的迭代器为正向/双向/随机访问类型，不过这不是绝对标准（比如std::forward_list是前向迭代器但顺序为固有设计）

示例检测key_comp成员的特性：

#include <type_traits>

// 检测是否存在key_comp成员的辅助特性
template <typename T>
struct has_key_comp {
private:
    template <typename U> static std::true_type test(decltype(&U::key_comp));
    template <typename U> static std::false_type test(...);
public:
    static constexpr bool value = decltype(test<T>(nullptr))::value;
};

// 将有序关联容器的特性作为判断依据之一
template <typename Container>
struct is_ordered_associative : has_key_comp<Container> {};

3. 自定义容器的约定 #

对于自定义容器，可要求其提供嵌套的类型特性标记：

#include <type_traits>

template <typename T>
class MyOrderedContainer {
public:
    using is_intrinsically_ordered = std::true_type;
    // ... 容器接口实现 ...
};

template <typename T>
class MyUnorderedContainer {
public:
    using is_intrinsically_ordered = std::false_type;
    // ... 容器接口实现 ...
};

// 通用判断模板
template <typename Container>
struct is_intrinsically_ordered : Container::is_intrinsically_ordered {};

注意事项 #

• 这种判断本质基于语义约定而非语言层面的强制区分，标准从未给容器的“顺序属性”定义官方标记
• 对于std::deque这类边缘情况，需根据具体语义需求决定是否标记为固有顺序
• C++98无std::true_type/std::false_type，可自行定义简单的bool常量结构体替代

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