C++中如何判断迭代器是否未初始化？能否与NULL比较？

问题场景 #

我正在用C++实现LRU Cache，类定义如下：

class LRUCache {
    private:
        int capacity;
        list<pair<int,int>> memory; // key,value
        unordered_map<int, list<pair<int,int>>::iterator> cache; // key, memAddr
    public:
        LRUCache(int capacity);
        ~LRUCache();
        void insert(int key, int val);
        int query(int key);
        void print();
};

当前query方法的实现代码：

int LRUCache::query(int key) {
    list<pair<int,int>>::iterator it = cache.at(key);

    // check if 'it' is NULL? or uninitialized and return some arbitrary value to indicate that the key is not found

    memory.erase(it);
    memory.push_front(*it);

    return it->second;
}

我想判断上述代码中的迭代器it是否未初始化，或者能否与NULL比较来标识键未找到。尝试过将it与list.end()比较也不可行，虽然想到用cache.find(key)与cache.end()判断的临时方案，但疑惑为什么无法直接比较未初始化迭代器，以及背后的设计理念。

问题解答 #

1. 为什么不能直接判断未初始化迭代器？ #

未初始化的迭代器属于无效状态，C++标准没有定义对这种迭代器进行任何操作（包括比较）的行为，属于未定义行为——可能导致程序崩溃、返回错误结果，甚至看似正常但埋下隐患，完全不可靠。

2. 为什么不能和NULL比较？ #

迭代器是C++标准库的抽象概念，不是原生指针（即使部分容器迭代器底层用指针实现，标准也不允许你把它当指针用）。NULL是指针字面量，和迭代器类型不匹配，编译器直接会报错，更别说运行时比较了。

3. 为什么不能和list.end()比较？ #

list.end()是指向该list容器末尾之后的合法迭代器，只有当迭代器确实来自这个list时，和end()比较才有意义。而当前代码中，如果key不存在，cache.at(key)会直接抛出out_of_range异常，根本走不到比较步骤；就算用cache.find(key)拿到的是cache.end()，那是unordered_map的end迭代器，和list的end完全是两个不同容器的迭代器，比较毫无意义。

正确的query实现方式 #

你想到的cache.find(key)方案是标准且高效的做法，优化后的代码如下：

int LRUCache::query(int key) {
    // 先在map中查找key是否存在
    auto map_iter = cache.find(key);
    if (map_iter == cache.end()) {
        // 键未找到，返回约定的标识值（比如-1），也可根据需求抛出异常
        return -1;
    }
    // 拿到list中对应的有效迭代器
    auto list_iter = map_iter->second;
    // 将访问的元素移到list头部（用splice比erase+push_front更高效，无需拷贝元素）
    memory.splice(memory.begin(), memory, list_iter);
    return list_iter->second;
}

背后的设计理念 #

C++标准库的设计遵循两个核心原则：

• 轻量级迭代器：迭代器被设计为尽可能轻量，没有额外的状态位来标记“无效”——如果添加这种标记，会增加迭代器的内存开销，违背轻量性的设计目标。
• 契约式编程：标准库函数依赖用户遵守使用契约，比如unordered_map::at()的契约是：当key存在时返回对应值，不存在则抛出异常，不会返回“无效迭代器”。用户需要先确保key存在，再使用返回的迭代器。

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