在C++面向对象编程中，运算符重载是一种强大的特性，它允许用户自定义类型像内置类型一样使用运算符。其中，下标运算符[]的重载（通常用于模拟数组或容器）是一个常见需求。但当面对指向多态对象的指针时，如何正确重载[]却成为不少开发者的难题。近日，笔者采访了多位C++技术专家，就这一技术细节进行了深度解析，为开发者提供一份实用的操作指南。

问题背景：指针与多态的交织

在许多实际场景中，我们可能需要管理一组通过基类指针指向不同派生类对象的集合。例如，一个图形系统中，Shape是基类，Circle和Rectangle是其派生类。我们使用std::vector<Shape*> shapes来存储这些对象的指针，并通过shapes[i]访问第i个元素。然而，shapes[i]返回的是Shape*，而非Shape&，这导致无法直接通过下标调用虚函数。更关键的是，如果我们希望像操作数组一样直接访问对象（而非指针），就需要对容器本身重载[]，使其返回引用。

核心挑战：引用 vs. 指针

通常，容器类的[]运算符返回的是元素的引用。例如std::vector<T>的operator[]返回T&。但当容器存储的是Shape*时，返回的是指针的引用，即Shape*&。如果期望通过arr[0].area()直接调用虚函数，那么arr[0]必须返回Shape&，而非Shape*。问题在于，我们无法简单地在容器外重载[]来改变其返回类型——必须自定义一个包装类。

解决方案：自定义包装容器与智能指针

专家指出，最直接的方案是创建一个自定义容器类，内部使用std::vector<std::unique_ptr<Shape>>或std::vector<Shape*>存储指针，并重载相应的运算符。以下是一个经典实现：

class ShapeVector {
    std::vector<std::unique_ptr<Shape>> shapes;
public:
    Shape& operator[](size_t index) {
        return *shapes[index]; // 解引用返回基类引用
    }
    const Shape& operator[](size_t index) const {
        return *shapes[index];
    }
    void add(std::unique_ptr<Shape> ptr) {
        shapes.push_back(std::move(ptr));
    }
    // 其他成员...
};

这样，当使用ShapeVector sv; sv[0].draw()时，sv[0]返回的是Shape&，从而支持多态调用。需要注意的是，返回引用意味着调用者可以通过该引用修改对象，但无法替换容器中的指针本身——这正是我们期望的行为。

进阶技巧：迭代器与范围for循环

如果希望容器支持范围for循环，还需提供begin()和end()返回迭代器。迭代器解引用时也应返回Shape&。专家建议使用Boost库的indirect_iterator或自行实现一个简单的迭代器适配器。例如：

class iterator {
    std::vector<std::unique_ptr<Shape>>::iterator it;
public:
    Shape& operator*() { return **it; }
    // 其他迭代器操作...
};

这样，for (auto& shape : sv) { shape.draw(); }也能正确触发多态。

注意事项与陷阱

  1. 生命周期管理：使用裸指针时，必须确保对象生命周期长于容器，或使用智能指针避免内存泄漏。推荐使用std::unique_ptr或std::shared_ptr。
  2. const正确性：重载const版本的operator[]，返回const引用，以便在只读上下文中使用。
  3. 边界检查：专业容器应提供at()方法进行边界检查，而operator[]通常不检查，以保持与内置数组一致的性能。
  4. 移动语义：当容器中添加新元素时，使用std::move传递唯一指针避免复制。

专家观点：多态容器的设计哲学

资深C++工程师李明表示：“许多新手会试图在std::vector<Base*>上直接重载全局的operator[]，但这是不可能的——因为全局[]至少需要一个类类型的参数。正确的做法是封装自己的容器类，将指针解引用这一层间接性隐藏在重载内部。这种设计体现了‘封装变化’的面向对象原则。”

他进一步补充，当容器需要支持排序、查找等操作时，可能需要返回迭代器而非引用。此时应遵循标准库的约定：迭代器解引用返回Shape&，而容器[]返回Shape&，两者保持一致。

结语

重载指向多态对象的指针的[]运算符并非难事，关键在于理解类型系统与引用语义。通过自定义容器类并精心设计接口，开发者可以让代码既保持类型安全，又享受多态带来的灵活性。随着C++17/20标准引入std::variant和std::any等新特性，多态容器的设计又有更多选择，但传统虚函数多态仍占据重要地位。掌握上述技巧，将为C++高级编程打下坚实基础。