C++ list size()复杂度从O(N)到O(1)变化

时间：2026-04-21

C++11 之前 std::list::size() 是 O(N)，因标准未强制缓存大小，实现需遍历链表计数；C++11 起要求 O(1)，但旧库如 libstdc++ 4.8 前仍为 O(N)。

C++的std::list::size()在不同标准版本下的时间复杂度变化？ (从O(N)到O(1))

std::list::size() 在 C++11 之前为什么是 O(N)

因为老标准（C++98/03）没强制要求 std::list 缓存大小，实现可以只维护头尾指针，每次调用 size() 就得遍历整个链表数节点。GCC 的 libstdc++ 4.8 之前、MSVC 2013 及更早版本都这么干——你写 my_list.size() == 0，背后可能扫了上万节点。

常见错误现象：for (int i = 0; i < my_list.size(); ++i) 这种循环在大列表上直接卡死，实际复杂度变成 O(N²)。

别用 size() 做循环条件，改用 empty() 判断是否为空
需要长度时，自己维护一个 size_t count 变量，增删节点时同步更新
升级编译器或标准库前，用 std::chrono 测一下 size() 耗时，尤其在性能敏感路径

C++11 起 size() 变成 O(1) 的前提是啥

C++11 标准把 size() 的时间复杂度明确改成 O(1)，但这是“强约束”——所有合规实现必须缓存大小。不过，这不意味着你只要写 -std=c++11 就一定安全。

关键看标准库实现是否真正遵守了该要求：

libstdc++：从 GCC 4.9 开始（对应 libstdc++ 6.0+）才真正让 std::list::size() 是 O(1)
libc++（Clang 默认）：从一开始（LLVM 3.1+）就满足，且额外做了小优化，比如空列表的 size() 直接返回字面量
MSVC：从 Visual Studio 2015（_MSC_VER >= 1900）起，std::list 才带 size 缓存

如果你用的是 GCC 4.8.5（RHEL7 默认），即使加了 -std=c++11，size() 还是 O(N) —— 标准变了，但实现没跟上。

如何检测当前环境下的 list::size() 真实复杂度

不能只看编译选项或文档，得实测。最直接的办法是构造一个超大 std::list（比如 1e6 个元素），反复调用 size() 并计时，再和 empty() 对比。

auto start = std::chrono::steady_clock::now();
for (int i = 0; i < 10000; ++i) {
    volatile auto s = my_list.size(); // 防止被优化掉
}
auto end = std::chrono::steady_clock::now();

如果耗时随 list 大小线性增长，说明仍是 O(N)；如果基本恒定（几纳秒级），那就是 O(1)。