c++ - 在类中使用动态数组——在编译时接收错误

Question

问题在评论中回答 由于我的声誉，我无法以常规方式回答。我稍后会在答案中添加详细信息，已在评论中解决。谢谢。**

大家好-

根据这个问题，您无疑会看到，我是 C++ 的新手，但有使用一些高级语言的经验。 (这似乎是伤害多于帮助)

对于一个类，我需要为类型为整数的数组创建一个包装器。 (在类的这个阶段没有模板)我还需要让类有一个非零的起始索引。我在类中使用一个成员数组来存储我的数据(此时类中还没有 vector )并从公共(public)方法中进行一些转换以访问适当的内部数组元素。

我遇到的问题是我在编译时不知道内部数组大小，所以我将它声明为类全局指针并在构造函数中设置大小。下面是问题区域中的代码片段:

int *list;
safeArray::safeArray(int start, int initialSize)
{
    if(initialSize <= 0)
    {
        throw "Array size must be a positive integer";
    }
    maxSize = initialSize + 1;
    startIndex = start;
    endIndex = start + initialSize;
    list = new int[maxSize];    // Error thrown here
    int *tempArray = new int[maxSize];
    copyArray(tempArray);
    clearArray();   
}

我得到的错误是

将“int*”赋值给“int[0u]”时类型不兼容

我不是 100% 确定 int[0u] 的类型是什么。是字面值零和 u 是无符号的吗？我已经在调试器中检查过 maxSize 有一个值，我也用一个常量整数值替换了它并得到了同样的错误。

因为我的 int *tempArray = new int[maxSize]; 行有效，我认为这可能与需要同时声明和大小有关，所以我选择做一个内存文件。 (这实际上超出了赋值范围，所以一定还有其他我遗漏的东西)memcpy 失败，因为看起来我正在破坏我的其他变量。当我在 GDB 中打印 list 的地址时，它给我的地址与我代码中的另一个全局变量相同，因此该路由似乎也超出了赋值范围。

我在其他论坛上看到的共同主题是您不能像其他变量一样分配数组，但我认为这不会包括 new 语句。我的假设错了吗？

我目前看到的唯一编译错误是上面提到的那个，我在代码中的每个 list = new int[maxSize]; 语句中都看到了它。

我的问题是:

1. 什么是 int[0u] 类型，该类型是在哪里生成的？它必须来自新声明，对吗？

2. 在类中使用动态数组资源的最佳方式是什么？除了使用 vector ？ =)

我想这就是所有相关信息，但如果我错过了关键数据，我深表歉意。下面是其余的实现代码。

/*
 *  safeArray.cpp
 *  safearray
 *
 *  Created by Jeffery Smith on 6/1/11.
 *  
 *
 */

#include "safeArray.h"
#include <iostream>


using namespace std;


    int startIndex = 0;
    int endIndex = 0;
    int maxSize = 1;
    int currentSize = 0;
    int *list;

safeArray::safeArray(int start, int initialSize)
{
    if(initialSize <= 0)
    {
        throw "Array size must be a positive integer";
    }
    maxSize = initialSize + 1;
    startIndex = start;
    endIndex = start + initialSize;
    list = new int[maxSize];    // Error thrown here
    int *tempArray = new int[initialSize + 1];
    copyArray(tempArray);
    clearArray();

}

safeArray::safeArray(const safeArray &sArray)
{
    list = new int[sArray.maxSize];
    copyArray(sArray);
    startIndex = sArray.startIndex;
    endIndex = sArray.endIndex;
    maxSize = sArray.maxSize;
    currentSize = sArray.currentSize;
}

void safeArray::operator=(const safeArray &right)
{
    list = new int[right.maxSize];
    copyArray(right);
    startIndex = right.startIndex;
    endIndex = right.endIndex;
    maxSize = right.maxSize;
    currentSize = right.currentSize;
}

safeArray::~safeArray()
{
    delete [] list;
}



int safeArray::operator[](int index)
{
    if(OutofBounds(index))
    {
        throw "You tried to access an element that is out of bounds";
    }
    return list[index - startIndex];
}

void safeArray::add(int value)
{
    if(this->isFull())
    {
        throw "Could not add element. The Array is full";
    }
    currentSize++;
    list[currentSize + startIndex];
}

void safeArray::removeAt(int value)
{
    if(OutofBounds(value))
    {
        throw "The requested element is not valid in this list";
    }
    compressList(value);
    currentSize--;
}

void safeArray::insertAt(int location, int value)
{
    if(OutofBounds(location) || this->isFull())
    {
        throw "The requested value is either out of bounds or the list is full";
    }
    expandList(location, value);
    currentSize++;
}


void safeArray::clearList()
{
    clearArray();
}

