为何std::list中两次调用std::distance结果不同？

核心原因：违反std::distance对双向迭代器的前置条件 #

你使用的std::list迭代器属于双向迭代器，而非随机访问迭代器。对于这类迭代器，std::distance(it_a, it_b)有严格的前置要求：it_a必须能通过有限次递增操作到达it_b（也就是it_b在it_a的后继位置，或两者指向同一元素）。

当你调用std::distance(it2, it1)时，it2在it1的后方（it1是容器起始迭代器，it2是it1的下一个位置），完全不满足上述前置条件，此时调用std::distance属于未定义行为——程序可以输出任意结果、甚至崩溃，你看到的1和3都是未定义行为产生的随机产物，没有任何逻辑意义。

为什么随机访问迭代器能返回负值？ #

只有随机访问迭代器（比如std::vector、std::array的迭代器）支持计算反向距离并返回负值。这类迭代器本质是指针或类指针实现，可以通过直接做减法得到偏移量，不需要遍历。而双向迭代器仅支持单向递增遍历，标准不支持它反向推导距离，自然也不会返回负值。

正确的处理方式 #

如果需要计算双向迭代器之间的反向距离，你需要先判断迭代器的先后顺序，再手动计数：

#include <iostream>
#include <iterator>
#include <list>

int main() 
{
    std::list<int> v{1, 2, 1};
    
    auto it1 = v.begin();
    auto it2 = std::next(it1);

    // 计算it2到it1的反向距离
    ptrdiff_t dist = 0;
    auto temp = it1;
    while (temp != it2) {
        ++temp;
        --dist;
    }
    std::cout << dist << std::endl; // 输出-1
    std::cout << *it2 << std::endl;
    std::cout << dist << std::endl; // 输出-1
}

如果场景允许，也可以改用支持随机访问迭代器的容器（如std::vector），此时std::distance(it2, it1)会直接返回预期的-1。

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