C++动态数组实现：下标赋值与构造函数歧义问题咨询

问题1：如何实现类似vector的下标赋值功能？ #

你当前的operator[]返回的是T类型（值拷贝），这意味着a[1]是临时右值，无法被赋值。要实现a[1] = 26这类操作，需要让operator[]返回引用类型，这样返回的是数组元素的直接别名，支持读写操作。

修改方案： #

1. 重载两个版本的operator[]：
   • 非const版本：返回T&，支持赋值操作
   • const版本：返回const T&，支持const对象的下标访问

首先修改类内声明：

T& operator[](int index);
const T& operator[](int index) const;
// 移除无意义的T operator[](T); 下标应为整数类型

然后实现这两个函数：

// 非const版本，支持赋值
template <typename T>
T& Darray<T>::operator[](int index) {
  if (empty())
    throw MyException("Darray is empty");
  if (index < 0 || index >= len)
    throw MyException("Invalid index. Index should be in range 0 to length-1");
  return arr[index];
}

// const版本，仅支持读取
template <typename T>
const T& Darray<T>::operator[](int index) const {
  if (empty())
    throw MyException("Darray is empty");
  if (index < 0 || index >= len)
    throw MyException("Invalid index. Index should be in range 0 to length-1");
  return arr[index];
}

修改完成后，a[1] = 26和a[i] = 10这类赋值操作就能正常工作。

问题2：解决Darray(0)的构造函数歧义问题 #

当同时存在Darray(size_t)和Darray(T*)构造函数时，0既可以被隐式转换为size_t（表示容量），也可以被转换为T*（表示空指针），导致编译歧义。可以通过以下几种方式解决：

方案1：将size_t构造函数声明为explicit #

explicit关键字禁止隐式类型转换，避免0被误解析。此时创建容量为0的数组可直接使用默认构造函数（你的默认构造函数已经实现了容量0的逻辑）：

修改构造函数声明：

explicit Darray(size_t cap);

使用示例：

Darray<int> a; // 默认构造，容量0
Darray<int> b(static_cast<size_t>(5)); // 显式转换，创建容量5的数组

方案2：修改T*构造函数为双参数版本 #

将接收指针的构造函数改为同时接收指针和元素数量，通过参数数量差异避免歧义：

// 类内声明
Darray(T* ptr, size_t count);

// 实现
template <typename T>
Darray<T>::Darray(T* ptr, size_t count) {
  cap = count;
  len = count;
  arr = new T[cap];
  for (size_t i = 0; i < count; ++i) {
    arr[i] = ptr[i];
  }
}

使用示例：

int arr[] = {1,2,3};
Darray<int> a(arr, 3); // 从已有数组创建
Darray<int> b(5); // 明确调用size_t构造函数，容量5

方案3：新增std::nullptr_t构造函数 #

如果需要支持空指针构造，可以新增一个接收std::nullptr_t的构造函数，明确处理空指针场景：

// 类内声明（需包含<cstddef>头文件）
Darray(std::nullptr_t);

// 实现
template <typename T>
Darray<T>::Darray(std::nullptr_t) {
  arr = nullptr;
  len = 0;
  cap = 0;
}

此时Darray<int> a(nullptr)会匹配该构造函数，Darray<int> b(0)则匹配size_t构造函数（未加explicit时）。

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