bool safeArray::isFull()
{
    return(maxSize == currentSize);
}

int safeArray::length()
{
    return currentSize;
}

int safeArray::maxLength()
{
    return this->maxSize;
}

bool safeArray::isEmpty()
{
    return(currentSize == 0);
}

bool safeArray::OutofBounds(int value)
{
    return (value > endIndex || value < startIndex);
}

void safeArray::clearArray()
{
    for(int i = 0; i < maxSize; i++)
    {
        list[i] = 0;
    }
    currentSize = 0;
}

void safeArray::compressList(int value)
{
    for(int i = value; i < endIndex; i++)
    {
        list[i] = list[i + 1];
    }
}

void safeArray::expandList(int location, int value)
{
    int tempHolder = list[location];
    list[location] = value;
    for(int i = location; i < endIndex; i++)
    {
        tempHolder = list[location];
        list[location] = value;
        value = tempHolder;
    }
}

void safeArray::copyArray(int *srcAddr )
{

    memcpy(list, srcAddr, sizeof(int) * maxSize);

}

void safeArray::copyArray(const safeArray &sArray)
{

    memcpy(list, &sArray, sizeof(int) * maxSize);

}

这是标题定义:

/*
 *  safeArray.h
 *  safearray
 *
 *  Created by Jeffery Smith on 6/1/11.
 *  Copyright 2011 Accenture. All rights reserved.
 *
 */



class safeArray {

public:
    safeArray(int,int);    //Standard constructor
    ~safeArray();          //Destructor
    int operator[](int);
    void operator=(const safeArray&);   //Assignment overload
    safeArray(const safeArray &sArray); //Copy Constructor

    void add(int);
    int maxLength();
    int length();
    bool isFull();
    bool isEmpty();
    void clearList();
    void removeAt(int);
    void insertAt(int,int);

protected:
    int list[];
    int startIndex;
    int endIndex;
    int maxSize;
    int currentSize;

private:
    void clearArray();
    bool OutofBounds(int);
    void expandList(int,int);
    void compressList(int);
    void copyArray(int*);
    void copyArray(const safeArray&);
};

Answer 1

int[0u] ？我相信您可以在 C 中在结构的末尾使用零长度数组，以有效地允许使用可变大小的结构，但这在 C++ 中没有做到。我在您的代码中没有看到任何非法代码。可怕的，是的，非法的，不。您需要发布safearray.h的内容，如果它包含标准 header ，则您使用 using namespace std;很容易成为问题的原因。

此外，全局变量也不好。只需将指针放在类中 - 除非您做错了一些事情，否则您基本上不必使用全局变量。尤其是因为它会让您面临可变阴影、名称冲突和其他大量问题。哦，你应该抛出一个异常类，最好派生自 std::exception或 std::runtime_error .没有人会试图捕获 const char* .你不应该使用 std命名空间-你在乞求问题。而且您不是在调用复制构造函数或赋值运算符，而是使用 memcpy 复制您的元素？您还在几个地方泄漏了内存 - 从赋值运算符开始。

template<typename T> class safe_array {
    char* list;
    std::size_t arrsize;
    void valid_or_throw(std::size_t index) {
        if (index <= arrsize) {
            throw std::runtime_error("Attempted to access outside the bounds of the array.");
    }
public:
    safe_array(std::size_t newsize) 
    : list(NULL) {
        size = arrsize;
        list = new char[arrsize];
        for(std::size_t i = 0; i < arrsize; i++) {
            new (&list[i * sizeof(T)]) T();
        }
    }
    safe_array(const safe_array& ref) 
    : list(NULL) {
        *this = ref;
    }
    safe_array& operator=(const safe_array& ref) {
        clear();
        arrsize = ref.size;
        list = new char[arrsize];
        for(std::size_t i = 0; i < arrsize; i++) {
            new (&list[i * sizeof(T)]) T(ref[i]);
        }        
    }
    T& operator[](std::size_t index) {
        valid_or_throw(index);
        return static_cast<T&>(list[index * sizeof(T)]);
    }
    const T& operator[](std::size_t index) {
        valid_or_throw(index);
        return static_cast<const T&>(list[index * sizeof(T)]);
    }
    void clear() {
        if (list == NULL)
            return;
        for(std::size_t i = 0; i < size; i++) {
            (*this)[i].~T();
        }
        delete[] list;
        list = NULL;
        arrsize = 0;
    }
    std::size_t size() {
        return arrsize;
    }
    bool empty() {
        return (list == NULL);
    }
    ~safe_array() {
        clear();
    }
};

我创建的一个相对较快的示例 类应该能为您指明大致的方向。它不提供 vector 的所有功能，例如没有自动调整大小或容量缓冲(以及其他一些缺点)，我非常有信心我可能忘记了几件事，但这只是一个开始。