C++20中std::map::reverse_iterator无法处理不完全类型的原因探究

问题现象 #

一段包含不完全类型C的代码里，std::map<int, C>::iterator在C17和C20的所有编译器中都能正常声明，但std::map<int, C>::reverse_iterator仅在C17中有效，到了C20里所有编译器都会报错。

代码示例：

#include <map>
class C; // 不完全类型

class Something
{
    // C++17和C++20下均正常
    std::map<int, C>::iterator obj1;
    
    // C++17正常，C++20下所有编译器报错
    std::map<int, C>::reverse_iterator obj2;
};

int main()
{
    Something s;
    return 0;
}

原因解析 #

这个差异源于C++20对std::reverse_iterator的标准化实现调整：

• C17及更早版本中，标准库的反向迭代器通常只是直接存储底层迭代器作为成员，只要std::map的普通迭代器允许配合不完全类型（C17开始放宽了容器对不完全类型的使用限制），反向迭代器就能正常声明——因为此时不需要立即解析C的完整定义。
• 但C++20的标准规范要求，std::reverse_iterator的部分成员函数（比如operator*、operator->）的返回值类型，必须在反向迭代器实例化时就确定。这些返回类型依赖于底层迭代器的value_type，也就是这里的C。当C是不完全类型时，编译器无法确定这些返回类型的完整结构，因此会触发编译错误。
• 而std::map的普通迭代器由于其实现特性（比如内部封装的是节点指针，不需要立即访问C的完整内存布局），在C++20中仍然允许在C不完全的情况下声明。

解决办法 #

要在C++20中正常使用std::map<int, C>::reverse_iterator，需要在声明它之前确保C是完整类型，也就是提前定义class C的具体内容，而不是仅仅做前向声明。

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