C++如何实现类似std::vector、支持范围for循环的自定义遍历类

核心机制说明 #

C不存在operator for这类专门的重载运算符，范围for（range-based for）是C11之后的语法糖，编译器会按照固定规则把它展开成等价的普通循环代码，只要你的自定义类满足对应的约定，就可以直接用在范围for里。

编译器对范围for的等价展开规则（针对自定义类类型）：

// 你编写的代码
for (auto& objectname : my_custom_object_container) { /* 循环逻辑 */ }

// 编译器自动生成的等价代码
{
    auto&& __range = my_custom_object_container;
    auto __begin = __range.begin();  // 若类没有begin成员，则查找全局begin函数
    auto __end = __range.end();      // 若类没有end成员，则查找全局end函数
    for (; __begin != __end; ++__begin) {
        auto& objectname = *__begin;
        /* 循环逻辑 */
    }
}

从展开逻辑能看出来，你不需要重载特殊的for运算符，只要给类实现begin()、end()方法，返回的迭代器类型支持三个核心操作即可：

• 前置++运算符：将迭代器移动到下一个元素位置
• !=运算符：判断两个迭代器是否指向不同位置（用于判断是否遍历到末尾）
• *解引用运算符：返回当前位置的元素引用，你需要的访问元素时的自定义逻辑，完全可以写在这里。

完整实现示例 #

#include <vector>
#include <cstdio>

class Something
{
private:
    // 内部用std::vector存储实际数据，对外完全隐藏实现
    std::vector<int> internal_storage;
public:
    void AddABunchOfObjects() {
        internal_storage.push_back(1);
        internal_storage.push_back(2);
        internal_storage.push_back(3);
    }

    // 自定义迭代器类型
    class Iterator {
    private:
        std::vector<int>::iterator inner_iter;
        friend class Something;
        // 仅允许Something类构造迭代器
        Iterator(std::vector<int>::iterator it) : inner_iter(it) {}
    public:
        // 前置++：移动到下一个元素
        Iterator& operator++() {
            ++inner_iter;
            return *this;
        }
        // 不等判断：检查是否遍历到终点
        bool operator!=(const Iterator& other) const {
            return inner_iter != other.inner_iter;
        }
        // 解引用：获取当前元素，这里可以插入所有你需要的自定义访问逻辑
        int& operator*() {
            // 示例：访问时打日志、做权限校验、数据转换等都可以写在这里
            // printf("访问元素，地址：%p\n", &(*inner_iter));
            return *inner_iter;
        }
    };

    // 范围for必须的begin/end接口
    Iterator begin() {
        return Iterator(internal_storage.begin());
    }
    Iterator end() {
        return Iterator(internal_storage.end());
    }

    // 若需要支持const对象遍历，额外实现ConstIterator和const版本的begin/end即可
};

int main() {
    Something my_custom_object_container;
    my_custom_object_container.AddABunchOfObjects();
    // 直接使用范围for遍历，和std::vector体验完全一致
    for (auto& objectname : my_custom_object_container) {
        printf("%d\n", objectname);
    }
    return 0;
}

关于标准库类继承的疑问 #

不是不能继承C++标准库类，而是标准库容器（包括std::vector）从设计上就不支持多态场景：它们的析构函数都不是虚函数。如果使用public继承std::vector，当你通过基类指针指向派生类对象并释放时，会触发未定义行为，派生类的析构逻辑不会被执行。
如果不需要多态特性，private继承std::vector完全合法，更推荐的做法是像示例中那样把标准容器作为私有成员使用，既可以复用容器的全部能力，又能完全隐藏内部实现，自定义访问逻辑也不会受限制。

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