能否继承std::array并重载operator[]？继承后赋值失效问题排查

首先明确：继承std::array本身并非不可行，你的赋值失效问题大概率是代码实现细节出错，而非继承方式的根本性问题。下面拆解问题原因和正确实现方式：

赋值失效的常见原因 #

1. 自定义operator[]返回值错误
   如果你写的operator[]返回的是值而非引用，赋值操作只会修改临时副本，根本不会影响底层数组。比如错误写法：

   T operator[](const MyIndex& idx) {
       return std::array<T, N>::operator[](idx.value);
   }
   

   正确写法必须返回引用，确保直接操作数组元素：

   T& operator[](const MyIndex& idx) {
       return std::array<T, N>::operator[](idx.value);
   }
   const T& operator[](const MyIndex& idx) const {
       return std::array<T, N>::operator[](idx.value);
   }
   

2. 自定义下标类型的转换逻辑错误
   如果你的自定义下标类型转换为数组索引时总是返回0（或转换逻辑有bug），所有赋值都会落到索引0的位置，其他元素保持默认初始值0，自然输出全0。一定要检查自定义类型转size_t的逻辑是否正确。

3. 未正确继承std::array的构造/赋值逻辑
   如果你没有显式继承std::array的构造函数，自定义数组的初始化可能没有正确传递到底层std::array，导致数组始终是默认初始化的全0状态。需要用using声明继承所有构造函数：

   using std::array<T, N>::array;
   

正确的继承实现示例 #

假设你有一个自定义下标类型MyIndex，下面是完整的可运行代码：

#include <array>
#include <cassert>
#include <iostream>

// 自定义下标类型
struct MyIndex {
    size_t value;
    explicit MyIndex(size_t v) : value(v) {}
};

// 继承std::array的自定义数组类
template<typename T, size_t N>
class MyArray : public std::array<T, N> {
public:
    // 继承std::array的所有构造函数
    using std::array<T, N>::array;
    
    // 重载operator[]支持自定义下标
    T& operator[](const MyIndex& idx) {
        assert(idx.value < N && "下标越界");
        return std::array<T, N>::operator[](idx.value);
    }
    
    const T& operator[](const MyIndex& idx) const {
        assert(idx.value < N && "下标越界");
        return std::array<T, N>::operator[](idx.value);
    }
};

int main() {
    MyArray<int, 3> arr = {1, 2, 3};
    
    MyIndex idx0(0);
    MyIndex idx1(1);
    arr[idx0] = 10;
    arr[idx1] = 20;
    arr[2] = 30; // 仍支持原生整数下标
    
    // 验证输出
    for (size_t i = 0; i < arr.size(); ++i) {
        std::cout << arr[i] << " "; // 输出：10 20 30
    }
    std::cout << "\n";
    
    // 直接使用std::array的所有接口
    for (auto num : arr) {
        std::cout << num << " ";
    }
    std::cout << "\n";
    
    return 0;
}

继承std::array的注意事项 #

• std::array的析构函数不是虚函数，绝对不要用std::array<T,N>*指针指向MyArray<T,N>对象然后delete，这会导致未定义行为。
• 继承方式会自动获得std::array的所有成员函数（如begin()、end()、size()等），不需要手动转发，这也是它比包装法便捷的地方。
• 包装法虽然安全（避免继承的潜在风险），但需要手动转发所有接口，非常繁琐，适合对安全性要求极高但接口使用较少的场景。

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