尝试将对象插入空指针数组时出现分段错误

Question

这是我需要实现的类的一部分。

template <class Element, class Compare = std::equal_to<Element>>
class UniqueArray {
Element** data;
unsigned int size;
unsigned int max_size;
public:
explicit UniqueArray(unsigned int size);
UniqueArray(const UniqueArray& other);
~UniqueArray();
unsigned int insert(const Element& element);

我不能使用 STL(唯一的例外是std::equal_to(。

我实现了如下构造函数：

template <class Element, class Compare>
UniqueArray<Element, Compare>::UniqueArray(unsigned int size):
data(new Element* [size]), size(0), max_size(size){
}

template <class Element, class Compare>
UniqueArray<Element, Compare>::UniqueArray(const UniqueArray& other):
data(new Element *[other.size]), size(other.size), max_size(other.max_size){
for(int i = 0; i < size; i++){
*data[i] = *other.data[i];
}
}

data实际上是一个指针数组。 每个指针指向一个元素。

这是我对insert函数的实现，它会导致SEGFAULT

template <class Element, class Compare>
unsigned int UniqueArray<Element, Compare>::insert(const Element& element){
if (size >= max_size){
throw UniqueArrayIsFullException();
}
for(int i = 0; i < size; i++){
if((Compare(), *data[i]) == element){
return i;
}
}
*data[size++] = element;
return size;
}

正在运行的测试是这样的：

static void testInt() {
typedef UniqueArray<int, std::equal_to<int>> intUA;
// Test ctor
unsigned int size = 4;
intUA ua(size);
assert(ua.getSize() == size);
assert(ua.getCount() == 0);
// Test insert
ua.insert(4);
unsigned int index = ua.insert(1);
ua.insert(5);
assert(ua.insert(1) == index);
ua.insert(2);
assert(ua.getCount() == 4);
ua.insert(2);
// Test UniqueArrayIsFullException
try {
ua.insert(3);
}
catch (intUA::UniqueArrayIsFullException& e) {
return;
}
assert(0);
}

测试在第一次调用insert时失败，并指出问题符合*data[size++] = element;

Answer 1

要复制元素并将其存储在data[size++]中，请更改

*data[size++] = element;

自

data[size++] = new Element(element);

---

额外提示：以下内容可能无法按预期方式工作：

if((Compare(), *data[i]) == element)

但是你对它有一个很好的测试，所以它应该抓住它。

Answer 2

当你第一次构造一个UniqueArray<Element, Compare>， 不初始化数组中的任何指针。

如果幸运的话，它们都是空指针。

因此，当您第一次尝试通过以下方式插入元素时

*data[size++] = element;

数组条目data[size]是 null 或未初始化的指针。 当你评估*data[size]时，你期望会发生什么？