C++容器数据类型定义、测试用例

C++11 标准库提供了多种容器类型，每种容器定义了多个成员类型（如 value_type、iterator 等），用于与容器交互。以下详细说明各容器的数据类型定义、测试用例及注意事项。

---

一、顺序容器

1. std::vector

类型定义：

• value_type: T
• allocator_type: Allocator
• size_type: size_t
• difference_type: ptrdiff_t
• reference: T&
• const_reference: const T&
• iterator: 随机访问迭代器
• const_iterator: 常量随机访问迭代器

测试用例：

#include 
#include 

int main() {
    std::vector vec = {1, 2, 3};

    // 使用类型定义声明变量
    std::vector::value_type x = vec[0]; // x 是 int
    std::vector::iterator it = vec.begin();
    std::vector::const_iterator cit = vec.cbegin();
    std::vector::size_type size = vec.size();

    static_assert(std::is_same::value, "Error: x should be int");
    static_assert(std::is_same::iterator>::value, "Error");
    
    return 0;
}

2. std::list

类型定义：同 vector，但迭代器为双向迭代器。

测试用例：

#include 
#include 

int main() {
    std::list lst = {1.1, 2.2, 3.3};
    std::list::iterator it = lst.begin();
    ++it; // 双向迭代器支持递增
    static_assert(std::is_same::iterator>::value, "Error");
    return 0;
}

---

二、关联容器

1. std::map

类型定义：

• key_type: Key
• mapped_type: T
• value_type: std::pair
• key_compare: 比较函数类型
• allocator_type: Allocator

测试用例：

#include 

---

三、无序容器

1. std::unordered_set

类型定义：

• key_type: T
• value_type: T
• hasher: 哈希函数类型
• key_equal: 键相等比较类型

测试用例：

#include 
#include 

int main() {
    std::unordered_set s = {1, 2, 3};
    std::unordered_set::hasher h = s.hash_function();
    static_assert(std::is_same::value, "Error");
    return 0;
}

---

四、使用注意事项

1. 迭代器失效：

   • vector/deque 插入/删除可能导致迭代器失效。
   • list/关联容器 的插入不会使迭代器失效，删除仅影响被删元素对应的迭代器。

2. 类型差异：

   • map::value_type 是 pair，不可修改 Key。
   • 无序容器的 key_type 必须支持哈希和相等比较。

3. 分配器类型：

   • 默认使用 std::allocator，高级场景可自定义分配器，需确保与容器兼容。

4. 性能考量：

   • vector 适合随机访问，list 适合频繁插入/删除。
   • 无序容器在键哈希均匀时提供 O(1) 访问。

5. C++11 新特性：

   • 使用 emplace 直接构造元素，避免拷贝。

   • 基于范围的 for 循环简化遍历：

     for (const auto& pair : map) { /* ... */ }
     

---

通过理解容器的数据类型定义，可以更安全高效地使用 STL 容器，避免类型错误和性能陷阱。